1304 search results - page 128 / 261 » Evaluating Hardware Compilation Techniques |
141
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
125
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
135
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
This paper reports on a study involving the automatic extraction of Chinese legal terms. We used a word segmented corpus of Chinese court judgments to extract salient legal expres...
151
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
121
click to vote
AAAI
2000
15 years 6 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...