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

Full description

Bibliographic Details

Published in:	International journal of embedded and real-time communication systems Vol. 3; no. 1; pp. 49 - 69
Main Authors:	Wipliez, Matthieu, Raulet, Mickaël
Format:	Journal Article
Language:	English
Published:	Hershey IGI Global 01.01.2012
Subjects:	Classification Computer Science Dynamics Embedded Systems Mathematical models Multimedia Programming Semantics Synchronous
ISSN:	1947-3176, 1947-3184
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!