8874 search results - page 1649 / 1775 » A New Implementation of Automath |
177
click to vote
VEE
2005
ACM
15 years 10 months ago
2005
ACM
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
143
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
The goal of augmented reality is to provide the user with a view of the surroundings enriched by virtual objects. Practically all augmented reality systems rely on standard realti...
137
click to vote
WIKIS
2005
ACM
15 years 10 months ago
2005
ACM
We have developed a new powerful group communication system qwikWeb, which is an integration of a WikiWikiWeb (wiki) and a mailing list system. Mailing lists are useful for exchan...
143
click to vote
WPES
2005
ACM
15 years 10 months ago
2005
ACM
Radio Frequency Identification (RFID) technology raises significant privacy issues because it enables tracking of items and people possibly without their knowledge or consent. O...
178
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...