7262 search results - page 1326 / 1453 » Reversible Computer Hardware |
177
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Single System Image (SSI) Distributed Operating Systems have been the subject of increasing interest in recent years. This interest has been fueled primarily by the trend towards ...
213
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
167
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
Terrain visualization is a difficult problem for applications requiring accurate images of large datasets at high frame rates, such as flight simulation and ground-based aircraf...
195
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Accurate registration between real and virtual objects is crucial for augmented reality applications. Existing tracking methods are individually inadequate: magnetic trackers are ...
173
click to vote
ANCS
2007
ACM
15 years 10 months ago
2007
ACM
Network operators need high-capacity router architectures that can offer scalability, provide throughput and performance guarantees, and maintain packet ordering. However, previou...