112 search results - page 5 / 23 » Ordered Binary Decision Diagrams and the Davis-Putnam Proced... |
ISMVL
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
EOR
2011
13 years 4 months ago
2011
A simple game is a pair consisting of a finite set N of players and a set W ⊆ 2N of winning coalitions. (Vector-)weighted majority games ((V)WMG) are a special case of simple ga...
MICRO
2000
IEEE
14 years 19 days ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
TSMC
2008
2008
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
13 years 9 months ago
Abstract--Reliability and sensitivity analysis is a key component in the design, tuning, and maintenance of network systems. Tremendous research efforts have been expended in this ...