5144 search results - page 876 / 1029 » Enhancing Search with Structure |
155
Voted
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
144
click to vote
ISPD
1999
ACM
15 years 9 months ago
1999
ACM
The sequence-pair was proposed in 1994 as a representation of the packing of rectangles of general structure. Since then, there have been e orts to expand its applicability over s...
184
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
156
click to vote
FPGA
1999
ACM
15 years 9 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
164
click to vote
VISUALIZATION
1999
IEEE
15 years 9 months ago
1999
IEEE
Our ability to accumulate large, complex (multivariate) data sets has far exceeded our ability to effectively process them in search of patterns, anomalies, and other interesting ...