3387 search results - page 36 / 678 » Model-Checking for Real-Time Systems |
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
TC
2002
13 years 7 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
ADAEUROPE
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
IDMS
1997
Springer
13 years 11 months ago
1997
Springer
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
RTCSA
2003
IEEE
14 years 26 days ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...