„Compiler“

Suchergebnisse

10.000+ Treffer

• Introduction to the special issue on new trends in autonomous systems engineering
  Khabou, Nesrine ; Bouassida Rodriguez, Ismael ; Jmaiel, Mohamed
• Correlating contexts and NFR conflicts from event logs
  Roy, Mandira ; Das, Souvick ; Deb, Novarun ; Cortesi, Agostino ; Chaki, Rituparna ; Chaki, Nabendu
• DALEC: a framework for the systematic evaluation of data-centric approaches to process management software
  Steinau, Sebastian ; Marrella, Andrea ; Andrews, Kevin ; Leotta, Francesco ; Mecella, Massimo ; Reichert, Manfred
• View-based model-driven software development with ModelJoin
  Burger, Erik ; Henss, Jörg ; Küster, Martin ; Kruse, Steffen ; Happe, Lucia
• Validation of virtualization platforms for I-IoT purposes
  Batalla, Jordi Mongay ; Sienkiewicz, Konrad ; Latoszek, Waldemar ; Krawiec, Piotr ; Mavromoustakis, Constandinos X. ; Mastorakis, George
• 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
• 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
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Post-quantum secure fog-edge computing using federated learning with blockchain
  Singh, Jagdeep ; Singh, Parminder ; Kaur, Avinash ; Hedabou, Mustapha
• Business process modeling language selection for research modelers
  Farshidi, Siamak ; Kwantes, Izaak Beer ; Jansen, Slinger
• 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
• Testing the past: can we still run tests in past snapshots for Java projects?
  Maes-Bermejo, Michel ; Gallego, Micael ; Gortázar, Francisco ; Robles Morchón, Gregorio ; Gonzalez-Barahona, Jesus M.
• Lossless compaction of model execution traces
  Hojaji, Fazilat ; Zamani, Bahman ; Hamou-Lhadj, Abdelwahab ; Mayerhofer, Tanja ; Bousse, Erwan
• Application-aware cloudlet selection for computation offloading in multi-cloudlet environment
  Roy, Deepsubhra Guha ; De, Debashis ; Mukherjee, Anwesha ; Buyya, Rajkumar
• Correction to: Assessing the adoption of security policies by developers in terraform across different cloud providers
  Verdet, Alexandre ; Hamdaqa, Mohammad ; Silva, Leuson Da ; Khomh, Foutse