„Systems Programming“

Suchergebnisse

10.000+ Treffer

• An actor-based framework for asynchronous event-based cyber-physical systems
  Jahandideh, Iman ; Ghassemi, Fatemeh ; Sirjani, Marjan
• Panorama
• Flexibility of thermal power generation for RES supply in Germany until 2020
  Brauner, Günther ; Bofinger, Stefan ; Glaunsinger, Wolfgang ; Pyc, Ireneusz ; Steinke, Florian ; Schwing, Ulrich ; Magin, Wendelin
• Non-Strict Execution in Parallel and Distributed Computing
  Cristobal-Salas, Alfredo ; Tchernykh, Andrei ; Gaudiot, Jean-Luc ; Lin, Wen-Yen
• Prototyping realistic programming languages based on formal specifications
  Poetzsch-Heffter, Arnd
• Geomagnetically induced currents modelling and monitoring transformer neutral currents in Austria
  Halbedl, Thomas ; Renner, H. ; Achleitner, G.
• Integrated revision and variation control for evolving model-driven software product lines
  Schwägerl, Felix ; Westfechtel, Bernhard
• Implementing Constructive Intensional Negation
  Mariño, Julio ; Moreno-Navarro, Juan José ; Munoz-Hernandez, Susana
• Formal Methods of Analysis of System Properties
  Kryvyi, S. L. ; Matveyeva, L. Ye
• Beschleunigung der Entwicklung digitaler Systeme durch Verwendung des „Hardware Accelerator and Cosimulator“ (HAC)
  Zeinzinger, M. ; Reichör, S. ; Pfaff, M.
• A hierarchy of the class of apex NLC graph languages by bounds on the number of nonterminal nodes in productions
  Yamazaki, Koichi
• What is Required to Trust AI? – Interview with Mark J. Micire
  Sheh, Raymond Ka-Man
• Molecular Evolution: Automated Manipulation of Hierarchical Chemical Topology and Its Application to Average Molecular Structures
  Nachbar, Robert B.
• SOA $$^\mathrm{+d}$$ + d : a new way to design the decision in SOA—based on the new standard Decision Model and Notation (DMN)
  Boumahdi, Fatima ; Chalal, Rachid ; Guendouz, Amina ; Gasmia, Khalida
• Equivalence of regular expressions over a partially commutative alphabet
  Shoukourian, A. S.
• Denn sie wissen nicht, was sie programmieren
  Kohn, Tobias ; Komm, Dennis
• Informatische Berufsfähigkeit
  Mahn, Anne
• Cybersecurity design considerations for cross-boundary clinical decision support
  Anya, Obinna ; Tawfik, Hissam ; Alani, Mohammed M. ; Hu, Jia
• Efficient Methods for Trace Analysis Parallelization
  Reumont-Locke, Fabien ; Ezzati-Jivan, Naser ; Dagenais, Michel R.
• Auswirkung der Digitalisierung auf die Systemlandschaft der Netzbetreiber
  Schlabitz, Kai