3239 search results - page 473 / 648 » A Logical Process Calculus |
127
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
130
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose an interconnect reorganization algorithm for reduction stages in parallel multipliers. It aims at minimizing power consumption for given static probabilities at the pri...
156
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
148
Voted
KDD
2010
ACM
15 years 7 months ago
2010
ACM
Internet users regularly have the need to find biographies and facts of people of interest. Wikipedia has become the first stop for celebrity biographies and facts. However, Wik...
131
Voted
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...