3387 search results - page 274 / 678 » Model-Checking for Real-Time Systems |
163
click to vote
WISES
2004
15 years 8 months ago
2004
-- Due to the increasing demand for mobility in the area of distributed systems, the use of wireless communication gains in importance. We present a wireless real-time communicatio...
168
click to vote
RTDB
1997
15 years 8 months ago
1997
We present a new approach to implementing real-time transactions on memory-resident data on sharedmemory multiprocessors. This approach allows hard deadlines to be supported witho...
186
click to vote
RTDB
1996
15 years 8 months ago
1996
We are developing an object-oriented real-time database system that includes a relationally complete query language. Unlike conventional query optimizers, our optimizer estimates ...
202
click to vote
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present a hand posture recognition system (configuration and position) we designed as part of a gestural man-machine interface. After a simple image pre...
154
click to vote
CGF
2010
15 years 7 months ago
2010
We present an automatic image-recoloring technique for enhancing color contrast for dichromats whose computational cost varies linearly with the number of input pixels. Our approa...