N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

DOI10.1145/1111037.1111054MaRDI QIDQ5348923zbMATH OpenOpenAlexFDO

Authors Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Publication date 21 August 2017

Published in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1111037.1111054

zbMATH Keywords

correctness by constructionresource constraintsstreaming applicationssubtypingsynchronous languages

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• Synchronous Kahn networks
• Lucy-n: a n-Synchronous Extension of Lustre
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Clocks in dataflow languages
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(10)

• Asynchronous stream processing with S-Net
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Explicit routing schemes for implementation of cellular automata on processor arrays
• Synchronous Kahn networks
• Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n
• Static analysis of run-time modes in Kahn process networks
• scientific article; zbMATH DE number 2090575 (Why is no real title available?)
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Multi-task implementation of multi-periodic synchronous programs
• Parameterized dataflow (extended abstract)

This page was built for publication: \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348923)