Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte-Reference-Cited by-同舟云学术

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

Published:2012-06 Issue:2 Volume:16 Page:137-169
ISSN:0929-5585
Container-title:Design Automation for Embedded Systems
language:en
Short-container-title:Des Autom Embed Syst

Author:

Glitia Calin,DeAntoni Julien,Mallet Frédéric,Millo Jean-Vivien,Boulet Pierre,Gamatié Abdoulaye

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Software

Link

http://link.springer.com/content/pdf/10.1007/s10617-012-9093-y.pdf

Reference29 articles.

1. Abdallah A, Gamatié A, Dekeyser JL (2010) Correct and energy-efficient design of socs: the h.264 encoder case study. In: 2010 international symposium on system on chip (SoC), pp 115–120

2. Lecture notes in computer science;L Alfaro,2001

3. André C (2009) Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA. http://hal.inria.fr/inria-00384077/

4. Benveniste A, Le Guernic P, Jacquemot C (1991) Synchronous programming with events and relations: the SIGNAL language and its semantics. Sci Comput Program 16(2):103–149

5. Berry G (2000) The foundations of esterel. Proof, language and interaction: essays in honour of Robin Milner, pp 425–454

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints;Formal Aspects of Computing;2024-06-26

2. Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling;2018 IEEE Real-Time Systems Symposium (RTSS);2018-12

3. MARTE/CCSL for Modeling Cyber-Physical Systems;Formal Modeling and Verification of Cyber-Physical Systems;2015

4. Schedulability Analysis with CCSL Specifications;2013 20th Asia-Pacific Software Engineering Conference (APSEC);2013-12

5. Explicit routing schemes for implementation of cellular automata on processor arrays;Natural Computing;2013-05-25