1159 search results - page 127 / 232 » Binary Decision Graphs |
156
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
140
click to vote
DSD
2007
IEEE
16 years 22 days ago
2007
IEEE
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
147
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
— An exact closed-form expression is derived for the average bit-error probability (BEP) of binary phase-shift keying signals with multiple-antenna reception. We consider maximal...
184
click to vote
FCT
2007
Springer
16 years 16 days ago
2007
Springer
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...
175
click to vote
ISCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...