3387 search results - page 47 / 678 » Model-Checking for Real-Time Systems |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a scalable, hierarchical control system for the dynamic resource management of a distributed real-time embedded (DRE) system. This DRE is inspired by the DARPA Adaptive...
RTSS
2003
IEEE
14 years 27 days ago
2003
IEEE
—Many real-time systems have firm real-time requirements which allow occasional deadline violations but discard any jobs that are not finished by their deadlines. To measure the ...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...
IWSOC
2003
IEEE
14 years 27 days ago
2003
IEEE
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...
HICSS
1998
IEEE
13 years 12 months ago
1998
IEEE
The last several years saw an emergence of standardization activities for real-time systems including standardization of operating systems series of POSIX standards 1 , of communi...