„Programming Languages“

Suchergebnisse

7.502 Treffer

• Guest Editorial to the Special Section on MODELS 2007
  Engels, Gregor
• On modeling software defect repair time
  Hewett, Rattikorn ; Kijsanayothin, Phongphun
• Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
  Garousi, Vahid
• Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars
  Greenyer, Joel ; Kindler, Ekkart
• Bandwidth-based routing protocols in mobile ad hoc networks
  Chen, Ching-Wen ; Weng, Chuan-Chi
• Parallel loop generation and scheduling
  Lotfi, Shahriar ; Parsa, Saeed
• Data storage security for the Internet of Things
  Duan, Yuntao ; Li, Jiangdai ; Srivastava, Gautam ; Yeh, Jyh-Haw
• In this issue
  Harrison, Rachel
• Distributed differential evolution with explorative–exploitative population families
  Weber, Matthieu ; Neri, Ferrante ; Tirronen, Ville
• On challenges of model transformation from UML to Alloy
  Anastasakis, Kyriakos ; Bordbar, Behzad ; Georg, Geri ; Ray, Indrakshi
• ModPascal report
  Olthoff, Walter 1984 Saarländische Universitäts- und Landesbibliothek
• Lehrkräfte und Medienkompetenz: Die Vermittlung von spezialisierter Medienkompetenz im Studium als Vorbereitung auf das Berufsleben – Untersuchung zum Status Quo der Medienkompetenz von angehenden Lehrkräften im Hinblick auf eine mögliche Erweiterung der Medienkompetenz in den bayerischen Lehramtsstudiengängen
  Führer, Martin 2021 Cuvillier Verlag
• An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
  2023 Springer International Publishing
• Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework
  Munawar, Asim ; Wahib, Mohamed ; Munetomo, Masaharu ; Akama, Kiyoshi
• A grid-enabled asynchronous metamodel-assisted evolutionary algorithm for aerodynamic optimization
  Asouti, V. G. ; Kampolis, I. C. ; Giannakoglou, K. C.
• Bidirectional model transformations in QVT: semantic issues and open questions
  Stevens, Perdita
• Fast-path I/O architecture for high performance streaming server
  Lee, Yong-Ju ; Park, Yoo-Hyun ; Sok, Song-Woo ; Kim, Hag-Young ; Lee, Cheol-Hoon
• A software product certification model
  Heck, Petra ; Klabbers, Martijn ; Eekelen, Marko van
• Report on the State of the SoSyM Journal end of 2022
  Challita, Stéphanie ; Combemale, Benoit ; Ergin, Huseyin ; Gray, Jeff ; Rumpe, Bernhard ; Schindler, Martin
• Guest editorial: special issue on emerging challenges in software certification and verification
  De Simone, Luigi ; Laranjeiro, Nuno ; Cotroneo, Domenico