1179 search results - page 35 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
DAC
2009
ACM
16 years 23 days ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
105
click to vote
ICETE
2004
15 years 1 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
ASYNC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a decomposition method for speedindependent circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesi...
ICCAD
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents new test generation techniques for improving the average-case performance of the iterative logic array based deterministic sequential circuit test generation a...
76
Voted
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...