558 search results - page 92 / 112 » Optimizing Symbolic Model Checking for Constraint-Rich Model... |
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
FORTE
2008
13 years 10 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
KI
2009
Springer
14 years 3 months ago
2009
Springer
Many practical optimization problems are constrained black boxes. Covariance Matrix Adaptation Evolution Strategies (CMA-ES) belong to the most successful black box optimization me...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...