7456 search results - page 476 / 1492 » Parallelism in Logic Programming |
178
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Abstract--Parallelizing Monte-Carlo tree search has been considered to be a way to improve the strength of computer Go programs. In this paper, we analyze the performance of two ro...
162
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe a family of reconfigurable parallel architectures for logic emulation. They are supposed to be applicable like conventional FPGAs, while covering a larger range of circ...
155
Voted
DAC
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a function-based timing-driven optimization technique for the synthesis of multi-level logic circuits. Motivated by the principles of parallel prefix computat...
224
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
164
click to vote
PACT
2005
Springer
16 years 10 days ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...