1911 search results - page 135 / 383 » Program analysis for code duplication in logic programs |
124
click to vote
ICICS
2004
Springer
15 years 10 months ago
2004
Springer
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...
134
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
137
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
166
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
142
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...