Efficient compilation of process-based concurrent programs without run-time scheduling

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1998, Pages 211-217

  Lin, Bill ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILE TIME; CONCURRENT PROGRAM; EMBEDDED APPLICATION; INTERPROCESS COMMUNICATION; MEMORY RESOURCES; PROCESS-BASED; RUN-TIME SCHEDULING; STATIC COMPILATION;

PETRI NETS;

SCHEDULING;

EID: 84893782961     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1998.655859     Document Type: Conference Paper

References (19)

1. A. V. Aho et al. Compilers-principles, techniques, and tools, Reading: Addison-Wesley, 1986.
2. G. Berry et al. "The synchronous approach to reactive and real-time systems", IEEE Proceedings, 1991.
3. J. T. Buck et al. "Ptolemy: A framework for simulating and prototyping heterogeneous systems", International Journal on Computer Simulation, January 1994.
4. R. Camposano and W. Wolf (editors), Trends in High-Level Synthesis, Kluwer Academic Publishers, 1993.
5. G. de Jong, B. Lin. "A communicating Petri net model for the design of concurrent asynchronous modules", ACM/IEEE Design Automation Conference, 1994.
6. H. De Man, F. Catthoor, G. Goossens, J. Vanhoof, J. Van Meerbergen, S. Note, J.A. Huisken, "Architecture-driven synthesis techniques for VLSI implementation of DSP algorithms", Proceedings of IEEE, vol.72, no.2, pp.319-335, February 1990.
7. P. Godefroid, P. Wolper. "Using partial orders for the efficient verification of deadlock freedom and safety properties", Lecture Notes in Computer Science, 575(10):332-342, July 1991.
8. G. Goossens et al. "Embedded Software in Real-Time Signal Processing Systems: Design Technologies", Proceedings of the IEEE, special issue on Hardware/Software Co-Design, 1997.
9. R. K. Gupta. "Hardware-software cosynthesis of microcontrollers", Proc. Codes/CASHE, 1996.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
11. B. W. Kernighan, D. M. Ritchie. The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey, 1978.
12. Z. Kohavi. Switching and Finite Automata Theory. McGraw Hill, 1978.
13. P. G. Paulin et al. "Trends in embedded system technology: an industrial perspective", Hardware/Software Co-Design, G. DeMicheli, M. Sami, Editors, Boston: Kluwer Academic Publishers, 1996.
14. J.L. Peterson. Petri net Theory and Modeling of Systems, Prentice Hall, 1981.
15. R. L. Rivest. "The RC5 Encryption Algorithm", Proceedings of the 1994 Leuven Workshop on Algorithms, Springer-Verslag, 1994.
16. R. M. Stallman, Using and porting GNU CC, Free Software Foundation, June 1993.
17. F. Thoen et al. "Real-time multi-tasking in software synthesis for information processing systems", Proc. of ISSS95, 1995.
18. A. Valmari. "A stubborn attack on state explosion", Proc. of 2nd Workshop on Computer-Aided Verification, pages 156-165, June 1990.
19. S. Vercauteren et al. "Derivation of formal representations from process-based specification and implementation models", Proc. of ISSS97, September 1997.