2607 search results - page 127 / 522 » Complete Functional Synthesis |
131
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
130
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
One way to find closest pairs in large datasets is to use hash functions [6], [12]. In recent years locality-sensitive hash functions for various metrics have been given: projecti...
230
Voted
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
93
Voted
IJHPCA
2006
15 years 3 months ago
2006
Effective communication between user and scheduler is an important prerequisite to achieving a successful scheduling outcome from both parties' perspectives. In a grid or sta...
153
Voted
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...