57 search results - page 5 / 12 » Hardware-software coverification of concurrent embedded real... |
DAC
1994
ACM
13 years 10 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
RTCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
RTCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
ENTCS
2006
13 years 6 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...