𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Synchronization of distributed simulation using broadcast algorithms

✍ Scribed by J Kent Peacock; Eric Manning; J.W Wong

Publisher
Elsevier Science
Year
1980
Weight
708 KB
Volume
4
Category
Article
ISSN
0376-5075

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Distributed Simulation of Asynchronous H
Distributed Simulation of Asynchronous Hardware: The Program Driven Synchronization Protocol
✍ Georgios K. Theodoropoulos πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 507 KB

Synchronous VLSI design is approaching a critical point, with clock distribution becoming an increasingly costly and complicated issue and power consumption rapidly emerging as a major concern. Hence, recently, there has been a resurgence of interest in asynchronous digital design techniques which p

Formal derivation of an algorithm for di
Formal derivation of an algorithm for distributed phase synchronization
✍ D.S. BuhΔƒceanu; W.H.J. Feijen πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 620 KB

The main purpose of this paper is to create more evidence for the observation that parallel programs, distributed or not, can be formally -and economically -derived by means of just the predicate calculus and the theory of Owicki and Gries. The example selected here is the problem of phase synchroni