„programming languages“

Suchergebnisse

1.000+ Treffer

• 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
  Bojańczyk, Mikołaj ; Merelli, Emanuela ; Woodruff, David P. 2022 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
  Natale, Marco Di ; Perillo, David ; Chirico, Francesco ; Sindico, Andrea ; Sangiovanni-Vincentelli, Alberto
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• General framework for testing using formal languages
  Lobato, S. ; Poncela, J. ; Aamir, M.
• How to define modeling languages?
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Recommendations for a smart toy parental control tool
  Paula Albuquerque, Otavio de ; Fantinato, Marcelo ; Hung, Patrick C. K. ; Peres, Sarajane Marques ; Iqbal, Farkhund ; Rehman, Umair ; Shah, Muhammad Umair
• Automatically recommending components for issue reports using deep learning
  Choetkiertikul, Morakot ; Dam, Hoa Khanh ; Tran, Truyen ; Pham, Trang ; Ragkhitwetsagul, Chaiyong ; Ghose, Aditya
• A longitudinal study of static analysis warning evolution and the effects of PMD on software quality in Apache open source projects
  Trautsch, Alexander ; Herbold, Steffen ; Grabowski, Jens
• Discovering configuration workflows from existing logs using process mining
  Ramos-Gutiérrez, Belén ; Varela-Vaca, Ángel Jesús ; Galindo, José A. ; Gómez-López, María Teresa ; Benavides, David
• PHANTOM: Curating GitHub for engineered software projects using time-series clustering
  Pickerill, Peter ; Jungen, Heiko Joshua ; Ochodek, Mirosław ; Maćkowiak, Michał ; Staron, Miroslaw
• Design and analysis of secure host-based mobility protocol for wireless heterogeneous networks
  El Bouabidi, Imen ; Zarai, Faouzi ; Obaidat, Mohammad S. ; Kamoun, Lotfi
• An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite
  Succi, Giancarlo ; Pedrycz, Witold ; Djokic, Snezana ; Zuliani, Paolo ; Russo, Barbara
• Comparing the influence of using feature-oriented programming and conditional compilation on comprehending feature-oriented software
  Rodrigues Santos, Alcemir ; Carmo Machado, Ivan do ; Santana de Almeida, Eduardo ; Siegmund, Janet ; Apel, Sven
• An energy-aware buffer management (EABM) routing protocol for WSN
  Jayarajan, P. ; Kanagachidambaresan, G. R. ; Sundararajan, T. V. P. ; Sakthipandi, K. ; Maheswar, R. ; Karthikeyan, A.
• Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
  Schulz, André 2026 Springer Vieweg
• The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages
  Joque, Justin
• OpenMP: Heterogenous Execution and Data Movements – 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1–2, 2015, Proceedings
  Terboven, Christian ; De Supinski, Bronis R. ; Reble, Pablo ; Chapman, Barbara ; Müller, Matthias S. 2015 Springer International Publishing
• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• Hybrid parallelization of molecular dynamics simulations to reduce load imbalance
  Morillo, Julian ; Vassaux, Maxime ; Coveney, Peter V. ; Garcia-Gasulla, Marta
• SOCAM: a service-oriented computing architecture modeling method
  Reyes-Delgado, Paola Y. ; Duran-Limon, Hector A. ; Mora, Manuel ; Rodriguez-Martinez, Laura C.