Security Types for Synchronous Data Flow Systems

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315053 ◽

2020 ◽

Author(s):

Sanjiva Prasad ◽

R.Madhukar Yerraguntla ◽

Subodh Sharma

Keyword(s):

Data Flow ◽

Flow Systems ◽

Synchronous Data Flow

Download Full-text

Mixing signals and modes in synchronous data-flow systems

Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 ◽

10.1145/1176887.1176899 ◽

2006 ◽

Author(s):

Jean-Louis Colaço ◽

Grégoire Hamon ◽

Marc Pouzet

Keyword(s):

Data Flow ◽

Flow Systems ◽

Synchronous Data Flow

Download Full-text

Abstraction of Clocks in Synchronous Data-Flow Systems

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89330-1_17 ◽

2008 ◽

pp. 237-254 ◽

Author(s):

Albert Cohen ◽

Louis Mandel ◽

Florence Plateau ◽

Marc Pouzet

Keyword(s):

Data Flow ◽

Flow Systems ◽

Synchronous Data Flow

Download Full-text

A modular memory optimization for synchronous data-flow languages

ACM SIGPLAN Notices ◽

10.1145/2345141.2248426 ◽

2012 ◽

Vol 47 (5) ◽

pp. 51-60 ◽

Author(s):

Léonard Gérard ◽

Adrien Guatto ◽

Cédric Pasteur ◽

Marc Pouzet

Keyword(s):

Data Flow ◽

Memory Optimization ◽

Synchronous Data Flow

Download Full-text

On the performance of combined data flow and control flow systems: Experiments using two iterative algorithms

Journal of Parallel and Distributed Computing ◽

10.1016/0743-7315(88)90003-2 ◽

1988 ◽

Vol 5 (4) ◽

pp. 359-382

Author(s):

William W. Carlson ◽

Jose A.B. Fortes

Keyword(s):

Data Flow ◽

Iterative Algorithms ◽

Control Flow ◽

Flow Systems ◽

And Control ◽

Download Full-text

Liveness and Boundedness of Synchronous Data Flow Graphs

2006 Formal Methods in Computer Aided Design ◽

10.1109/fmcad.2006.20 ◽

2006 ◽

Author(s):

A.H. Ghamarian ◽

M.C.W. Geilen ◽

T. Basten ◽

B.D. Theelen ◽

M.R. Mousavi ◽

...

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Defining the Unit Testing Level of Synchronous Data Flow Programs

Safe Comp 96 ◽

10.1007/978-1-4471-0937-2_10 ◽

1997 ◽

pp. 115-125

Author(s):

Pascale Thévenod-Fosse ◽

Christine Mazuet ◽

Yves Crouzet

Keyword(s):

Data Flow ◽

Unit Testing ◽

Synchronous Data Flow

Download Full-text

Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs

10.21236/ada538756 ◽

2009 ◽

Author(s):

Stavros Tripakis ◽

Dai Bui ◽

Bert Rodiers ◽

Edward A. Lee

Keyword(s):

Code Generation ◽

Data Flow ◽

Synchronous Data Flow

Download Full-text

Availability analysis for synchronous data-flow graphs in mixed-criticality systems

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) ◽

10.1109/sies.2016.7509431 ◽

2016 ◽

Author(s):

Roberto Medina ◽

Etienne Borde ◽

Laurent Pautet

Keyword(s):

Data Flow ◽

Availability Analysis ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Flow Graphs ◽

Mixed Criticality

Download Full-text

Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow

2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation ◽

10.1109/icsamos.2007.4285747 ◽

2007 ◽

Author(s):

Joachim Keinert ◽

Christian Haubelt ◽

Jurgen Teich

Keyword(s):

Image Processing ◽

Data Flow ◽

Buffer Analysis ◽

Image Processing Algorithms ◽

Processing Algorithms ◽

Synchronous Data Flow ◽

Download Full-text

SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL

Proceedings Seventh Euromicro Workshop on Real-Time Systems ◽

10.1109/emwrts.1995.514309 ◽

2002 ◽

Author(s):

E. Rutten ◽

F. Martinez

Keyword(s):

Data Flow ◽

Time Intervals ◽

Synchronous Data Flow

Download Full-text