6059 search results - page 1039 / 1212 » A Technique for Verifying Measurements |
158
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
178
click to vote
TALG
2010
15 years 1 months ago
2010
We initiate the study of error confinement in distributed applications, where the goal is that only nodes that were directly hit by a fault may deviate from their correct external...
185
click to vote
TC
2010
15 years 1 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
176
Voted
TCIAIG
2010
15 years 1 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
188
click to vote
TIT
2010
15 years 1 months ago
2010
We investigate error-correcting codes for a the rank-modulation scheme with an application to flash memory devices. In this scheme, a set of n cells stores information in the permu...