4609 search results - page 874 / 922 » Automatic Generation of Sigma-Protocols |
103
click to vote
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...
116
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— Finding the k nearest neighbors (kNN) of a query point, or a set of query points (kNN-Join) are fundamental problems in many application domains. Many previous efforts to solve...
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
113
click to vote
ISBMS
2010
Springer
15 years 6 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...