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...

Celý popis

Podrobná bibliografie

Vydáno v:	International journal of embedded and real-time communication systems Ročník 3; číslo 1; s. 49 - 69
Hlavní autoři:	Wipliez, Matthieu, Raulet, Mickaël
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Hershey IGI Global 01.01.2012
Témata:	Classification Computer Science Dynamics Embedded Systems Mathematical models Multimedia Programming Semantics Synchronous
ISSN:	1947-3176, 1947-3184
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!