231 search results - page 34 / 47 » Mu-calculus path checking |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor ne...
NSDI
2008
15 years 1 months ago
2008
The broadcast nature of wireless networks is the source of both their utility and much of their complexity. To turn what would otherwise be unwanted interference into an advantage...
122
click to vote
CG
2007
Springer
14 years 11 months ago
2007
Springer
We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...
IEICET
2006
14 years 11 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
189
click to vote
ICDE
2006
IEEE
16 years 18 days ago
2006
IEEE
A k-NN query finds the k nearest-neighbors of a given point from a point database. When it is sufficient to measure object distance using the Euclidian distance, the key to effici...