Zum Inhalt springen

  3. Davies, Jim [HerausgeberIn]; Silva, Leila [Sonstige Person, Familie und Körperschaft]; Simao, Adenilso [Sonstige Person, Familie und Körperschaft] ; Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte

    Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6527

  6. Monteiro Barbosa, Davi [VerfasserIn]; Gadelha de Moura Lima, Rómulo [VerfasserIn]; Maia, Paulo Henrique Mendes [VerfasserIn]; Junior, Evilásio Costa [VerfasserIn] ; Davi Monteiro Barbosa and Rómulo Gadelha de Moura Lima and Paulo Henrique Mendes Maia and Evilásio Costa Junior [MitwirkendeR]

    Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  7. Christodoulis, Georgios [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Desprez, Frédéric [MitwirkendeR]; Broquedis, François [MitwirkendeR]

    Adaption d'un système HPC pour intégrer des FPGAs ; Adapting a HPC runtime system to FPGAs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2019-12-05

  8. Ganguly, Ritam [VerfasserIn]; Momtaz, Anik [VerfasserIn]; Bonakdarpour, Borzoo [VerfasserIn] ; Ritam Ganguly and Anik Momtaz and Borzoo Bonakdarpour [MitwirkendeR]

    Distributed Runtime Verification Under Partial Synchrony

    Aufsätze
    Online ansehen
    Schließen
    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

  9. Bell, Jonathan [VerfasserIn]; Pina, Luís [VerfasserIn] ; Jonathan Bell and Luís Pina [MitwirkendeR]

    CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs

    Aufsätze
    Online ansehen
    Schließen
    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, 2018

  10. Kadar, Marine [VerfasserIn] ; Fohler, Gerhard [AkademischeR BetreuerIn]; Tverdyshev, Sergey [AkademischeR BetreuerIn]; Gorski, Philipp [AkademischeR BetreuerIn]

    Integration Methods for Host Intrusion Detection into Embedded Mixed-Criticality Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Kaiserslautern: Technische Universität Kaiserslautern, 2022

  11. Däumler, Martin [VerfasserIn] ; Werner, Matthias [AkademischeR BetreuerIn]; Werner, Matthias [Sonstige Person, Familie und Körperschaft]; Hardt, Wolfram [Sonstige Person, Familie und Körperschaft]

    Real-time Code Generation in Virtualizing Runtime Environments

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Chemnitz: Universitätsbibliothek Chemnitz, 2015

  12. Nagarakatte, Santosh [VerfasserIn] ; ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Operating Systems

    Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    New York,NY,United States: Association for Computing Machinery, 2020

    Erschienen in: ACM Conferences- ACM Digital Library

  15. Association for Computing Machinery-Digital Library, ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing

    Proceedings of the 7th International Workshop on Runtime and Operating Systems for Supercomputers ROSS 2017

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    New York, NY: ACM, 2017

    Erschienen in: ACM Other conferences- ACM Digital Library

  16. Gay, Simon [VerfasserIn]; Vasconcelos, Vasco T. [VerfasserIn]; Wadler, Philip [VerfasserIn]; Yoshida, Nobuko [VerfasserIn] ; Simon Gay and Vasco T. Vasconcelos and Philip Wadler and Nobuko Yoshida [MitwirkendeR]

    Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  17. Havelund, Klaus [VerfasserIn]; Leucker, Martin [VerfasserIn]; Sachenbacher, Martin [VerfasserIn]; Sokolsky, Oleg [VerfasserIn]; Williams, Brian C. [VerfasserIn] ; Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams [MitwirkendeR]

    10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen
    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, 2011

  18. Havelund, Klaus [VerfasserIn]; Leucker, Martin [VerfasserIn]; Sachenbacher, Martin [VerfasserIn]; Sokolsky, Oleg [VerfasserIn]; Williams, Brian C. [VerfasserIn] ; Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams [MitwirkendeR]

    10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen
    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, 2011