„Synchronous programming“

Suchergebnisse

1.000+ Treffer

• Synchrone Programmierung - Grundlagen (Teil 1) (Synchronous Programming - Foundations (Part 1))
  Budde, Reinhard ; Poigné, Axel ; Sylla, Karl-Heinz
• Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
  Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian
• Evaluation and loss estimation of a high-speed permanent magnet synchronous machine with hairpin windings for high-volume fuel cell applications
  Balasubramanian, Sridhar ; Langmaack, Niklas ; Henke, Markus
• Integrating synchronous and asynchronous paradigms – the Fork95 parallel programming language
  Kessler, Christoph W. ; Seidl, Helmut 1995 Univ., Mathematik/Informatik
• Approaches to Code Generation for Synchronous Transfer Architecture (STA)
  Guo, Jie 2008 Shaker
• Real-world deployment and evaluation of synchronous programming in reactive embedded systems
  Terber, Matthias ; Kowalewski, Stefan ; Rumpe, Bernhard Dieter 2018 Universitätsbibliothek der RWTH Aachen
• Perspectives of System Informatics – 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
  2015 Springer Berlin Heidelberg
• Perspectives of Systems Informatics – 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
  Clarke, Edmund M. ; Virbickajte, Irina B. ; Voronkov, Andrei 2012 Springer Berlin Heidelberg
• WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation
  Varoumas, Steven ; Crolard, Tristan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Synchronous Multithreaded Programming
  Mancilla, Blanca ; Plaice, John
• Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
  Bourke, Timothy ; Bregeon, Vincent ; Pouzet, Marc 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
  Kamina, Tetsuo ; Aotani, Tomoyuki ; Masuhara, Hidehiko 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronous Programming (Dagstuhl Seminar 13471)
  Edwards, Stephen A. ; Girault, Alain ; Schneider, Klaus
• Parallel genetic programming: Synchronous and asynchronous migration
  Tongchim, Shisanu ; Chongstitvatana, Prabhas
• Perspectives of systems informatics – revised selected papers
  Voronkov, Andrei ; Virbitskaite, Irina 2015 Springer
• Grounding Synchronous Deterministic Concurrency in Sequential Programming
  Aguado, Joaquín ; Mendler, Michael ; Hanxleden, Reinhard ˜vonœ ; Fuhrmann, Insa 2014 Otto-Friedrich-Universität Bamberg
• Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung (On the Construction of Dependable Embedded Software by Synchronous Programming)
  Budde, Reinhard ; Poigné, Axel ; Sylla, Karl-Heinz
• Synchrone Programmierung – Anwendung (Teil 3) (Synchronous Programming – Application (Part 3))
  Budde, Reinhard ; Poigné, Axel ; Sylla, Karl-Heinz
• Synchrone Programmierung - Sprachen (Teil 2) (Synchronous Programming - Languages (Part 2))
  Budde, Reinhard ; Poigné, Axel ; Sylla, Karl-Heinz
• Synchronous development in open-source projects: A higher-level perspective
  Bock, Thomas ; Hunsen, Claus ; Joblin, Mitchell ; Apel, Sven