Suchergebnisse - Dataflow Synchronous Programming

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

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

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

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

Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks von 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 …”
Volltext

Multidimensional synchronous dataflow von 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 …”
Volltext

Translating of MATLAB/SIMULINLK model to synchronous dataflow graph for parallelism analysis and programming embedded multicore systems von 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 …”
Volltext

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

Volltext

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

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

Decidable Variable-Rate Dataflow for Heterogeneous Signal Processing Systems von 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 …”
Volltext

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

“… We address the design of distributed systems with synchronous dataflow programming languages …”
Volltext

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

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

Cognitive Sensor Platform von 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 …”
Volltext

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

Volltext

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

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

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

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

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

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

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings von 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 …”
Volltext

A generic synchronous dataflow architecture to rapidly prototype and deploy robot controllers von 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 …”
Volltext

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

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

RDF: Reconfigurable Dataflow von 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 …”
Volltext

Executing synchronous dataflow graphs on a SPM-based multicore architecture von 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 …”
Volltext