„Operating Systems.“

Suchergebnisse

10.000+ Treffer

• A hybrid formal verification approach for QoS-aware multi-cloud service composition
  Souri, Alireza ; Rahmani, Amir Masoud ; Navimipour, Nima Jafari ; Rezaei, Reza
• Two-sided search with experts
  Nahum, Yinon ; Sarne, David ; Das, Sanmay ; Shehory, Onn
• An investigation of misunderstanding code patterns in C open-source software projects
  Medeiros, Flávio ; Lima, Gabriel ; Amaral, Guilherme ; Apel, Sven ; Kästner, Christian ; Ribeiro, Márcio ; Gheyi, Rohit
• Large-scale agile transformation at Ericsson: a case study
  Paasivaara, Maria ; Behm, Benjamin ; Lassenius, Casper ; Hallikainen, Minna
• Hybrid co-simulation: it’s about time
  Cremona, Fabio ; Lohstroh, Marten ; Broman, David ; Lee, Edward A. ; Masin, Michael ; Tripakis, Stavros
• Parallel Implementations of the Cooperative Particle Swarm Optimization on Many-core and Multi-core Architectures
  Nedjah, Nadia ; Calazan, Rogério de M. ; Mourelle, Luiza de Macedo ; Wang, Chao
• Datenbrillengestützte Checklisten in der Fahrzeugmontage – Eine empirische Untersuchung
  Stocker, Alexander ; Spitzer, Michael ; Kaiser, Christian ; Rosenberger, Manfred ; Fellmann, Michael
• Probabilistic nearest neighbor query processing on distributed uncertain data
  Amagata, Daichi ; Sasaki, Yuya ; Hara, Takahiro ; Nishio, Shōjirō
• A masking method based on orthonormal spaces, protecting several bytes against both SCA and FIA with a reduced cost
  Carlet, Claude ; Daif, Abderrahman ; Guilley, Sylvain ; Tavernier, Cédric
• Energy efficient offloading scheme for MEC-based augmented reality system
  Ateya, Abdelhamied A. ; Muthanna, Ammar ; Koucheryavy, Andrey ; Maleh, Yassine ; Abd El-Latif, Ahmed A.
• Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields
  Gusev, A. A. ; Samoilov, V. N. ; Rostovtsev, V. A. ; Vinickij, S. I.
• Enterprise adoption of cloud computing with application portfolio profiling and application portfolio assessment
  Ramchand, Kent ; Baruwal Chhetri, Mohan ; Kowalczyk, Ryszard
• DEALER: decentralized incentives for threat intelligence reporting and exchange
  Menges, Florian ; Putz, Benedikt ; Pernul, Günther
• Memristoren für zukünftige Rechnersysteme
  Fey, Dietmar ; Karl, Wolfgang ; Ungerer, Theo
• Deciding floating-point logic with abstract conflict driven clause learning
  Brain, Martin ; D’Silva, Vijay ; Griggio, Alberto ; Haller, Leopold ; Kroening, Daniel
• Risk management capability model for the development of medical device software
  Mc Caffery, Fergal ; Burton, John ; Richardson, Ita
• Editorial to the theme section on model-based design of cyber-physical systems
  Broy, Manfred ; Daembkes, Heinrich ; Sztipanovits, Janos
• On the pragmatic design of literature studies in software engineering: an experience-based guideline
  Kuhrmann, Marco ; Méndez Fernández, Daniel ; Daneva, Maya
• Model checking parameterized asynchronous shared-memory systems
  Durand-Gasselin, Antoine ; Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak
• SEPAL: Schema Enhanced Programming for Linked Data
  Scheglmann, Stefan ; Leinberger, Martin ; Gottron, Thomas ; Staab, Steffen ; Lämmel, Ralf