1186 search results - page 193 / 238 » On Designing an Experiment to Evaluate a Reverse Engineering... |
VSTTE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
CAV
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
JDA
2006
13 years 10 months ago
2006
In this paper, we survey fully dynamic algorithms for path problems on general directed graphs. In particular, we consider two fundamental problems: dynamic transitive closure and...
IV
2002
IEEE
14 years 3 months ago
2002
IEEE
Information visualization, aided by ever more accessible computational resources, continues to grow in popularity and significance. The capability to generate complex imagery by ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...