Embedding Polychrony into Synchrony

This paper presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible to deepen the understanding of these different models of computation, but, more importantly, it is possible to transfer compilation techniques that were developed for synch...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 39; H. 7; S. 917 - 929
Hauptverfasser:	Brandt, J., Gemunde, M., Schneider, K., Shukla, S. K., Talpin, J-P
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.07.2013 IEEE Computer Society Institute of Electrical and Electronics Engineers
Schlagworte:	Asynchronous Clocks Computation Computation and Language Computational modeling Computer Science Computer simulation Control systems Embedded systems Fertilization Hardware Input output Mathematical models Model-driven embedded software Names polychronous programming Programming languages programming models Specifications Studies Synchronization Synchronous synchronous guarded commands synchronous programming synchrony hypothesis Unified modeling language
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!