6059 search results - page 218 / 1212 » A Technique for Verifying Measurements |
178
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
163
click to vote
WD
2010
15 years 4 months ago
2010
Energy consumption in general and interference in particular are among the most critical issues in wireless networks. In this paper we present the E-BUM calculus, a Energy-aware ca...
195
click to vote
ISSTA
2004
ACM
16 years 1 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
186
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. With computer networks spreading into a variety of new environments, the need to authenticate and secure communication grows. Many of these new environments have particul...
159
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a novel method to quantitatively analyze confocal microscope images of retinas. We automatically detect nuclei within the outer nuclear layer (ONL) in a retinal image. ...