7557 search results - page 97 / 1512 » Modeling Timed Concurrent Systems |
103
click to vote
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
127
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
DAIS
2003
15 years 2 months ago
2003
Abstract. By locally caching data, mobile hosts can operate while disconnected from the central server, however, consistency of data becomes more difficult to maintain. In this pap...
108
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
203
click to vote
ICDE
1999
IEEE
16 years 2 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...