4722 search results - page 257 / 945 » Encoding Program Executions |
182
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
With the discovery of new exploit techniques, new protection mechanisms are needed as well. Mitigations like DEP (Data Execution Prevention) or ASLR (Address Space Layout Randomiz...
180
click to vote
LISP
2008
15 years 6 months ago
2008
This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
167
click to vote
IJISTA
2007
15 years 6 months ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
166
click to vote
JUCS
2007
15 years 6 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
175
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...