Sciweavers

2208 search results - page 207 / 442
» Memory Practices in the Sciences
Sort
View
PDIS
1994
IEEE
15 years 2 months ago
An Economic Paradigm for Query Processing and Data Migration in Mariposa
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
Michael Stonebraker, Robert Devine, Marcel Kornack...
VLDB
1989
ACM
155views Database» more  VLDB 1989»
15 years 2 months ago
Parallel Processing of Recursive Queries in Distributed Architectures
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...
Guy Hulin
ASPDAC
2007
ACM
81views Hardware» more  ASPDAC 2007»
15 years 2 months ago
Fault Dictionary Size Reduction for Million-Gate Large Circuits
- In general, fault dictionary is prevented from practical applications for its extremely large size. Several previous works are proposed for the fault dictionary size reduction. H...
Yu-Ru Hong, Juinn-Dar Huang
DATE
2004
IEEE
116views Hardware» more  DATE 2004»
15 years 2 months ago
A Novel SAT All-Solutions Solver for Efficient Preimage Computation
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
Bin Li, Michael S. Hsiao, Shuo Sheng
ICPP
1987
IEEE
15 years 2 months ago
Performance of VLSI Engines for Lattice Computations
Abstract. We address the problem of designing and building efficient custom Vl.Sl-besed processors to do computations on large multi-dimensional lattices. The design tradeoffs for ...
Steven D. Kugelmass, Kenneth Steiglitz, Richard K....