„Programming Language.“

Suchergebnisse

8.545 Treffer

• A study on Koza’s performance measures
  Barrero, David F. ; Castaño, Bonifacio ; R-Moreno, María D. ; Camacho, David
• The effect of requests for user feedback on Quality of Experience
  Fotrousi, Farnaz ; Fricker, Samuel A. ; Fiedler, Markus
• Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
  Lara, Juan ˜deœ ; Vangheluwe, Hans ; Alfonseca, Manuel
• Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts
  Jonsson, Leif ; Borg, Markus ; Broman, David ; Sandahl, Kristian ; Eldh, Sigrid ; Runeson, Per
• Coevolution of variability models and related software artifacts – A fresh look at evolution patterns in the Linux kernel
  Passos, Leonardo ; Teixeira, Leopoldo ; Dintzner, Nicolas ; Apel, Sven ; Wa̢sowski, Andrzej ; Czarnecki, Krzysztof ; Borba, Paulo ; Guo, Jianmei
• Quantifying structural attributes of system decompositions in 28 feature-oriented software product lines – An exploratory study
  Sobernig, Stefan ; Apel, Sven ; Kolesnikov, Sergiy ; Siegmund, Norbert
• From Nondeterministic to Multi-Head Deterministic Finite-State Transducers (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Raszyk, Martin ; Basin, David A. ; Traytel, Dmitriy 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
  Bringmann, Karl ; Grohe, Martin ; Puppis, Gabriele ; Svensson, Ola 2024 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• An operational guide to monitorability with applications to regular properties
  Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian ; Anna Ingólfsdóttir ; Lehtinen, Karoliina
• The RALph miner for automated discovery and verification of resource-aware process models
  Cabanillas, Cristina ; Ackermann, Lars ; Schönig, Stefan ; Sturm, Christian ; Mendling, Jan
• Benchmarking bidirectional transformations: theory, implementation, application, and assessment
  Anjorin, Anthony ; Buchmann, Thomas ; Westfechtel, Bernhard ; Diskin, Zinovy ; Ko, Hsiang-Shang ; Eramo, Romina ; Hinkel, Georg ; Samimi-Dehkordi, Leila ; Zündorf, Albert
• Automatic quantification of spheroidal graphite nodules using computer vision techniques
  Pereira, Renato F. ; Silva Filho, Valberto E. R. da ; Moura, Lorena B. ; Kumar, N. Arun ; Alexandria, Auzuir R. de ; Albuquerque, Victor Hugo C. ˜deœ
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• Successes, challenges, and rethinking – an industrial investigation on crowdsourced mobile application testing
  Gao, Ruizhi ; Wang, Yabin ; Feng, Yang ; Chen, Zhenyu ; Wong, W. Eric
• The shape of feature code: an analysis of twenty C-preprocessor-based systems
  Queiroz, Rodrigo ; Passos, Leonardo ; Valente, Marco Tulio ; Hunsen, Claus ; Apel, Sven ; Czarnecki, Krzysztof
• Multicore Rapid: Extending a Native Idris 2 Compiler and Runtime for Parallelism
  Rudloff, Johann ; Icking, Christian ; Ma, Lihong 2025 FernUniversität in Hagen
• Evolutionary algorithms for designing reversible cellular automata
  Mariot, Luca ; Picek, Stjepan ; Jakobovic, Domagoj ; Leporati, Alberto
• A generic LSTM neural network architecture to infer heterogeneous model transformations
  Burgueño, Loli ; Cabot, Jordi ; Li, Shuai ; Gérard, Sébastien
• How does code readability change during software evolution?
  Piantadosi, Valentina ; Fierro, Fabiana ; Scalabrino, Simone ; Serebrenik, Alexander ; Oliveto, Rocco
• Open innovation using open source tools: a case study at Sony Mobile
  Munir, Hussan ; Linåker, Johan ; Wnuk, Krzysztof ; Runeson, Per ; Regnell, Björn