283 search results - page 32 / 57 » Error Detection Using BMC in a Parallel Environment |
115
click to vote
ISPDC
2010
IEEE
15 years 7 days ago
2010
IEEE
We propose a two layer protocol for tracking fast targets in sensor networks. At the lower layer, the Distributed Spanning Tree Algorithm (DSTA) [12] partitions the network into c...
123
click to vote
ICS
2010
Tsinghua U.
15 years 25 days ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
154
click to vote
3DIM
2011
IEEE
14 years 2 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
104
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Network performance measurement and prediction is very important to predict the running time of high performance computing applications. The LogP model family has been proven to b...
114
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...