[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/823453.823827acmconferencesArticle/Chapter ViewAbstractPublication PagesmemocodeConference Proceedingsconference-collections
Article

From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations

Published: 24 June 2003 Publication History

Abstract

This paper presents a seamless flow of transformationswhich performs dedicated distributed executive generationfrom a high level specification of a pair: algorithm, architecture. This work is based upon graph models andgraph transformations and is part of the AAA methodology.We present an original architecture model which allowsto perform accurate sequencer modeling, memory allocation,and heterogeneous inter-processor communications for both modes shared memory and message passing. Then we present the flow of transformations that leads to the automatic generation of dedicated real-time distributed executives which are deadlock free. This transformation flow has been implemented in a system level CAD software tool called SynDEx.

Cited By

View all
  • (2018)Reproducible Evaluation of System Efficiency With a Model of ArchitectureIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2017.277482237:10(2050-2063)Online publication date: 1-Oct-2018
  • (2018)LVQ neural network optimized implementation on FPGA devices with multiple-wordlength operations for real-time systemsNeural Computing and Applications10.1007/s00521-016-2465-729:2(509-528)Online publication date: 1-Jan-2018
  • (2014)Predicate-aware, makespan-preserving software pipelining of scheduling tablesACM Transactions on Architecture and Code Optimization10.1145/257967611:1(1-26)Online publication date: 1-Feb-2014
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
MEMOCODE '03: Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
June 2003
ISBN:0769519237

Sponsors

Publisher

IEEE Computer Society

United States

Publication History

Published: 24 June 2003

Check for updates

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 34 of 82 submissions, 41%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2018)Reproducible Evaluation of System Efficiency With a Model of ArchitectureIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2017.277482237:10(2050-2063)Online publication date: 1-Oct-2018
  • (2018)LVQ neural network optimized implementation on FPGA devices with multiple-wordlength operations for real-time systemsNeural Computing and Applications10.1007/s00521-016-2465-729:2(509-528)Online publication date: 1-Jan-2018
  • (2014)Predicate-aware, makespan-preserving software pipelining of scheduling tablesACM Transactions on Architecture and Code Optimization10.1145/257967611:1(1-26)Online publication date: 1-Feb-2014
  • (2013)Exploring system architectures in AADL via Polychrony and SynDExFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-013-2307-z7:5(627-649)Online publication date: 1-Oct-2013
  • (2011)From Concurrent Multi-clock Programs to Deterministic Asynchronous ImplementationsFundamenta Informaticae10.5555/2362088.2362094108:1-2(91-118)Online publication date: 1-Jan-2011
  • (2011)A Model-Driven Design Framework for Massively Parallel Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/2043662.204366310:4(1-36)Online publication date: 1-Nov-2011
  • (2010)Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architecturesProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879048(199-208)Online publication date: 24-Oct-2010
  • (2009)Sealable compile-time scheduler for multi-core architecturesProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874991(1552-1555)Online publication date: 20-Apr-2009
  • (2009)An open framework for rapid prototyping of signal processing applicationsEURASIP Journal on Embedded Systems10.1155/2009/5985292009(3-3)Online publication date: 1-Jan-2009
  • (2009)Clock-driven distributed real-time implementation of endochronous synchronous programsProceedings of the seventh ACM international conference on Embedded software10.1145/1629335.1629356(147-156)Online publication date: 12-Oct-2009
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media