17409 search results - page 340 / 3482 » The Design and Performance of MedJava |
119
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
142
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
As demand for bandwidth increases in systems-on-a-chip and chip multiprocessors, networks are fast replacing buses and dedicated wires as the pervasive interconnect fabric for on-...
128
click to vote
SBACPAD
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we reevaluate the use of adaptive compressed caching to improve system performance through the reduction of accesses to the backing stores. We propose a new adaptab...
158
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
132
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Gather and scatter are data redistribution functions of longstanding importance to high performance computing. In this paper, we present a highly-general array operator with power...