Sciweavers

3387 search results - page 41 / 678
» Model-Checking for Real-Time Systems
Sort
View
LCTRTS
1999
Springer
13 years 12 months ago
Performance Re-engineering of Embedded Real-Time Systems
Minsoo Ryu, Jungkeun Park, Kimoon Kim, Yangmin Seo...
RTSS
1998
IEEE
13 years 12 months ago
Proportional Share Scheduling of Operating System Services for Real-Time Applications
Kevin Jeffay, F. Donelson Smith, A. Moorthy, James...
RTSS
1992
IEEE
13 years 11 months ago
Monitoring Timing Constraints in Distributed Real-Time Systems
Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Ja...
SRDS
1995
IEEE
13 years 11 months ago
A Synchronization Strategy for a Time-Triggered Multicluster Real-Time System
Hermann Kopetz, Andreas Krüger, Dietmar Milli...