2550 search results - page 135 / 510 » Difference Decision Diagrams |
168
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We present a GPU-based algorithm for computing discretized distance functions on road networks. As applications, we provide algorithms for computing discrete Order-k Network Voron...
158
click to vote
OOPSLA
2009
Springer
16 years 29 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 ...
175
click to vote
ISCAS
2006
IEEE
16 years 13 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...
152
click to vote
ASPDAC
2006
ACM
16 years 11 days ago
2006
ACM
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...