647 search results - page 89 / 130 » Generation of BDDs from hardware algorithm descriptions |
104
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
We develop a generic method for the review matching problem, which is to match unstructured text reviews to a list of objects, where each object has a set of attributes. To this e...
146
click to vote
SMI
2003
IEEE
15 years 7 months ago
2003
IEEE
Skeleton is a lower dimensional shape description of an object. The requirements of a skeleton differ with applications. For example, object recognition requires skeletons with pr...
112
click to vote
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
130
click to vote
SIGMETRICS
2009
ACM
15 years 8 months ago
2009
ACM
Flash Memory based Solid State Drive (SSD) has been called a “pivotal technology” that could revolutionize data storage systems. Since SSD shares a common interface with the t...