Sciweavers

2392 search results - page 156 / 479
» Channel-Hopping Multiple Access
Sort
View
FM
1999
Springer
109views Formal Methods» more  FM 1999»
15 years 6 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
ISCA
1998
IEEE
144views Hardware» more  ISCA 1998»
15 years 6 months ago
Declustered Disk Array Architectures with Optimal and Near-Optimal Parallelism
This paper investigates the placement of data and parity on redundant disk arrays. Declustered organizations have been traditionally used to achieve fast reconstruction of a faile...
Guillermo A. Alvarez, Walter A. Burkhard, Larry J....
STOC
1998
ACM
108views Algorithms» more  STOC 1998»
15 years 6 months ago
On Indexed Data Broadcast
We consider the problem of efficient information retrieval in asymmetric communication environments where multiple clients with limited resources retrieve information from a power...
Sanjeev Khanna, Shiyu Zhou
HT
1997
ACM
15 years 6 months ago
Designing Dexter-Based Hypermedia Services for the World Wide Web
This paper discusses how to augment the WWW with a Dexter-based hypermedia service that provides anchors, links and composites as objects stored external to the Web pages. The hyp...
Kaj Grønbæk, Niels Olof Bouvin, Lenne...
POS
1994
Springer
15 years 5 months ago
Protection in Grasshopper: A Persistent Operating System
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...
Alan Dearle, Rex di Bona, James Farrow, Frans A. H...