166 search results - page 26 / 34 » Effective static deadlock detection |
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
: This paper proposes a novel algorithm for calibrated multi-view stereopsis that outputs a (quasi) dense set of rectangular patches covering the surfaces visible in the input imag...
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
Optimization of a real world application BLAST is used to demonstrate the limitations of static and profile-guided optimizations and to highlight the potential of runtime optimiz...
EWSN
2010
Springer
13 years 11 months ago
2010
Springer
Sparse wireless sensor networks (WSNs) are being effectively used in several applications, which include transportation, urban safety, environment monitoring, and many others. Sens...
BMCBI
2005
13 years 8 months ago
2005
Background: Gene expression studies increasingly compare expression responses between different experimental backgrounds (genetic, physiological, or phylogenetic). By focusing on ...