854 search results - page 36 / 171 » Timing coverification of concurrent embedded real-time syste... |
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
SCOPES
2004
Springer
15 years 3 months ago
2004
Springer
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
VLSID
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents Frame Based Fair Multiprocessor Scheduler (FBFMS) which provides accurate real-time proportional fair scheduling for a set of dynamic tasks on a symmetric mult...
ISSS
1999
IEEE
15 years 2 months ago
1999
IEEE
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.