1138 search results - page 179 / 228 » Parallel Implementation of Constraint Solving |
NDSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
HPCA
2011
IEEE
13 years 17 days ago
2011
IEEE
Queues are commonly used in multithreaded programs for synchronization and communication. However, because software queues tend to be too expensive to support finegrained paralle...
CRV
2011
IEEE
12 years 8 months ago
2011
IEEE
— Algorithmic problem reduction is a fundamental approach to problem solving in many fields, including robotics. To solve a problem using this scheme, we must reduce the problem...
CVPR
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a novel method to obtain a 3D Euclidean reconstruction of both the background and moving objects in a video sequence. We assume that, multiple objects are moving rigidl...
COMPUTER
2007
13 years 8 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...