Výsledky vyhledávání - Dataflow Synchronous Programming

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

“…The rate-synchronous model formalizes an industrial approach for composing Lustre nodes that execute at different rates…”
Získat plný text

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

“… They provide programming languages for composing functions over streams as typified by Dataflow Synchronous Languages like Lustre…”
Získat plný text

Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks Autor 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…”
Získat plný text

Multidimensional synchronous dataflow Autor 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…”
Získat plný text

Translating of MATLAB/SIMULINLK model to synchronous dataflow graph for parallelism analysis and programming embedded multicore systems Autor 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…”
Získat plný text

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

Získat plný text

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

“…Dataflow has proven to be an attractive computation model for programming digital signal processing (DSP) applications…”
Získat plný text

Decidable Variable-Rate Dataflow for Heterogeneous Signal Processing Systems Autor 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…”
Získat plný text

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

“…We address the design of distributed systems with synchronous dataflow programming languages…”
Získat plný text

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

“… Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems…”
Získat plný text

Cognitive Sensor Platform Autor 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…”
Získat plný text

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

Získat plný text

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

“… Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems…”
Získat plný text

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

“…Dataflow programming has been used to describe signal processing applications for many years, traditionally with cyclo-static dataflow (CSDF…”
Získat plný text

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

“…Dataflow process networks have proved and demonstrated their adequacy in data-dominated systems, namely Synchronous Dataflows…”
Získat plný text

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings Autor 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…”
Získat plný text

A generic synchronous dataflow architecture to rapidly prototype and deploy robot controllers Autor 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…”
Získat plný text

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

“…Dataflow matrix machines arise naturally in the context of synchronous dataflow programming with linear streams…”
Získat plný text

RDF: Reconfigurable Dataflow Autor 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…”
Získat plný text

Executing synchronous dataflow graphs on a SPM-based multicore architecture Autor 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…”
Získat plný text