Article

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering

Authors:

ProCoS: Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems

Pages 547 - 566

Published: 19 September 1994 Publication History

Abstract

No abstract available.

Cited By

View all

(2015)Towards refinement types for time-dependent data-flow networksProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340465(36-41)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1109/MEMCOD.2015.7340465
(2014)Optimized distribution of synchronous programs via a polychronous modelProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961842(42-51)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1109/MEMCOD.2014.6961842
Lublinerman RSzegedy CTripakis S(2009)Modular code generation from synchronous block diagramsACM SIGPLAN Notices10.1145/1594834.148089344:1(78-89)Online publication date: 21-Jan-2009
https://dl.acm.org/doi/10.1145/1594834.1480893
Show More Cited By

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering
1. Hardware
  1. Communication hardware, interfaces and storage

Recommendations

Implementation of hierarchical F-channels for high-performance distributed computing

High performance distributed computing systems require high performance communication systems. F-channels and Hierarchical F-channels address this need by permitting a high level of concurrency like non-FIFO channels while retaining the simplicity of ...
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their resources. This mapping comprises both temporal scheduling and spatial allocation ...
Toward distributed schedulers for distributed computer systems

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ProCoS: Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems

September 1994

787 pages

ISBN:3540584684

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 19 September 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

(2015)Towards refinement types for time-dependent data-flow networksProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340465(36-41)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1109/MEMCOD.2015.7340465
(2014)Optimized distribution of synchronous programs via a polychronous modelProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961842(42-51)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1109/MEMCOD.2014.6961842
Lublinerman RSzegedy CTripakis S(2009)Modular code generation from synchronous block diagramsACM SIGPLAN Notices10.1145/1594834.148089344:1(78-89)Online publication date: 21-Jan-2009
https://dl.acm.org/doi/10.1145/1594834.1480893
Lublinerman RSzegedy CTripakis SShao ZPierce B(2009)Modular code generation from synchronous block diagramsProceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1480881.1480893(78-89)Online publication date: 21-Jan-2009
https://dl.acm.org/doi/10.1145/1480881.1480893
Lublinerman RTripakis SSciuto D(2008)Modularity vs. reusabilityProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403736(1504-1509)Online publication date: 10-Mar-2008
https://dl.acm.org/doi/10.1145/1403375.1403736
(2008)On the Deterministic Multi-threaded Software Synthesis from Polychronous SpecificationsProceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.1109/MEMCOD.2008.4547700(129-138)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1109/MEMCOD.2008.4547700
Bouyssounouse BSifakis J(2005)Tools for programming, code generation, and designEmbedded Systems Design10.5555/2137690.2137697(63-71)Online publication date: 1-Jan-2005
https://dl.acm.org/doi/10.5555/2137690.2137697
Mousavi MLe Guernic PTalpin JShukla SBasten T(2004)Modeling and Validating Globally Asynchronous Design in Synchronous FrameworksProceedings of the conference on Design, automation and test in Europe - Volume 110.5555/968878.969070Online publication date: 16-Feb-2004
https://dl.acm.org/doi/10.5555/968878.969070
Boussinot Fde Simone R(1996)The SL Synchronous LanguageIEEE Transactions on Software Engineering10.1109/32.49164922:4(256-266)Online publication date: 1-Apr-1996
https://dl.acm.org/doi/10.1109/32.491649

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Implementation of hierarchical F-channels for high-performance distributed computing

Clock-driven distributed real-time implementation of endochronous synchronous programs

Toward distributed schedulers for distributed computer systems

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations