30240 search results - page 5962 / 6048 » Robust System Design |
134
Voted
AGENTS
1998
Springer
15 years 8 months ago
1998
Springer
of other components. This abstract presents an implemented illustration of such explicit component synergy and its usefulness in dynamic multi-agent environments. In such environme...
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...
129
click to vote
ICS
1998
Tsinghua U.
15 years 8 months ago
1998
Tsinghua U.
In this paper we propose and evaluate the Adaptive++ technique, a novel runtime-only data prefetching strategy for software-based distributed shared-memory systems (software DSMs)...
145
Voted
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
Volume rendering is a valuable and important technique for scientific visualization. One well known application area is the reconstruction and visualization of output from medica...