46 search results - page 7 / 10 » Cycle-based Simulation with Decision Diagrams |
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
CDES
2007
15 years 1 months ago
2007
—Fault collapsing is the process of reducing the number of faults by using redundance and equivalence/dominance relationships among faults. Exact global fault collapsing can be e...
112
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
104
click to vote
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
104
Voted
ADHOCNETS
2009
Springer
15 years 6 months ago
2009
Springer
Topology control is the problem of assigning powers to the nodes of an ad hoc network so as to create a specified network topology while minimizing the energy consumed by the netw...