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

A quorum-based algorithm for parameterized semaphore operations

โœ Scribed by Mitchell L Neilsen; Masaaki Mizuno


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
998 KB
Volume
21
Category
Article
ISSN
0164-1212

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Quorum-Based Self-Stabilizing Distribu
โœ Mikhail Nesterenko; Masaaki Mizuno ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 187 KB

In this paper, we present a self-stabilizing quorum-based distributed mutual exclusion algorithm. Our algorithm is designed for an asynchronous message-passing model. The algorithm scales well since it has constant synchronization delay and its message complexity is proportional to the square root o

A dual parameterization algorithm for li
โœ Y. Liu; K.L. Teo ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 461 KB

In this paper, we consider a class of \(\mathrm{LQ}\) semi-infinite programming (SIP) problems where the objective function is positive quadratic and the linear infinite constraint functions continuously depend on its index variable on a compact set. By using the dual parameterization technique, thi

Pressure-Based Residual Smoothing Operat
โœ F. Sotiropoulos; G. Constantinescu ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 591 KB

Implicit residual smoothing operators for accelerating the convergence of explicit, multistage, artificial compressibility algo-overhead (typically less than 10% of the total CPU time rithms are developed using ideas from pressure-based methods. per iteration) since only inversions of scalar tridiag