Sciweavers

20126 search results - page 251 / 4026
» Timed Transition Systems
Sort
View
RSP
2000
IEEE
121views Control Systems» more  RSP 2000»
15 years 9 months ago
Embedded System Architecture Design Based on Real-Time Emulation
Carsten Nitsch, Karlheinz Weiß, Thorsten Ste...
LCTRTS
1999
Springer
15 years 8 months ago
Performance Re-engineering of Embedded Real-Time Systems
Minsoo Ryu, Jungkeun Park, Kimoon Kim, Yangmin Seo...
RTSS
1998
IEEE
15 years 8 months ago
Proportional Share Scheduling of Operating System Services for Real-Time Applications
Kevin Jeffay, F. Donelson Smith, A. Moorthy, James...
RTSS
1993
IEEE
15 years 8 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang