135
click to vote
MSS
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper will attempt to examine the industry requirements for shared network data storage and sustained high speed (10’s to 100’s to thousands of megabytes per second) netw...
MSS
1995
IEEE
15 years 8 months ago
1995
IEEE
131
click to vote
MSS
1995
IEEE
15 years 8 months ago
1995
IEEE
ct In this paper, we evaluate storage system alternatives for movies-on-demandvideo servers. We begin by characterizing the movies-on-demand workload. We brie y discuss performance...
133
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
138
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...