6388 search results - page 814 / 1278 » High Performance Data Mining |
183
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
177
click to vote
SIGMOD
1994
ACM
15 years 11 months ago
1994
ACM
We present a framework which allows the user to access and manipulate data uniformly, regardless of whether it resides in a database or in the file system (or in both). A key issu...
157
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
172
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
157
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper explores a new method for analysing and comparing image histograms. The technique amounts to a novel way of backprojecting an image into one with fewer, statistically s...