Classification of Dataflow Actors with Satisfiability and Abstract Interpretation

Dataflow programming has been used to describe signal processing applications for many years, traditionally with cyclo-static dataflow (CSDF) or synchronous dataflow (SDF) models that restrict expressive power in favor of compile-time analysis and predictability. More recently, dynamic dataflow is b...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of embedded and real-time communication systems Jg. 3; H. 1; S. 49 - 69
Hauptverfasser:	Wipliez, Matthieu, Raulet, Mickaël
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Hershey IGI Global 01.01.2012
Schlagworte:	Classification Computer Science Dynamics Embedded Systems Mathematical models Multimedia Programming Semantics Synchronous
ISSN:	1947-3176, 1947-3184
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!