„operating system“

Suchergebnisse

10.000+ Treffer

• The RERS challenge: towards controllable and scalable benchmark synthesis
  Howar, Falk ; Jasper, Marc ; Mues, Malte ; Schmidt, David ; Steffen, Bernhard
• Empirical validation of a quality framework for evaluating modelling languages in MDE environments
  Giraldo, Fáber D. ; Chicaiza, Ángela J. ; España, Sergio ; Pastor, Óscar
• Implementation of a Hybrid Classical-Quantum Annealing Algorithm for Logistic Network Design
  Ding, Yongcheng ; Chen, Xi ; Lamata, Lucas ; Solano, Enrique ; Sanz, Mikel
• Reconstruction of occluded ROI in multi-person gait based on numerical methods
  Singh, Jasvinder Pal ; Jain, Sanjeev ; Arora, Sakshi ; Singh, Uday Pratap
• Partial evaluation and program transformation day
  Glück, Robert ; Futamura, Yoshihiko
• State and path coalition effectivity models of concurrent multi-player games
  Goranko, Valentin ; Jamroga, Wojciech
• Steigerung der Leistungsdichte und des Wirkungsgrades von Straßenbahnantrieben durch den Einsatz hochdrehender Maschinen
  Heckele, Leonie ; Tesar, Markus ; Igelspacher, Jakob ; Brunner, Jürgen ; Gratzfeld, Peter
• Gamification in software engineering: the mediating role of developer engagement and job satisfaction
  Stol, Klaas-Jan ; Schaarschmidt, Mario ; Goldblit, Shelly
• Forecasting Models for Coronavirus Disease (COVID-19): A Survey of the State-of-the-Art
  Shinde, Gitanjali Rahul ; Kalamkar, Asmita B. ; Mahalle, Parikshit N. ; Dey, Nilanjan ; Chaki, Jyotismita ; Hassanien, Aboul Ella
• How bugs are born: a model to identify how bugs are introduced in software components
  Rodríguez-Pérez, Gema ; Robles Morchón, Gregorio ; Serebrenik, Alexander ; Zaidman, Andy ; Germán, Daniel M. ; Gonzalez-Barahona, Jesus M.
• A decomposition theorem for finite persistent transition systems
  Best, Eike ; Darondeau, Philippe
• A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
  Katoen, Joost-Pieter ; Langerak, Rom ; Brinksma, Ed ; Latella, Diego ; Bolognesi, Tommaso
• Informationsmanagement und Communities Überblick und Darstellung zweier Projekte der IMC-Gruppe München
  Borghoff, Uwe M. ; Koch, Michael ; Lacher, Martin S. ; Schlichter, Johann ; Weißer, Knut
• Decision problems for pushdown threads
  Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
• Toward a framework for self-adaptive workflows in cyber-physical systems
  Seiger, Ronny ; Huber, Steffen ; Heisig, Peter ; Aßmann, Uwe
• Formal methods for transport systems
  Beek, Maurice H. ˜terœ ; Gnesi, Stefania ; Knapp, Alexander
• A network aware approach for the scheduling of virtual machine migration during peak loads
  Duggan, Martin ; Duggan, Jim ; Howley, Enda ; Barrett, Enda
• A BMC-based formulation for the scheduling problem of hardware systems
  Cabodi, Gianpiero ; Kondratyev, Alex ; Lavagno, Luciano ; Nocco, Sergio ; Quer, Stefano ; Watanabe, Yosinori
• An integrated multi-level modeling approach for industrial-scale data interoperability
  Igamberdiev, Muzaffar ; Grossmann, Georg ; Selway, Matt ; Stumptner, Markus
• Gene Regulation System with an Artificial RNA Switch Operating in Human Cells
  Endoh, Tamaki ; Sugimoto, Naoki