748 search results - page 29 / 150 » Meeting real-time constraints using |
186
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
176
click to vote
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
150
click to vote
IEEEPACT
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a multithreaded Java microcontroller-called Komodo microcontroller--with a new hardware event handling mechanism that allows handling of simultaneous overlapping events...
185
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...
216
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....