Title :
Task scheduling with RT constraints
Author :
Natale, M. Di ; Sangiovanni-Vincentelli, A. ; Balarin, F.
Author_Institution :
Universita degli Studi di Pisa
Keywords :
Automata; Communication system control; Computer aided software engineering; Embedded system; Formal specifications; Permission; Processor scheduling; Production; Real time systems; Scheduling algorithm;
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
DOI :
10.1109/DAC.2000.855359
