4305 search results - page 527 / 861 » Analysing Protocol Implementations |
194
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—Collaborative spectrum sensing has been regarded as a promising approach to enable secondary users to detect primary users by exploiting spatial diversity. In this paper, we con...
158
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
127
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...
144
Voted
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
We study retinal curvature estimation from multiple images that provides the fundamental geometry of human retina. We use an affine camera model due to its simplicity, linearity, ...
140
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...