„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
  Sundermann, Chico ; Heß, Tobias ; Nieke, Michael ; Bittner, Paul Maximilian ; Young, Jeffrey M. ; Thüm, Thomas ; Schaefer, Ina
• Theme section on modeling and sustainability
  David, Istvan ; Barišić, Ankica ; Bork, Dominik
• Online revenue maximization for server pricing
  Boodaghians, Shant ; Fusco, Federico ; Leonardi, Stefano ; Mansour, Yishay ; Mehta, Ruta
• 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
• PLC Programming In Instruction List According To IEC 61131-3 – A Systematic And Action-Oriented Introduction In Structured Programming
  Adam, Hans-Joachim ; Adam, Mathias 2022 Springer Berlin Heidelberg
• PLC programming in instruction list according to IEC 61131-3 – a systematic and action-oriented introduction in structured programming
  Adam, Hans-Joachim ; Adam, Mathias 2022 Springer
• Business process modeling language selection for research modelers
  Farshidi, Siamak ; Kwantes, Izaak Beer ; Jansen, Slinger
• Enterprise adoption of cloud computing with application portfolio profiling and application portfolio assessment
  Ramchand, Kent ; Baruwal Chhetri, Mohan ; Kowalczyk, Ryszard
• 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
• A mathematical programming formulation for the Hartree–Fock problem on open-shell systems
  Liberti, Leo ; Lavor, Carlile ; Maculan F., Nelson
• 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