6607 search results - page 1120 / 1322 » Making TeX Work |
171
click to vote
ISLPED
2004
ACM
15 years 12 months ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
169
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
157
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
198
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
Today’s web is so huge and diverse that it arguably reflects the real world. For this reason, searching the web is a promising approach to find things in the real world. This ...
165
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
Today people typically read and annotate printed documents even if they are obtained from electronic sources like digital libraries. If there is a reason for them to share these p...