126 search results - page 15 / 26 » Hierarchical Set Decision Diagrams and Regular Models |
102
Voted
LISA
2007
15 years 2 months ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
120
Voted
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
112
click to vote
ICCAD
2002
IEEE
15 years 9 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...
113
Voted
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...