Zum Inhalt springen

  1. Kormann, Benjamin [Verfasser:in] ; Siemers, Christian [Akademische:r Betreuer:in]; Rausch, Andreas [Sonstige Person, Familie und Körperschaft]; Schiller, Frank [Sonstige Person, Familie und Körperschaft] Technische Universität Clausthal

    Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme - [1. Auflage]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Clausthal-Zellerfeld: Papierflieger Verlag GmbH, 2016

  2. Van den Vonder, Sam [Verfasser:in]; Renaux, Thierry [Verfasser:in]; Oeyen, Bjarno [Verfasser:in]; De Koster, Joeri [Verfasser:in]; De Meuter, Wolfgang [Verfasser:in] ; Sam Van den Vonder and Thierry Renaux and Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter [Mitwirkende:r]

    Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  3. Van den Vonder, Sam [Verfasser:in]; Renaux, Thierry [Verfasser:in]; Oeyen, Bjarno [Verfasser:in]; De Koster, Joeri [Verfasser:in]; De Meuter, Wolfgang [Verfasser:in] ; Sam Van den Vonder and Thierry Renaux and Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter [Mitwirkende:r]

    Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  4. Bourke, Timothy [Verfasser:in]; Bregeon, Vincent [Verfasser:in]; Pouzet, Marc [Verfasser:in] ; Timothy Bourke and Vincent Bregeon and Marc Pouzet [Mitwirkende:r]

    Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  5. Kamina, Tetsuo [Verfasser:in]; Aotani, Tomoyuki [Verfasser:in]; Masuhara, Hidehiko [Verfasser:in] ; Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara [Mitwirkende:r]

    Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  6. Petit, Bertrand [Verfasser:in] ; Université Côte d'Azur [Mitwirkende:r]; Serrano, Manuel [Mitwirkende:r]

    Temps et durée : de la programmation réactive synchrone à la composition musicale ; Time and duration : from synchronous reactive programming to music composition

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-07-02

  7. Haas, Julian [Verfasser:in]; Mogk, Ragnar [Verfasser:in]; Yanakieva, Elena [Verfasser:in]; Bieniusa, Annette [Verfasser:in]; Mezini, Mira [Verfasser:in] ; Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini [Mitwirkende:r]

    LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  8. Haas, Julian [Verfasser:in]; Mogk, Ragnar [Verfasser:in]; Yanakieva, Elena [Verfasser:in]; Bieniusa, Annette [Verfasser:in]; Mezini, Mira [Verfasser:in] ; Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini [Mitwirkende:r]

    LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  9. Klinge, Titus H. [Verfasser:in]; Lathrop, James I. [Verfasser:in]; Osera, Peter-Michael [Verfasser:in]; Rogers, Allison [Verfasser:in] ; Titus H. Klinge and James I. Lathrop and Peter-Michael Osera and Allison Rogers [Mitwirkende:r]

    Reactamole: Functional Reactive Molecular Programming

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  10. Demetrescu, Camil [Verfasser:in]; Erdweg, Sebastian [Verfasser:in]; Hammer, Matthew A. [Verfasser:in]; Krishnamurthi, Shriram [Verfasser:in] ; Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi [Mitwirkende:r]

    Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017