3387 search results - page 69 / 678 » Model-Checking for Real-Time Systems |
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
ICDCS
1997
IEEE
14 years 1 months ago
1997
IEEE
Load balancing is often used to ensure that nodes in a distributed systems are equally loaded. In this paper, we show that for real-time systems, load balancing is not desirable. ...
DICTA
2007
13 years 11 months ago
2007
Smart Cameras are becoming more popular in Intelligent Surveillance Systems area. Recognizing faces in a crowd in real-time is a key features which would significantly enhance Int...
DAIS
2008
13 years 11 months ago
2008
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, t...
TKDE
2002
13 years 9 months ago
2002
