Suchergebnisse - "bakery algorithm"

Design Simulation Queue Cake Shop With Lamport's Bakery Algorithm

Autoren: Roberth Ricki Manaha Manaha null Janeman Summah

Quelle: Jurnal Info Sains : Informatika dan Sains. 11:1-4

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ejournal.seaninstitute.or.id/index.php/InfoSains/article/download/40/100

Towards an Automatic Proof of the Bakery Algorithm

Autoren: Goel, Aman Merz, Stephan Sakallah, Karem A. et al.

Weitere Verfasser: Goel, Aman Merz, Stephan Sakallah, Karem A. et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783031353543

Schlagwörter: inductive invariant, mutual exclusion, parameterized verification, [INFO] Computer Science [cs]

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04135287v2
https://doi.org/10.1007/978-3-031-35355-0_2
https://inria.hal.science/hal-04135287v2/document

Avoiding Register Overflow in the Bakery Algorithm

Autoren: Mohsen Sharifi Amirhossein Sayyadabdi

Quelle: 49th International Conference on Parallel Processing - ICPP : Workshops. :1-7

Schlagwörter: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), 02 engineering and technology

Zugangs-URL: http://arxiv.org/pdf/2007.02081
http://arxiv.org/abs/2007.02081
https://arxiv.org/abs/2007.02081
http://arxiv.org/pdf/2007.02081.pdf
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-02081
https://arxiv.org/abs/2007.02081
https://dl.acm.org/doi/10.1145/3409390.3409411

Formal Modeling, Analysis and Verification of Black White Bakery Algorithm

Autoren: Sun Meng M. Ikram Ullah Lali M. Saqib Nawaz

Quelle: 2017 9th International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC). :407-410

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ieeexplore.ieee.org/document/8048187/

Avoiding Register Overflow in the Bakery Algorithm

Autoren: Sayyadabdi, Amirhossein Sharifi, Mohsen

Index Begriffe: Computer Science - Distributed, Parallel, and Cluster Computing, text

URL: http://arxiv.org/abs/2007.02081

Correctness and concurrent complexity of the Black-White Bakery Algorithm

Autoren: Wim H. Hesselink

Quelle: Formal Aspects of Computing. 28:325-341

Schlagwörter: FCFS, Mutual exclusion, Concurrent complexity, 0202 electrical engineering, electronic engineering, information engineering, SPACE, 0102 computer and information sciences, 02 engineering and technology, INTERPROCESS COMMUNICATION, UNITY, 01 natural sciences, MUTUAL-EXCLUSION, Software, Theoretical Computer Science

Zugangs-URL: https://link.springer.com/content/pdf/10.1007%2Fs00165-016-0364-4.pdf

Shared memory and the Bakery algorithm

Autoren: Jennifer L. Welch Hagit Attiya

Quelle: Concurrency: the Works of Leslie Lamport ISBN: 9781450372701

Zugangs-URL: https://dblp.uni-trier.de/db/books/collections/Ma2019.html#AttiyaW19
https://dl.acm.org/doi/10.1145/3335772.3335776

AsmL specification and verification of Lamport's bakery algorithm

Autoren: Botinčan, Matko Lužar-Stiffler, Vesna Hljuz Dobrić, Vesna

Weitere Verfasser: Botinčan, Matko Lužar-Stiffler, Vesna Hljuz Dobrić, Vesna

Quelle: Journal of computing and information technology
CODEN CJCTEM
Volume 13
Issue 4

Schlagwörter: concurrent programming, 0202 electrical engineering, electronic engineering, information engineering, abstract state machines, 0102 computer and information sciences, 02 engineering and technology, AsmL, formal verification, 01 natural sciences

Dateibeschreibung: application/pdf

Zugangs-URL: http://hrcak.srce.hr/file/69310
http://cit.fer.hr/index.php/CIT/article/download/1585/1289
https://www.bib.irb.hr/208777
https://www.bib.irb.hr/234034
https://ieeexplore.ieee.org/document/1491194/
http://dblp.uni-trier.de/db/journals/cit/cit13.html#Botincan05
http://cit.fer.hr/index.php/CIT/article/download/1585/1289
http://cit.fer.hr/index.php/CIT/article/view/1585
https://dblp.uni-trier.de/db/journals/cit/cit13.html#Botincan05
https://hrcak.srce.hr/file/69310
https://hrcak.srce.hr/44683
https://doi.org/10.2498/cit.2005.04.09
https://hrcak.srce.hr/44683
https://doi.org/10.2498/cit.2005.04.09

Correctness and concurrent complexity of the Black-White Bakery Algorithm

Autoren: Hesselink, Willem H.

Quelle: Hesselink, W H 2016, 'Correctness and concurrent complexity of the Black-White Bakery Algorithm', Formal Aspects of Computing, vol. 28, no. 2, pp. 325-341.

Index Begriffe: INTERPROCESS COMMUNICATION, SPACE, MUTUAL-EXCLUSION, Concurrent complexity, UNITY, Mutual exclusion, FCFS, article

URL: https://research.rug.nl/en/publications/8e82e0a6-b75f-4f66-b3a0-bd2a825e2455
https://doi.org/10.1007/s00165-016-0364-4
https://hdl.handle.net/11370/8e82e0a6-b75f-4f66-b3a0-bd2a825e2455
https://pure.rug.nl/ws/files/47503247/Correctness_and_concurrent_complexity_of_the_Black.pdf
https://www.scopus.com/pages/publications/84962239655
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00165-016-0364-4
info:eu-repo/semantics/altIdentifier/wos/000373745300007
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/8e82e0a6-b75f-4f66-b3a0-bd2a825e2455
info:eu-repo/semantics/altIdentifier/pissn/0934-5043
info:eu-repo/semantics/altIdentifier/eissn/1433-299X

Mechanical verification of Lamport’s Bakery algorithm

Autoren: Wim H. Hesselink

Quelle: Science of Computer Programming. 78:1622-1638

Schlagwörter: FCFS, Shared variables, PROGRAMS, Mutual exclusion, 0202 electrical engineering, electronic engineering, information engineering, Safe variables, Mechanical theorem proving, 0102 computer and information sciences, 02 engineering and technology, PARAMETERIZED VERIFICATION, 01 natural sciences

Zugangs-URL: https://www.narcis.nl/publication/RecordID/oai%3Apure.rug.nl%3Apublications%2F8effdcbe-0d26-47b6-8f51-06c7d5527a61
https://www.sciencedirect.com/science/article/abs/pii/S0167642313000634
https://core.ac.uk/display/20382386
https://www.rug.nl/research/portal/en/publications/mechanical-verification-of-lamports-bakery-algorithm(8effdcbe-0d26-47b6-8f51-06c7d5527a61).html
https://dblp.uni-trier.de/db/journals/scp/scp78.html#Hesselink13a
https://research.rug.nl/en/publications/mechanical-verification-of-lamports-bakery-algorithm

Highly-fair bakery algorithm using symmetric tokens

Autoren: Alex Aravind

Quelle: Information Processing Letters. 110:1055-1060

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dblp.uni-trier.de/db/journals/ipl/ipl110.html#Aravind10
https://dl.acm.org/doi/10.1016/j.ipl.2010.09.004
https://www.sciencedirect.com/science/article/abs/pii/S0020019010002796

Verification of Bakery algorithm variants for two processes

Autoren: D. Dedic Robert Meolic

Quelle: The IEEE Region 8 EUROCON 2003. Computer as a Tool.. 2:35-39

Schlagwörter: 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 0507 social and economic geography, 02 engineering and technology

Zugangs-URL: http://lms.uni-mb.si/~meolic/papers/meolic-eurocon03.pdf
http://lms.uni-mb.si/~meolic/papers/meolic-eurocon03.pdf
https://ieeexplore.ieee.org/document/1248140/

The Bakery Algorithm: yet another specification and verification

Autoren: Rosenzweig, Dean

Schlagwörter: evolving algebras, lower and higher view, Bakery algorithm

Consistency requirements of distributed shared memory for Lamport's bakery algorithm for mutual exclusion

Autoren: Jerzy Brzeziński Dariusz Wawrzyniak

Quelle: Proceedings 8th Euromicro Workshop on Parallel and Distributed Processing. :220-226

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://ieeexplore.ieee.org/document/823415/
http://ieeexplore.ieee.org/document/823415/
https://dblp.uni-trier.de/db/conf/pdp/pdp2000.html#BrzezinskiW00

Nonatomic dual bakery algorithm with bounded tokens

Autoren: Wim H. Hesselink Alex Aravind

Quelle: Acta Informatica. 48:67-96

Schlagwörter: MUTUAL EXCLUSION PROBLEM, SYSTEMS, 0202 electrical engineering, electronic engineering, information engineering, ARBITRATION, 0102 computer and information sciences, 02 engineering and technology, INTERPROCESS COMMUNICATION, CONCURRENT PROGRAMMING PROBLEM, 01 natural sciences, VARIABLES

Zugangs-URL: https://pure.rug.nl/ws/files/2523090/2011ActaInfAravind.pdf
https://research.rug.nl/en/publications/63a5f730-4f57-48ff-990e-5e9f69929424
https://hdl.handle.net/11370/63a5f730-4f57-48ff-990e-5e9f69929424
https://doi.org/10.1007/s00236-011-0132-0
https://research.rug.nl/en/publications/nonatomic-dual-bakery-algorithm-with-bounded-tokens
https://www.narcis.nl/publication/RecordID/oai%3Apure.rug.nl%3Apublications%2F63a5f730-4f57-48ff-990e-5e9f69929424
https://dblp.uni-trier.de/db/journals/acta/acta48.html#AravindH11
https://www.rug.nl/research/portal/en/publications/nonatomic-dual-bakery-algorithm-with-bounded-tokens(63a5f730-4f57-48ff-990e-5e9f69929424).html
https://pure.rug.nl/ws/files/2523090/2011ActaInfAravind.pdf
https://core.ac.uk/display/12953983

Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority

Autoren: Yoram Moses Katia Patkin

Quelle: Lecture Notes in Computer Science ISBN: 9783319252575

Zugangs-URL: https://rd.springer.com/chapter/10.1007/978-3-319-25258-2_28
https://link.springer.com/chapter/10.1007%2F978-3-319-25258-2_28
https://dblp.uni-trier.de/db/conf/sirocco/sirocco2015.html#MosesP15
https://link.springer.com/content/pdf/10.1007%2F978-3-319-25258-2_28.pdf

Lock Using the Bakery Algorithm

Autoren: A. Udaya Shankar

Quelle: Distributed Programming ISBN: 9781461448808

Schlagwörter: 1. No poverty

Zugangs-URL: https://link.springer.com/chapter/10.1007/978-1-4614-4881-5_10
https://link.springer.com/content/pdf/10.1007%2F978-1-4614-4881-5_10.pdf
https://rd.springer.com/chapter/10.1007/978-1-4614-4881-5_10

Nonatomic dual bakery algorithm with bounded tokens

Autoren: Aravind, Alex A. Hesselink, Wim H.

Quelle: Aravind, A A & Hesselink, W H 2011, 'Nonatomic dual bakery algorithm with bounded tokens', Acta informatica, vol. 48, no. 2, pp. 67-96.

Index Begriffe: MUTUAL EXCLUSION PROBLEM, CONCURRENT PROGRAMMING PROBLEM, INTERPROCESS COMMUNICATION, VARIABLES, ARBITRATION, SYSTEMS, article

URL: https://research.rug.nl/en/publications/63a5f730-4f57-48ff-990e-5e9f69929424
https://doi.org/10.1007/s00236-011-0132-0
https://hdl.handle.net/11370/63a5f730-4f57-48ff-990e-5e9f69929424
https://pure.rug.nl/ws/files/2523090/2011ActaInfAravind.pdf
https://www.scopus.com/pages/publications/79952738122
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00236-011-0132-0
info:eu-repo/semantics/altIdentifier/wos/000289790900001
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/63a5f730-4f57-48ff-990e-5e9f69929424
info:eu-repo/semantics/altIdentifier/pissn/0001-5903
info:eu-repo/semantics/altIdentifier/eissn/1432-0525

Bounding Lamport’s Bakery Algorithm

Autoren: Amir Katz Gregory Friedland Prasad Jayanti et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783540429128

Zugangs-URL: https://link.springer.com/chapter/10.1007/3-540-45627-9_23
https://dblp.uni-trier.de/db/conf/sofsem/sofsem2001.html#JayantiTFK01
https://dl.acm.org/citation.cfm?id=712850
https://link.springer.com/content/pdf/10.1007%252F3-540-45627-9_23.pdf
https://rd.springer.com/chapter/10.1007/3-540-45627-9_23

The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms

Autoren: Gadi Taubenfeld

Quelle: Lecture Notes in Computer Science ISBN: 9783540233060

Zugangs-URL: http://www.faculty.idc.ac.il/gadi/MyPapers/2004T-bakery.pdf
https://link.springer.com/chapter/10.1007/978-3-540-30186-8_5
https://rd.springer.com/chapter/10.1007%2F978-3-540-30186-8_5
https://dblp.uni-trier.de/db/conf/wdag/disc2004.html#Taubenfeld04
http://www.cs.tau.ac.il/~afek/gadi.pdf