Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: ICFEM 2018: Formal Methods and Software Engineering

Erschienen in
Lecture Notes in Computer Science ; 11232

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Technische Universität Berlin
(wann)
2020
Urheber
Berg, Nils
Göthel, Thomas
Danziger, Armin
Glesner, Sabine

DOI
10.14279/depositonce-9793
Handle
11303/10900
URN
urn:nbn:de:101:1-2020031100585038741313
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:53 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Berg, Nils
  • Göthel, Thomas
  • Danziger, Armin
  • Glesner, Sabine
  • Technische Universität Berlin

Entstanden

  • 2020

Ähnliche Objekte (12)

Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages

Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages

Code Generation for Synchronous Control Asynchronous Dataflow Architectures

Code Generation for Synchronous Control Asynchronous Dataflow Architectures

Globally asynchronous locally synchronous architectures for VLSI systems

Hochschulschrift

Globally asynchronous locally synchronous architectures for VLSI systems

Mass transfer in synchronous and asynchronous magnetic cataclysmic variables

Hochschulschrift

Mass transfer in synchronous and asynchronous magnetic cataclysmic variables

Maggy: Asynchronous distributed hyperparameter optimization based on Apache Spark: Asynchronous algorithms on a bulk-synchronous system

zweidimensionales bewegtes Bild

Maggy: Asynchronous distributed hyperparameter optimization based on Apache Spark: Asynchronous algorithms on a bulk-synchronous system

Herding, A-synchronous Updating and Heterogeneity in Memory in a CBS

Arbeitspapier

Herding, A-synchronous Updating and Heterogeneity in Memory in a CBS

Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)

Hochschulschrift

Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)

Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures

Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures

Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)

Hochschulschrift | Online-Publikation

Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)

Behaviour and refinement of port-based components with synchronous and asynchronous communication

Hochschulschrift

Behaviour and refinement of port-based components with synchronous and asynchronous communication

Refinement of components in connection-safe assemblies with synchronous and asynchronous communication

Refinement of components in connection-safe assemblies with synchronous and asynchronous communication

Tele-Board, supporting and analyzing creative collaboration in synchronous and asynchronous scenarios

Hochschulschrift

Tele-Board, supporting and analyzing creative collaboration in synchronous and asynchronous scenarios

Verbundene Objekte