2673 search results - page 345 / 535 » Guided Static Analysis |
153
Voted
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
123
click to vote
AES
2000
Springer
15 years 9 months ago
2000
Springer
Of the five AES finalists four—MARS, RC6, Rijndael, Twofish— have not only (expected) good security but also exceptional performance on the PC platforms, especially on those...
109
click to vote
IWPC
1999
IEEE
15 years 9 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
183
click to vote
CAIP
1993
Springer
15 years 9 months ago
1993
Springer
A robust method is introduced for computing the camera motion (the ego-motion) in a static scene. The method is based on detecting a single planar surface in the scene directly fro...
138
Voted
ICSE
1994
IEEE-ACM
15 years 9 months ago
1994
IEEE-ACM
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...