Search Results - Dataflow Synchronous Programming

Lustre, Fast First, and Fresh by Bourke, Timothy, Pouzet, Marc

“…The rate-synchronous model formalizes an industrial approach for composing Lustre nodes that execute at different rates…”
Get full text

Mechanized semantics and verified compilation for a dataflow synchronous language with reset by Bourke, Timothy, Brun, Lélio, Pouzet, Marc

“… They provide programming languages for composing functions over streams as typified by Dataflow Synchronous Languages like Lustre…”
Get full text

Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks by Baudisch, Daniel, Schneider, Klaus

“…Dataflow process networks are a convenient formalism for implementing robust concurrent systems that has been successfully used for hardware and software systems in the past…”
Get full text

Multidimensional synchronous dataflow by Murthy, P.K., Lee, E.A.

“… One particular form of dataflow called synchronous dataflow (SDF) has been quite popular in programming environments for digital signal processing (DSP…”
Get full text

Translating of MATLAB/SIMULINLK model to synchronous dataflow graph for parallelism analysis and programming embedded multicore systems by Guesmi, Kaouther, Hasnaoui, Salem

“… Our approach consists of translating a Simiüink model into discrete synchronous dataflow graph in order to treat them as concurrent system by exploiting task-level…”
Get full text

Transparent Synchronous Dataflow by Cheung, Steven W.T., Ghica, Dan R., Muroya, Koko

Get full text

Parameterized dataflow modeling for DSP systems by Bhattacharya, B., Bhattacharyya, S.S.

“…Dataflow has proven to be an attractive computation model for programming digital signal processing (DSP) applications…”
Get full text

Decidable Variable-Rate Dataflow for Heterogeneous Signal Processing Systems by Ma, Yujunrong, Wu, Jiahao, Bhattacharyya, Shuvra S., Boutellier, Jani

“… (such as synchronous dataflow).In this paper we advocate the use of a boundedly dynamic dataflow model of computation, VR-PRUNE, that remains analyzable but still offers more programming freedom than a fully static dataflow…”
Get full text

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs by Delaval, Gwenaël, Girault, Alain, Pouzet, Marc

“…We address the design of distributed systems with synchronous dataflow programming languages…”
Get full text

Fault-tolerant functional reactive programming (extended version) by PEREZ, IVAN, GOODLOE, ALWYN E.

“… Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems…”
Get full text

Cognitive Sensor Platform by McDermott, Mark

“… Additionally the platform provides to ability to compose application specific sensor systems using a novel computational element that directly supports a synchronous-dataflow (SDF…”
Get full text

Joint Minimization of Code and Data for Synchronous Dataflow Programs by Murthy, Praveen K., Bhattacharyya, Shuvra S., Lee, Edward A.

Get full text

Fault tolerant functional reactive programming (functional pearl) by Perez, Ivan

“… Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems…”
Get full text

Classification of Dataflow Actors with Satisfiability and Abstract Interpretation by Wipliez, Matthieu, Raulet, Mickaël

“…Dataflow programming has been used to describe signal processing applications for many years, traditionally with cyclo-static dataflow (CSDF…”
Get full text

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques by Rocha, J-I, Gomes, L., Dias, O. P.

“…Dataflow process networks have proved and demonstrated their adequacy in data-dominated systems, namely Synchronous Dataflows…”
Get full text

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings by Rocha, José-Inácio, Páscoa Dias, Octávio, Gomes, Luís

“…Whereas most of the work that analyses Synchronous Dataflow (SDF) stays in the dataflow framework, this work pushes its analysis into another framework level…”
Get full text

A generic synchronous dataflow architecture to rapidly prototype and deploy robot controllers by Ferigo, Diego, Traversaro, Silvio, Romano, Francesco, Pucci, Daniele

“…The article presents a software architecture to optimize the process of prototyping and deploying robot controllers that are synthesized using model-based…”
Get full text

Programming Patterns in Dataflow Matrix Machines and Generalized Recurrent Neural Nets by Bukatin, Michael, Matthews, Steve, Radul, Andrey

“…Dataflow matrix machines arise naturally in the context of synchronous dataflow programming with linear streams…”
Get full text

RDF: Reconfigurable Dataflow by Fradet, Pascal, Girault, Alain, Krishnaswamy, Ruby, Nicollin, Xavier, Shafiei, Arash

“… One of the most popular dataflow MoCs, Synchronous Dataflow (SDF), provides static analyses to guarantee boundedness and liveness, which are key properties for embedded systems. However, SDF…”
Get full text

Executing synchronous dataflow graphs on a SPM-based multicore architecture by Choi, Junchul, Oh, Hyunok, Kim, Sungchan, Ha, Soonhoi

“…In this paper we are concerned about executing synchronous dataflow (SDF) applications on a multicore architecture where a core has a limited size of scratchpad memory (SPM…”
Get full text