Search Sciweavers | Sciweavers

1611 search results - page 18 / 323

» A Library for Self-Adjusting Computation

click to vote

IPPS
2010
IEEE

142views Distributed And Parallel Com...» more IPPS 2010»

Offline library adaptation using automatically generated heuristics

13 years 5 months ago

Download spiral.ece.cmu.edu

Automatic tuning has emerged as a solution to provide high-performance libraries for fast changing, increasingly complex computer architectures. We distinguish offline adaptation (...

Frédéric de Mesmay, Yevgen Voronenko...

claim paper

Read More »

click to vote

CAP
2010

118views Distributed And Parallel Com...» more CAP 2010»

Parallel disk-based computation for large, monolithic binary decision diagrams

13 years 2 months ago

Download www.ccs.neu.edu

Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...

Daniel Kunkle, Vlad Slavici, Gene Cooperman

claim paper

Read More »

click to vote

ICDE
2011
IEEE

269views Database» more ICDE 2011»

Hyracks: A flexible and extensible foundation for data-intensive computing

12 years 11 months ago

Download www.ics.uci.edu

Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...

Vinayak R. Borkar, Michael J. Carey, Raman Grover,...

claim paper

Read More »

click to vote

CHI
2006
ACM

127views Human Computer Interaction» more CHI 2006»

RFID assistance system for faster book search in public libraries

14 years 7 months ago