„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Detecting cross-case associations in an event log: toward a pattern-based detection
  Dubinsky, Yael ; Soffer, Pnina ; Hadar, Irit
• What really changes when developers intend to improve their source code: a commit-level study of static metric value and static analysis warning changes
  Trautsch, Alexander ; Erbel, Johannes ; Herbold, Steffen ; Grabowski, Jens
• A Fully Automated Methodology for the Selection and Extraction of Energy-Relevant Features for the Energy Consumption of Battery Electric Vehicles
  Petersen, Patrick ; Sax, Eric
• Stacking Ensemble-Based Intelligent Machine Learning Model for Predicting Post-COVID-19 Complications
  Gupta, Aditya ; Jain, Vibha ; Singh, Amrit Pal
• Multiwindow Rendering on a Cockpit Display Using Hardware Acceleration
  Barladian, B. Kh ; Deryabin, N. B. ; Shapiro, L. Z. ; Solodelov, Yu. A. ; Voloboj, A. G. ; Galaktionov, V. A.
• The weakest failure detectors to boost obstruction-freedom
  Guerraoui, Rachid ; Kapałka, Michał ; Kouznetsov, Petr
• Effective spectrum-based technique for software fault finding
  Ghosh, Debolina ; Jagannath Singh
• Connected communities from the standpoint of multi-agent systems
  Mamdani, Abe ; Pitt, Jeremy ; Stathis, Kostas
• The temporal perspective in business process modeling: a survey and research challenges
  Cheikhrouhou, Saoussen ; Kallel, Slim ; Guermouche, Nawal ; Jmaiel, Mohamed
• Designing a source-level debugger for cognitive agent programs
  Koeman, Vincent J. ; Hindriks, Koen V. ; Jonker, Catholijn M.
• Automata, languages, and programming – 41st international colloquium ; proceedings
  Esparza, Javier ; Fraigniaud, Pierre ; Husfeldt, Thore ; Koutsoupias, Elias Springer
• Lipschitz lower semicontinuity moduli for linear inequality systems
  Cánovas, Maria Josefa ; Gisbert, María Jesús ; Henrion, René ; Parra, Juan 2019 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Special issue: Synthesis and SYNT 2014
  Chatterjee, Krishnendu ; Ehlers, Rüdiger
• Reflections on the History of Computing – Preserving Memories and Sharing Stories
  Tatnall, Arthur 2012 Springer Berlin
• Programmieren mit C++ Ein Einstieg in Beispielen – Vom Problem zur Software
  Mielebacher, Jörg 2025 Springer Vieweg
• Software variability in service robotics
  García, Sergio ; Strüber, Daniel ; Brugali, Davide ; Fava, Alessandro Di ; Pelliccione, Patrizio ; Berger, Thorsten
• seMLP: Self-evolving Multi-layer Perceptron in Stock Trading Decision Making
  Jun, Seow Wen ; Sekh, Arif Ahmed ; Quek, Chai ; Prasad, Dilip K.
• Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
  Toman, David ; Weddell, Grant E.
• A formal approach to AADL model-based software engineering
  Mkaouar, Hana ; Zalila, Bechir ; Hugues, Jérôme ; Jmaiel, Mohamed
• Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
  Gasquet, Olivier ; Goranko, Valentin ; Schwarzentruber, François