283 search results - page 36 / 57 » Error Detection Using BMC in a Parallel Environment |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
The advent of general purpose graphics processing units (GPGPU's) brings about a whole new platform for running numerically intensive applications at high speeds. Their multi-...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
The dynamic nature of a resource-sharing environment means that applications must be able to adapt their behavior in response to changes in system status. Predictions of future sy...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— A major challenge in the path of widespread use of mobile robots is the ability to function autonomously, learning useful features from the environment and using them to adapt ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We consider the problem of tracking a maneuvering target in urban terrain with high clutter. Although multipath has been previously exploited to improve target tracking in complex...
NDDL
2003
13 years 9 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...