Search Results for "dataflow"

...The BMDFM dynamic scheduling subsystem performs a symmetric multiprocessing (SMP) emulation of a tagged-token dataflow machine to provide the transparent dataflow semantics for the applications. No directives for parallel execution are needed. More info: http://www.bmdfm.com

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ...

...It's initial focus will be on emulating gaming consoles, with the GameBoy as a starting point. It will be written using modern software development methodologies, with the TPL Dataflow library as a backbone. It will simulate hardware functionality at a low level without sacrificing performance. The end goal for this project is to allow the ability to simulate hardware by simply dropping common components onto a virtual integrated circuit.