Scheduling acyclic branching programs on parallel machines

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2004, Pages 208-217

  Bozga, Marius ^a   Kerbaa, Abdelkarim ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIRBUS; AUTOMOTIVE DOMAINS; COMPUTATION TIME; PARALLEL MACHINES; SCADE;

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; DATA PROCESSING; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; RADAR; REAL TIME SYSTEMS; SCHEDULING;

COMPUTER PROGRAMMING;

EID: 21644459333     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REAL.2004.50     Document Type: Conference Paper

References (22)

1. [A02] Y. Abdedaïm, Scheduling with Timed Automata, PhD Thesis, INTG, Grenoble, 2002.
2. [AAM03] Y. Abdeddaïm, E. Asarin and O. Maler, Scheduling with Timed Automata, Theoretical Computer Science to appear, 2004.
3. [AKM03] Y. Abdedaïm, A. Kerbaa and O. Maler, Task Graph Scheduling using Timed Automata, Proc. FMPPTA'03, 2003.
4. [AM02] Y. Abdeddaïm and O. Maler, Preemptive Job-Shop Scheduling using Stopwatch Automata, Proc. TACAS'02, 113-126, LNCS 2280, Springer, 2002.
5. [AGP99] K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A Framework for Scheduler Synthesis, Proc. RTSS'99, 154-163, IEEE, 1999.
6. [AD94] R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183-235, 1994.
7. +03] T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems, Proc. FORMATS'03, 2003.
8. [AM99] E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. HSCC'99,19-30, LNCS 1569, Springer, 1999.
9. [AMPS98] E. Asarin, O. Maler, A. Pnueli and J. Sifakis, Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, 469-474, Elsevier, 1998.
10. +01] G. Behrmann, A. Fehnker T.S. Hune, K.G. Larsen, P. Pettersson and J. Romijn, Efficient Guiding Towards Cost-Optimality in UPPAAL, Proc. TACAS 2001, 174-188, LNCS 2031, Springer, 2001.
11. +03] P. Caspi, A. Curic, A. Maignan, C. Sofronis and S. Tripakis, Translating Discrete-Time Simulink to Lustre, Proc. EMSOFT'03, 84-99, LNCS 2855, Springer, 2003.
12. +01] E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil and S. Yovine, TAXYS: a Tool for the Development and Verification of Real-Time Embedded Systems, Proc. CAV'01, LNCS 2102, Springer, 2001.
13. [HCRP91] N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud, The Synchronous Dataflow Programming Language LUSTRE, Proc. of the IEEE 79, 1305-1320, 1991.
14. [KI99] K.-Y. Kwong, A. Ishfaq, Benchmarking and Comparison of the Task Graph Scheduling, J. of Parallel and Distributed Computing 59, 381-422, 1999.
15. [KW02] A.A. Kountouris, Ch. Wolinski, Efficient Scheduling of Conditional Behaviors for High-Level Synthesis, ACM Transaction on Design Automation of Electronic Systems 7, 380-412, 2002.
16. [KY03] Ch. Kloukinas, and S. Yovine, Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems Proc. ECRTS'03, 2003.
17. [KB03] H. Kopetz and G. Bauer, The Time-Triggered Architecture, Proc. of the IEEE 91, 112-126, 2003.
18. [M04] O. Maler, On Optimal and Sub-optimal Control in the Presence of Adversaries, Proc. WODES'04, 1-12, 2004.
19. [N71] N. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGiraw-Hill, 1971.
20. [NTY00] P. Niebert, S. Tripakis and S. Yovine, Minimum-Time Reachability for Timed Automata, IEEE Mediteranean Control Conference, 2000.
21. [STY03] J. Sifakis, S. Tripakis and S. Yovine, Building Models of Real-time Systems from Application Software, Proceedings of the IEEE 91, 100-111, 2003.
22. [Z99] W. Zhang, State-Space Search: Algorithms, Complexity, Extensions and Applications, Springer 1999.