Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,299 papers from all fields of science
Search
Sign In
Create Free Account
Ricart–Agrawala algorithm
Known as:
Ricart-Agrawala Algorithm
The Ricart-Agrawala Algorithm is an algorithm for mutual exclusion on a distributed system. This algorithm is an extension and optimization of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Lamport's bakery algorithm
Logical clock
Mutual exclusion
Suzuki-Kasami algorithm
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Acute scrotum on US: a useful and practical guide for residents on call
Maria del Mar Cordon Holzknecht
,
À. Castelló
,
L. Acosta
,
Orsolya Mezosi
,
Sergi Ricart Farre
2017
Corpus ID: 78420434
Poster: "ECR 2017 / C-0220 / Acute scrotum on US: a useful and practical guide for residents on call" by: "M. D. M. Cordon…
Expand
2015
2015
Can Ricart : biblioteca, escola bressol
Joan Azorín Palacio
2015
Corpus ID: 191088160
Biblioteca i Escola Bressol al recinte fabril de Can Ricart (Poblenou). El projecte resol aquests dos programes amb un sistema…
Expand
2014
2014
Negotiating Climates: The Politics of Climate Change and the Formation of the Intergovernmental Panel on Climate Change (IPCC), 1979-1992
D. Hirst
2014
Corpus ID: 153214483
Climate change emerged as a topic of public and political concern in the 1980s alongside the discovery of the ?Antarctic Ozone…
Expand
2011
2011
On the Potential of Ricart-Agrawala Algorithm in Mobile Computing Environments
Bharti Sharma
,
R. S. Bhatia
,
Awadhesh Kumar Singh
International Conference on High Performance…
2011
Corpus ID: 45890770
The Ricart-Agrawala protocol [1] is one of the classical solutions to mutual exclusion problem. Although, the protocol was…
Expand
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Montserrat Blanch
M. Blanch
2010
Corpus ID: 191131697
2007
2007
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala
Didier Bert
,
H. Barradas
Techniques et sciences informatiques
2007
Corpus ID: 32145207
In this paper, we present an approach to specification, proof and refinement of modalities, in the framework of event-B without…
Expand
2005
2005
Innovación tecnológica y organizativa: análisis de datos
Núria Mancebo Fernández
,
Andrea Bikfalvi
,
J. V. Pasola
2005
Corpus ID: 173069433
1 Area de Organizacion de Empresas. Departamento Organizacion, Gestion Empresarial y Diseno de Producto. Escuela Politecnica…
Expand
2003
2003
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques
Weirong Wang
,
A. Mok
,
G. Fohler
International Conference on Embedded Software
2003
Corpus ID: 32259263
The issue of integrating event-driven workload into existing static schedules has been addressed by Fohler’s Slot Shifting method…
Expand
2000
2000
Formal Verification of the Ricart-Agrawala Algorithm
Ekaterina Sedletsky
,
A. Pnueli
,
M. Ben-Ari
Foundations of Software Technology and…
2000
Corpus ID: 2934966
This paper presents the first formal verification of the Ricart-Agrawala algorithm RA81. for distributed mutual exclusion of an…
Expand
1989
1989
An algorithm based on queue migration for mutual exclusion in computer networks
J. Place
International Conference on Scientific Computing
1989
Corpus ID: 14711153
A non-symmetric algorithm is presented that achieves mutual exclusion in a decentralized computer network by exchanging messages…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE