2673 search results - page 475 / 535 » Guided Static Analysis |
129
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
154
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
149
click to vote
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
120
click to vote
SIAMFM
2011
14 years 6 months ago
2011
As shown by the recent turmoil in credit markets, much remains to be done for the proper risk management of credit derivatives. In particular, the static copula-based models commo...
169
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Background modelling on tensor field has recently been proposed for foreground detection tasks. Taking into account the Riemannian structure of the tensor manifold, recent resear...