458 search results - page 29 / 92 » Symbolic Object Code Analysis |
WSC
2007
13 years 10 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
BIRTHDAY
2006
Springer
14 years 6 days ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
WCET
2010
13 years 6 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
We consider the problem of single image object motion deblurring from a static camera. It is well known that deblurring of moving objects using a traditional camera is ill-posed, d...