„Systems Programming“

Suchergebnisse

10.000+ Treffer

• An approach for bug localization in models using two levels: model and metamodel
  Arcega, Lorena ; Font, Jaime ; Haugen, Øystein ; Cetina, Carlos
• MapReduce Data Skewness Handling: A Systematic Literature Review
  Irandoost, Mohammad Amin ; Rahmani, Amir Masoud ; Setayeshi, Saeed
• Generating words lexicographically: An average-case analysis
  Kemp, Rainer
• Hybride Edition und analoges Erbe – Editionsphilologie und Alexander von Humboldt-Forschung in der digitalen Sattelzeit
  Kraft, Tobias
• Verläßlichkeitsbewertung komplexer Systeme
  Thurner, Erwin M. ; Dal Cin, Mario ; Schneeweiß, Winfrid G.
• Minimal communication cost software construction in the Internet environment
  Hui, Chi-Chung ; Chanson, Samuel T.
• Mikroelektronik — eine Vision setzt sich durch: Faktor 1000 alle 20 Jahre
  Malleck, H.
• Towards a “Synchronous Reactive” UML profile?
  Simone, Robert de ; André, Charles
• A Dependency-Aware Storage Schema Selection Mechanism for In-Memory Big Data Computing Frameworks
  Wang, Bo ; Tang, Jie ; Zhang, Rui ; Ding, Wei ; Qi, Deyu
• Formal and experimental validation approaches in HCI systems design based on a shared event B model
  Ait-Ameur, Yamine ; Baron, Mickael
• Wie Mathematik und Informatik im Unterricht voneinander profitieren können – Teil 1: Abstraktionsfähigkeit
  Hauser, Urs ; Komm, Dennis ; Serafini, Giovanni
• e-Science in Scandinavia – The Case of the Swedish e-Science Research Center
  Eriksson, Olivia ; Laure, Erwin ; Lindahl, Erik ; Henningson, Dan ; Ynnerman, Anders
• Parallel Fuzzy Inference Method for Higher Order Takagi–Sugeno Systems
  Yershov, S. V. ; Ponomarenko, R. M.
• Künstliche Intelligenz auf dem Fußballplatz
  Lachenmann, Andreas ; Kasper, Harriet
• Gender differences in participation and reward on Stack Overflow
  May, Anna ; Wachs, Johannes ; Hannák, Anikó
• Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems
  Pohlmann, Uwe ; Hüwe, Marcus
• Realization of a Binary Clocked Linear Tree and Its Use for Processing Texts in Natural Languages
  Shuklin, D. E.
• Objektorientierte mathematische Modellierung – Generische Methoden bei komplexen dynamischen Systemen
  Merz, R. ; Litz, L.
• Development of the Robust Algorithm of Guaranteed Ellipsoidal Estimation and Its Application for Orientation of the Artificial Earth Satellite
  Pankratova, N. D. ; Sholokhov, O. V.
• PC-Bildschirme für gesunde Augen
  Fankhänel, Jens