3909 search results - page 21 / 782 » Extreme Model Checking |
ECCV
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on both an explicit parameterization of the extremal contours...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
108
click to vote
ISSTA
2012
ACM
13 years 3 days ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
PPPJ
2006
ACM
15 years 3 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...