4722 search results - page 743 / 945 » Encoding Program Executions |
138
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
127
click to vote
WIAS
2010
15 years 1 months ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...
165
click to vote
IPPS
2010
IEEE
15 years 23 days ago
2010
IEEE
The Coarse-Grained Monte Carlo (CGMC) method is a multi-scale stochastic mathematical and simulation framework for spatially distributed systems. CGMC simulations are important too...
129
click to vote
USS
2010
15 years 21 days ago
2010
Despite the widespread deployment of malwaredetection software, in many situations it is difficult to preemptively block a malicious program from infecting a system. Rather, signa...
125
click to vote
CASES
2009
ACM
15 years 20 days ago
2009
ACM
In this paper we address the issue of making a program reversible in terms of spatial complexity. Spatial complexity is the amount of memory/register locations required for perfor...