๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Distributed computing systems: A biased review

โœ Scribed by G.F. Casaglia

Publisher
Elsevier Science
Year
1976
Weight
956 KB
Volume
2
Category
Article
ISSN
0303-1268

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

LVT: a layered verification technique fo
LVT: a layered verification technique for distributed computing systems
โœ Cui Zhang; Brian R. Becker; Dave Peticolas; Ronald A. Olsson; Karl N. Levitt ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 185 KB ๐Ÿ‘ 2 views

This paper presents a layered verification technique, called LVT, for the verification of distributed computing systems with multiple component layers. Each lower layer in such a system provides services in support of functionality of the higher layer. By taking a very general view of programming la

Multiple Instance Resource Allocation in
Multiple Instance Resource Allocation in Distributed Computing Systems
โœ R. Satyanarayanan; C.R. Muthukrishnan ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 531 KB

A token-based distributed algorithm to perform the allocation of any one from a set of multiple instances of a shared resource type has been presented in this note. The number of messages generated by the algorithm per critical section execution for accessing a resource instance varies from 0 to \(2