Statecharts: A visual formalism for complex systems
Science of Computer Programming
A proof of the Kahn principle for input/output automata
Information and Computation
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Information and Computation
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
The Book of Traces
Data-Flow Synchronous Languages
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Proceedings of the 4th ACM international conference on Embedded software
Concurrency in Synchronous Systems
Formal Methods in System Design
Automatic synthesis of extended burst-mode circuits. II. (Automatic synthesis)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Concurrency in Synchronous Systems
Formal Methods in System Design
Necessary and sufficient conditions for deterministic desynchronization
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Loosely time-triggered architectures based on communication-by-sampling
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Separate Compilation of Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Compositional design of isochronous systems
Proceedings of the conference on Design, automation and test in Europe
Electronic Notes in Theoretical Computer Science (ENTCS)
An Analysis of the Composition of Synchronous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A Survey of Desynchronization in a Polychronous Model of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Multithreaded code from synchronous programs: extracting independent threads for OpenMP
Proceedings of the Conference on Design, Automation and Test in Europe
Compositional design of isochronous systems
Science of Computer Programming
Modeling and validation of a software architecture for the ariane-5 launcher
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Programming parallelism with futures in lustre
Proceedings of the tenth ACM international conference on Embedded software
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Multi-threaded code generation from Signal program to OpenMP
Frontiers of Computer Science: Selected Publications from Chinese Universities
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
Journal of Systems Architecture: the EUROMICRO Journal
A formal framework for interfacing mixed-timing systems
Integration, the VLSI Journal
| Hi-index | 0.00 |
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems. The independence between various computations can be exploited here to provide communication schemes that do not restrict concurrency while still guaranteeing correctness. Such communication schemes are then lighter and more flexible than their latency-insensitive or endo/isochronous counterparts.