Sciweavers

29152 search results - page 27 / 5831
» A Model of Computation for MapReduce
Sort
View
PLDI
2012
ACM
13 years 4 months ago
Parallelizing top-down interprocedural analyses
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...
SIGMOD
2012
ACM
288views Database» more  SIGMOD 2012»
13 years 4 months ago
Exploiting MapReduce-based similarity joins
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
Yasin N. Silva, Jason M. Reed
GC
2004
Springer
15 years 6 months ago
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
Andrea Bracciali, Neophytos Demetriou, Ulrich Endr...
POPL
1989
ACM
15 years 5 months ago
How to Make ad-hoc Polymorphism Less ad-hoc
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
Philip Wadler, Stephen Blott
ICDE
2011
IEEE
245views Database» more  ICDE 2011»
14 years 5 months ago
Distributed cube materialization on holistic measures
—Cube computation over massive datasets is critical for many important analyses done in the real world. Unlike commonly studied algebraic measures such as SUM that are amenable t...
Arnab Nandi, Cong Yu, Philip Bohannon, Raghu Ramak...