26151 search results - page 5139 / 5231 » Parameterized system design |
167
Voted
CAV
1998
Springer
15 years 6 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...
113
click to vote
ICS
1998
Tsinghua U.
15 years 6 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)...
124
click to vote
VISUALIZATION
1997
IEEE
15 years 5 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...
108
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
127
Voted
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...