5831 search results - page 446 / 1167 » Distributed Dynamic Backtracking |
133
click to vote
GRID
2010
Springer
15 years 2 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
188
click to vote
TSE
2010
14 years 11 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
132
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
We address the problem of registering a sequence of images in a moving dynamic texture video. This involves optimization with respect to camera motion, the average image, and the ...
137
click to vote
CD
2004
Springer
15 years 10 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
251
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...