8621 search results - page 1682 / 1725 » Design for interaction |
146
Voted
MA
1999
Springer
15 years 8 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
160
Voted
VLDB
1999
ACM
15 years 8 months ago
1999
ACM
Recent high-performance processors employ sophisticated techniques to overlap and simultaneously execute multiple computation and memory operations. Intuitively, these techniques ...
198
Voted
VISUALIZATION
1998
IEEE
15 years 8 months ago
1998
IEEE
We are interested in feature extraction from volume data in terms of coherent surfaces and 3-D space curves. The input can be an inaccurate scalar or vector field, sampled densely...
164
Voted
DAC
1998
ACM
15 years 8 months ago
1998
ACM
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
187
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...