6059 search results - page 947 / 1212 » A Technique for Verifying Measurements |
166
click to vote
PASTE
2005
ACM
16 years 11 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
260
click to vote
SBCCI
2005
ACM
16 years 11 days ago
2005
ACM
In this paper it will be demonstrated, from the theory and measurements, that series-parallel (SP) mirrors allow building current copiers with copy factors of thousands, without d...
175
click to vote
SC
2005
ACM
16 years 11 days ago
2005
ACM
Parallel applications running on high-end computer systems manifest a complexity of performance phenomena. Tools to observe parallel performance attempt to capture these phenomena...
206
click to vote
SIGIR
2005
ACM
16 years 10 days ago
2005
ACM
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
153
click to vote
SMA
2005
ACM
16 years 10 days ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...