487 search results - page 63 / 98 » Implementation Correctness of a Real-Time Operating System |
USS
2008
13 years 11 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...
SIMPRA
1998
13 years 8 months ago
1998
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
ACMACE
2005
ACM
14 years 2 months ago
2005
ACM
There have been a number of interactive games created for Augmented Reality (AR) environments. In this paper, interaction techniques to support Real-Time Strategy (RTS) games in A...
JIRS
2010
13 years 7 months ago
2010
Abstract Localization is a key issue for a mobile robot, in particular in environments where a globally accurate positioning system, such as GPS, is not available. In these environ...
TECS
2010
13 years 7 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...