467 search results - page 74 / 94 » Detecting errors using multi-cycle invariance information |
134
click to vote
NFM
2011
14 years 9 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
144
Voted
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
We present a novel method for the automatic detection and segmentation of (sub-)cortical gray matter structures in 3-D magnetic resonance images of the human brain. Essentially, th...
150
click to vote
MOBICOM
2010
ACM
15 years 2 months ago
2010
ACM
Consider mobile targets moving in a plane and their movements being monitored by a network such as a field of sensors. We develop distributed algorithms for in-network tracking an...
209
click to vote
GIS
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we present algorithms for automatically generating a road network description from aerial imagery. The road network inforamtion (RNI) produced by our algorithm inclu...
115
click to vote
IOLTS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...