6059 search results - page 99 / 1212 » A Technique for Verifying Measurements |
191
click to vote
IMC
2006
ACM
16 years 5 days ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
155
click to vote
SIGCOMM
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a methodology for identifying the autonomous system (or systems) responsible when a routing change is observed and propagated by BGP. The origin of such a rout...
162
Voted
DAC
1998
ACM
15 years 10 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
234
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
156
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Time-of-flight mass spectrometry (TOF-MS) has the potential to provide non-invasive, high-throughput screening for cancers and other serious diseases via detection of ...