32 search results - page 6 / 7 » Verification of K-step opacity and analysis of its complexit... |
DAC
2009
ACM
14 years 7 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
GLVLSI
2003
IEEE
13 years 12 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
SIGSOFT
2008
ACM
14 years 7 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
AES
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
CI
2000
13 years 6 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...