WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model-Reference-Cited by-同舟云学术

WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

Published:2007-12 Issue:1-3 Volume:388 Page:26-52
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Geniet Dominique,Largeteau Gaëlle

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference37 articles.

1. DGA (French Arms Procurement Agency), ONERA (French aeronautics, and space research centre), International universities mini uav competition. Closed in September, 2005. http://concours-drones.onera.fr/

2. Using controller-synthesis techniques to build property-enforcing layers;Altisen,2003

3. A theory of timed automata;Alur;Theoretical Computer Science,1994

4. Automata for modeling real-time systems;Alur,1990

5. Times: A tool for schedulability analysis and code generation of real-time systems;Amnell,2003

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

1. Geometrical Closure of Binary $$V_{3/2}$$ Languages;Language and Automata Theory and Applications;2019

2. Geometrical regular languages and linear Diophantine equations: The strongly connected case;Theoretical Computer Science;2012-08

3. Decidability of Geometricity of Regular Languages;Developments in Language Theory;2012

4. Regular Geometrical Languages and Tiling the Plane;Implementation and Application of Automata;2011

5. Geometrical Regular Languages and Linear Diophantine Equations;Descriptional Complexity of Formal Systems;2011