8874 search results - page 1617 / 1775 » A New Implementation of Automath |
156
click to vote
CF
2009
ACM
15 years 11 months ago
2009
ACM
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...
153
Voted
DOCENG
2009
ACM
15 years 11 months ago
2009
ACM
The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal coll...
150
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
This paper evaluates the input performance capabilities of Velocity Threshold (I-VT) and Kalman Filter (I-KF) eye movement detection models when employed for eye-gaze-guided inter...
139
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
159
click to vote
MOBICOM
2009
ACM
15 years 11 months ago
2009
ACM
Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has ...