3387 search results - page 147 / 678 » Model-Checking for Real-Time Systems |
196
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
QeDB is a database for data-intensive real-time applications running on flash memory-based embedded systems. Currently, databases for embedded systems are best effort, providing ...
179
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even in the uniprocessor case, no polynomial time algorithm can test the feasibility ...
186
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In multiprocessor systems, the traffic on the bus does not solely originate from data transfers due to data dependencies between tasks, but is also affected by memory transfers a...
228
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
173
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Ethernet, the most widely used commodity network, increasingly moves toward switches as implementation technology thus replacing busses. This allows to use traf