3387 search results - page 73 / 678 » Model-Checking for Real-Time Systems |
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
HASE
1997
IEEE
14 years 1 months ago
1997
IEEE
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...
ISSS
1996
IEEE
14 years 1 months ago
1996
IEEE
Traditionally, application specific computations have been focusing on numerically intensive data manipulation. Modern communications and DSP applications, such as WWW, interactiv...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents the design and implementation of a real-time behavior profiling system for high-speed Internet links. The profiling system uses flow-level information from con...
HYBRID
1995
Springer
14 years 1 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...