9210 search results - page 82 / 1842 » Analyzing Real-Time Systems |
USENIX
2001
13 years 10 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
ENTCS
2006
13 years 9 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
ENTCS
2006
13 years 9 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
COMSIS
2007
13 years 9 months ago
2007
Real-time human tracking is very important in surveillance and robot applications. We note that the performance of any human tracking system depends on its accuracy and its ability...
IJSEKE
1998
13 years 8 months ago
1998
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...