2029 search results - page 76 / 406 » informs 2002 |
TOIS
2002
14 years 10 months ago
2002
Data archiving systems rely on replication to preserve information. This paper discusses how a network of autonomousarchiving sites can trade data to achievethe most reliable repl...
TOPLAS
2002
14 years 10 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
121
click to vote
WINET
2002
14 years 10 months ago
2002
In this paper, we present a family of adaptive protocols, called SPIN (Sensor Protocols for Information via Negotiation), that efficiently disseminate information among sensors in ...
108
click to vote
MICCAI
2002
Springer
16 years 2 days ago
2002
Springer
An inter-modality registration algorithm that uses textured point clouds and mutual information is presented within the context of a new physical-space to image-space registration ...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a new method of built-in-self-test (BIST) for sequential circuits and system-on-a-chip (SOC) using characteristic faults and circuitspeciļ¬c spectral information in th...