2715 search results - page 472 / 543 » An Implementation of Narrowing Strategies |
213
click to vote
ICFP
2009
ACM
16 years 15 days ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
191
click to vote
ASPLOS
2009
ACM
16 years 15 days ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
CAV
2009
Springer
16 years 12 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
181
click to vote
SIGMOD
2009
ACM
16 years 2 days ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
Implementations of map-reduce are being used to perform many operations on very large data. We examine strategies for joining several relations in the map-reduce environment. Our ...