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

No abstract is available for this paper.

• Publication year

  2006

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  2006-01-11

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1111037.1111054
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Interconnect and Memory Organization in SOCs for Advanced Set-Top Boxes and TV

  2005cited by this paper
• Chapter 15 INTERCONNECT AND MEMORY ORGANIZATION IN SOCS FOR ADVANCED SET-TOP BOXES AND TV Evolution, Analysis, and Trends

  2005cited by this paper
• Synchronization of periodic clocks

  2005cited by this paper
• Interconnect and Memory Organization in SOCs for Advanced Set-Top Boxes and TV: Evolutin, Analysis and Trends

  2005cited by this paper
• Timing analysis model for network based multiprocessor systems.

  2004cited by this paper
• Towards a higher-order synchronous data-flow language

  2004cited by this paper
• POLYCHRONY for System Design

  2003cited by this paper
• Clocks as First Class Abstract Types

  2003influential reference
• Types and programming languages: the next generation

  2003influential reference
• The synchronous languages 12 years later

  2003cited by this paper
• Application-domain-driven system design for pervasive video processing

  2003influential reference
• StreamIt: A Language for Streaming Applications

  2002cited by this paper
• Embedded Control: From Asynchrony to Synchrony and Back

  2001cited by this paper
• Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems

  2001cited by this paper
• The foundations of Esterel

  2000cited by this paper
• YAPI: application modeling for signal processing systems

  2000cited by this paper
• COSY communication IP's

  2000cited by this paper
• The Synchronous Languages Twelve Years Later

  1997cited by this paper
• Simplifying subtyping constraints

  1996cited by this paper
• Synchronous Kahn networks

  1996cited by this paper
• On Circuits and Numbers

  1994cited by this paper
• Type inclusion constraints and type inference

  1993cited by this paper
• The synchronous data flow programming language LUSTRE

  1991cited by this paper
• Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics

  1991cited by this paper
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing

  1989cited by this paper
• Retiming synchronous circuitry

  1988influential reference
• Globally-asynchronous locally-synchronous systems

  1985cited by this paper
• The Semantics of a Simple Language for Parallel Programming

  1974influential reference

• Timetide: A Programming Model for Logically Synchronous Distributed Systems

  2025cites this paper
• Lustre, Fast First, and Fresh

  2025influential citation
• Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints

  2023cites this paper
• Semantics foundations of PsyC based on synchronous Logical Execution Time

  2023cites this paper
• The polychronous model of computation and Kahn process networks

  2023cites this paper
• The essence of online data processing

  2022cites this paper
• MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

  2020cites this paper
• PolyGraph: a data flow model with frequency arithmetic

  2020cites this paper
• 1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom

  2020cites this paper
• Online Signal Monitoring With Bounded Lag

  2020cites this paper
• Scheduling of Synchronous Dataflow Graphs with Partially Periodic Real-Time Constraints

  2020cites this paper
• A Data Flow Model with Frequency Arithmetic

  2019cites this paper
• A timeless model for the verification of quasi-periodic distributed systems

  2019cites this paper
• INSTITUT FÜR INFORMATIK A Sequentially Constructive Circuit Semantics for Esterel

  2018cites this paper
• On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems—A Sequentially Constructive Circuit Semantics for Esterel

  2018cites this paper
• A Generalized Modality for Recursion

  2018cites this paper
• Formal Methods for Schedulings of Latency-Insensitive Designs

  2018cites this paper
• A Synchronous Approach to Quasi-Periodic Systems

  2017cites this paper
• A synchronous functional language with integer clocks

  2016influential citation
• Soundness of the quasi-synchronous abstraction

  2016cites this paper
• Parameterized Dataflow (Extended Abstract)

  2016cites this paper
• Liquid Clocks - Refinement Types for Time-Dependent Stream Functions

  2015cites this paper
• Heuristic algorithm for periodic clock optimisation in scheduling-based latency-insensitive design

  2015cites this paper
• Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures

  2015cites this paper
• From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation

  2015cites this paper
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

  2015cites this paper
• Achieving self-aware parallelism in stream programs

  2014cites this paper
• Réseaux de Kahn à rafales et horloges entières

  2014cites this paper
• Rate types for stream programs

  2014cites this paper
• Formal Techniques for Component-based Design of Embedded Systems

  2014cites this paper
• Space optimal solution for data reordering in streaming applications on NoC based MPSoC

  2013cites this paper
• Project-Team AOSTE Models and methods of analysis and optimization for systems with real-time and embedding constraints

  2013cites this paper
• Explicit routing schemes for implementation of cellular automata on processor arrays

  2013cites this paper
• Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems. (Vérification de propriétés faiblement dures des systèmes quasi-synchrones)

  2013cites this paper
• THÈSE / UNIVERSITÉ DE RENNES 1 sous le sceau de l'Université Européenne de Bretagne pour le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique

  2013cites this paper
• A correlation preserving performance analysis for stream processing systems

  2012cites this paper
• Static Sessional Dataflow

  2012cites this paper
• Design of streaming applications on MPSoCs using abstract clocks

  2012cites this paper
• Sessional dataflow: short paper

  2012cites this paper
• Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n

  2012cites this paper
• Design space exploration in application-specific hardware synthesis for multiple communicating nested loops

  2012cites this paper
• Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip

  2012cites this paper
• Transformation-Based Exploration of Data Parallel Architecture for Customizable Hardware: A JPEG Encoder Case Study

  2012cites this paper
• Calcul d'horloges

  2012cites this paper
• Intel Concurrent Collections for Haskell

  2011cites this paper
• Specification of Data Intensive Applications with Data Dependency and Abstract Clocks

  2011cites this paper
• Static scheduling of Latency Insensitive Designs with Lucy-n

  2011cites this paper
• Project-Team aoste Models and methods of analysis and optimization for systems with real-time and embedding constraints

  2011cites this paper
• Synthèse d ’ implantations multi-thread concurrentes à partir de programmes multi-horloges

  2011cites this paper
• Multi-task Implementation of Multi-periodic Synchronous Programs

  2011cites this paper
• From concurrent multi-clock programs to concurrent multi-threaded implementations

  2011cites this paper
• From Cyclo-Static Process Networks to Code Generation for Multidimensional Software Pipelining. (Des réseaux de processus cyclo-statiques à la génération de code pour le pipeline multi-dimensionnel)

  2011cites this paper
• Throughput Optimization by Software Pipelining of Conditional Reservation Tables

  2011cites this paper
• From design-time concurrency to effective implementation parallelism: The multi-clock reactive case

  2011cites this paper
• Formal Approaches to Globally Asynchronous and Locally Synchronous Design

  2011influential citation
• Design space exploration for efficient data intensive computing on SoCs

  2011cites this paper
• Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE. (Clock Based SoC Design, Towards a Design Space Exploration in MARTE)

  2011cites this paper
• Modélisation des systèmes synchrones en BIP

  2011cites this paper
• Distributed Real-Time Scheduling Optimization using Software Pipelining techniques

  2011cites this paper
• Lucy-n : une extension n-synchrone de Lustre

  2010cites this paper
• Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering)

  2010cites this paper
• A real-time architecture design language for multi-rate embedded control systems

  2010cites this paper
• ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance

  2010cites this paper
• Lucy-n: a n-Synchronous Extension of Lustre

  2010influential citation
• Typage des horloges périodiques en Lucy-n

  2010cites this paper
• Intel Concurrent Collections for Haskell Ryan Newton

  2010influential citation
• Minimizing back pressure for latency insensitive system synthesis

  2010cites this paper
• 42, A Component-Based Approach to Virtual Prototyping of Heterogeneous Embedded Systems. (42, Une Approche à Composants pour le Prototypage Virtuel des Systèmes Embarqués Hétérogènes)

  2010cites this paper
• Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués. (Dataflow Process Networks with Routing for Modeling Embedded Systems)

  2010cites this paper
• Correct and energy-efficient design of SoCs: The H.264 encoder case study

  2010cites this paper
• From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations

  2010cites this paper
• The Time Model of Logical Clocks Available in the OMG MARTE Profile

  2010cites this paper
• Formal Modeling of Embedded Systems with Explicit Schedules and Routes

  2010cites this paper
• Normal Forms and Equivalence of K-periodically Routed Graphs

  2010cites this paper
• Logical Time in Model-Driven Engineering

  2010cites this paper
• On the Semantics of UML/MARTE Clock Constraints

  2009cites this paper
• Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus

  2009influential citation
• A constructive denotational semantics for Kahn networks in Coq

  2009cites this paper
• Specification and verification of time requirements with CCSL and Esterel

  2009cites this paper
• A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. (Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples)

  2009cites this paper
• Combining CCSL and Esterel to specify and verify time requirements

  2009cites this paper
• Abstraction d'horloges dans les systemes synchrones flot de donnees

  2009cites this paper
• Relaxing Synchronous Composition with Clock Abstraction

  2009cites this paper
• Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences. (Static scheduling in process networks : application to latency insentitive design)

  2008influential citation
• Analysis of Periodic Clock Relations in Polychronous Systems

  2008influential citation
• Synchronous Functional Programming : The Lucid Synchrone Experiment ∗

  2008cites this paper
• Abstraction of Clocks in Synchronous Data-Flow Systems

  2008influential citation
• Compositionality of Statically Scheduled IP

  2008cites this paper
• Modeling and Formal Validation of High-Performance Embedded Systems

  2008cites this paper
• A Multi-Periodic Synchronous Data-Flow Language

  2008cites this paper
• Modeling AADL Data Communications with UML MARTE

  2008influential citation
• Kahn-extended Event Graphs

  2008cites this paper
• Synchronous Paradigm in Embedded Systems

  2007cites this paper
• Formal Methods for Scheduling of Latency-Insensitive Designs

  2007cites this paper
• Modeling of immediate vs. delayed data communications: from AADL to UML Marte

  2007cites this paper
• Statically scheduled Process Networks

  2007influential citation
• A multiform time approach to real-time system modeling; Application to an automotive system

  2007cites this paper
• Vers des transformations d'applications à parallélisme de données en équations synchrones

  2006cites this paper
• Latency Insensitive Design : Dynamic and static scheduling with proper formal devices

  2006cites this paper
• Latency-insensitive design and central repetitive scheduling

  2006cites this paper