27 search results - page 4 / 6 » Automatic Abstraction in Symbolic Trajectory Evaluation |
107
click to vote
CCS
2010
ACM
15 years 6 hour ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
101
click to vote
VLSID
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
105
click to vote
FCCM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
136
click to vote
PAMI
2008
15 years 1 months ago
2008
Abstract-- We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. Our approac...
105
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....