Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "synchronization primitive"
download as .bib file
@article{DBLP:journals/ita/Volkov24,
author = {Mikhail V. Volkov},
title = {Synchronization of Primitive Automata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {58},
pages = {3},
year = {2024},
url = {https://doi.org/10.1051/ita/2024003},
doi = {10.1051/ITA/2024003},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/Volkov24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/DalmiaMINS23,
author = {Preyesh Dalmia and
Rohan Mahapatra and
Jeremy Intan and
Dan Negrut and
Matthew D. Sinclair},
title = {Improving the Scalability of {GPU} Synchronization Primitives},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {34},
number = {1},
pages = {275--290},
year = {2023},
url = {https://doi.org/10.1109/TPDS.2022.3218508},
doi = {10.1109/TPDS.2022.3218508},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/DalmiaMINS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BashariJW23,
author = {Benyamin Bashari and
Ali Jamadi and
Philipp Woelfel},
editor = {Rotem Oshman and
Alexandre Nolin and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Alkida Balliu},
title = {Efficient Bounded Timestamping from Standard Synchronization Primitives},
booktitle = {Proceedings of the 2023 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2023, Orlando, FL, USA, June 19-23, 2023},
pages = {113--123},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583668.3594601},
doi = {10.1145/3583668.3594601},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/BashariJW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-13317,
author = {Mikhail Volkov},
title = {Synchronization of primitive automata},
journal = {CoRR},
volume = {abs/2306.13317},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.13317},
doi = {10.48550/ARXIV.2306.13317},
eprinttype = {arXiv},
eprint = {2306.13317},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-13317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ParkZQCKK22,
author = {Sujin Park and
Diyu Zhou and
Yuchen Qian and
Irina Calciu and
Taesoo Kim and
Sanidhya Kashyap},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {Application-Informed Kernel Synchronization Primitives},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {667--682},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/park},
timestamp = {Tue, 11 Oct 2022 16:51:12 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ParkZQCKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/OberhauserCBFPO21,
author = {Jonas Oberhauser and
Rafael Lourenco de Lima Chehab and
Diogo Behrens and
Ming Fu and
Antonio Paolillo and
Lilith Oberhauser and
Koustubha Bhat and
Yuzhong Wen and
Haibo Chen and
Jaeho Kim and
Viktor Vafeiadis},
editor = {Tim Sherwood and
Emery D. Berger and
Christos Kozyrakis},
title = {VSync: push-button verification and optimization for synchronization
primitives on weak memory models},
booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Virtual Event,
USA, April 19-23, 2021},
pages = {530--545},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3445814.3446748},
doi = {10.1145/3445814.3446748},
timestamp = {Sat, 30 Sep 2023 09:34:47 +0200},
biburl = {https://dblp.org/rec/conf/asplos/OberhauserCBFPO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06590,
author = {Jonas Oberhauser and
Rafael Lourenco de Lima Chehab and
Diogo Behrens and
Ming Fu and
Antonio Paolillo and
Lilith Oberhauser and
Koustubha Bhat and
Yuzhong Wen and
Haibo Chen and
Jaeho Kim and
Viktor Vafeiadis},
title = {VSync: Push-Button Verification and Optimization for Synchronization
Primitives on Weak Memory Models (Technical Report)},
journal = {CoRR},
volume = {abs/2102.06590},
year = {2021},
url = {https://arxiv.org/abs/2102.06590},
eprinttype = {arXiv},
eprint = {2102.06590},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Kashyap20,
author = {Sanidhya Kashyap},
title = {Scaling synchronization primitives},
school = {Georgia Institute of Technology, Atlanta, GA, {USA}},
year = {2020},
url = {https://hdl.handle.net/1853/63677},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Kashyap20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Zuepke20,
author = {Alexander Zuepke},
editor = {Marcus V{\"{o}}lp},
title = {Turning Futexes Inside-Out: Efficient and Deterministic User Space
Synchronization Primitives for Real-Time Systems with {IPCP}},
booktitle = {32nd Euromicro Conference on Real-Time Systems, {ECRTS} 2020, July
7-10, 2020, Virtual Conference},
series = {LIPIcs},
volume = {165},
pages = {11:1--11:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2020.11},
doi = {10.4230/LIPICS.ECRTS.2020.11},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Zuepke20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Cataldo19,
author = {Rodrigo Cadore Cataldo},
title = {Subutai : Distributed synchronization primitives for legacy and novel
parallel applications. (Subutai : Primitives de synchronisation distribu{\'{e}}es
pour applications parall{\`{e}}les ant{\'{e}}rieures et {\'{e}}mergentes)},
school = {University of Southern Brittany, Vannes, Morbihan, France},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02865408},
timestamp = {Mon, 28 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Cataldo19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/CepedaCLLWG19,
author = {Diego Cepeda and
Sakib Chowdhury and
Nan Li and
Raphael Lopez and
Xinzhe Wang and
Wojciech M. Golab},
editor = {Pascal Felber and
Roy Friedman and
Seth Gilbert and
Avery Miller},
title = {Toward Linearizability Testing for Multi-Word Persistent Synchronization
Primitives},
booktitle = {23rd International Conference on Principles of Distributed Systems,
{OPODIS} 2019, December 17-19, 2019, Neuch{\^{a}}tel, Switzerland},
series = {LIPIcs},
volume = {153},
pages = {19:1--19:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2019.19},
doi = {10.4230/LIPICS.OPODIS.2019.19},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/CepedaCLLWG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CataldoFMSSMD18,
author = {Rodrigo Cataldo and
Ramon Fernandes and
Kevin J. M. Martin and
Johanna Sep{\'{u}}lveda and
Altamiro Amadeu Susin and
C{\'{e}}sar A. M. Marcon and
Jean{-}Philippe Diguet},
title = {Subutai: distributed synchronization primitives in NoC interfaces
for legacy parallel-applications},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
2018, San Francisco, CA, USA, June 24-29, 2018},
pages = {83:1--83:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195970.3196124},
doi = {10.1145/3195970.3196124},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/CataldoFMSSMD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/KhanchandaniW18,
author = {Pankaj Khanchandani and
Roger Wattenhofer},
editor = {Paolo Bellavista and
Vijay K. Garg},
title = {On the Importance of Synchronization Primitives with Low Consensus
Numbers},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
pages = {18:1--18:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3154273.3154306},
doi = {10.1145/3154273.3154306},
timestamp = {Fri, 27 Mar 2020 08:54:53 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/KhanchandaniW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PatelKMS17,
author = {Srishty Patel and
Rajshekar Kalayappan and
Ishani Mahajan and
Smruti R. Sarangi},
editor = {David Atienza and
Giorgio Di Natale},
title = {A hardware implementation of the {MCAS} synchronization primitive},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {918--921},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927120},
doi = {10.23919/DATE.2017.7927120},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/PatelKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KashyapMK17,
author = {Sanidhya Kashyap and
Changwoo Min and
Taesoo Kim},
editor = {Dilma Da Silva and
Bryan Ford},
title = {Scalable NUMA-aware Blocking Synchronization Primitives},
booktitle = {2017 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2017, Santa
Clara, CA, USA, July 12-14, 2017},
pages = {603--615},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/kashyap},
timestamp = {Mon, 01 Feb 2021 08:43:34 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KashyapMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ThotaRD16,
author = {Pavan Kumar Thota and
Harish Chaandar Ravichandar and
Ashwin P. Dani},
title = {Learning and synchronization of movement primitives for bimanual manipulation
tasks},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {945--950},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798389},
doi = {10.1109/CDC.2016.7798389},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ThotaRD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PekMK16,
author = {Christian Pek and
Arne Muxfeldt and
Daniel Kubus},
title = {Simplifying synchronization in cooperative robot tasks - an enhancement
of the Manipulation Primitive paradigm},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733552},
doi = {10.1109/ETFA.2016.7733552},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/PekMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bueso15,
author = {Davidlohr Bueso},
title = {Scalability techniques for practical synchronization primitives},
journal = {Commun. {ACM}},
volume = {58},
number = {1},
pages = {66--74},
year = {2015},
url = {https://doi.org/10.1145/2687882},
doi = {10.1145/2687882},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bueso15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/GamsUM15,
author = {Andrej Gams and
Ales Ude and
Jun Morimoto},
title = {Accelerating synchronization of movement primitives: Dual-arm discrete-periodic
motion of a humanoid robot},
booktitle = {2015 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2015, Hamburg, Germany, September 28 - October 2,
2015},
pages = {2754--2760},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IROS.2015.7353755},
doi = {10.1109/IROS.2015.7353755},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/GamsUM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/BertolottiK15,
author = {Ivan Cibrario Bertolotti and
Gilda Ghafour Zadeh Kashani},
title = {On the performance of open-source {RTOS} synchronization primitives},
booktitle = {1st {IEEE} International Forum on Research and Technologies for Society
and Industry Leveraging a better tomorrow, {RTSI} 2015, Torino, Italy,
September 16-18, 2015},
pages = {398--402},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RTSI.2015.7325131},
doi = {10.1109/RTSI.2015.7325131},
timestamp = {Tue, 08 Nov 2022 21:42:47 +0100},
biburl = {https://dblp.org/rec/conf/rtsi/BertolottiK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Martinez-GuerraM14,
author = {Rafael Mart{\'{\i}}nez{-}Guerra and
Juan Luis Mata{-}Machuca},
title = {Generalized synchronization via the differential primitive element},
journal = {Appl. Math. Comput.},
volume = {232},
pages = {848--857},
year = {2014},
url = {https://doi.org/10.1016/j.amc.2014.01.142},
doi = {10.1016/J.AMC.2014.01.142},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/Martinez-GuerraM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/Bueso14,
author = {Davidlohr Bueso},
title = {Scalability Techniques for Practical Synchronization Primitives},
journal = {{ACM} Queue},
volume = {12},
number = {11},
pages = {40--53},
year = {2014},
url = {https://doi.org/10.1145/2693193.2698990},
doi = {10.1145/2693193.2698990},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/Bueso14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/ImbsR12,
author = {Damien Imbs and
Michel Raynal},
editor = {Leonard Barolli and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {Trying to Unify the {LL/SC} Synchronization Primitive and the Notion
of a Timed Register},
booktitle = {{IEEE} 26th International Conference on Advanced Information Networking
and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012},
pages = {326--330},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/AINA.2012.35},
doi = {10.1109/AINA.2012.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/ImbsR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Golab11,
author = {Wojciech M. Golab},
title = {Constant-RMR Implementations of {CAS} and Other Synchronization Primitives
Using Read and Write Operations},
school = {University of Toronto, Canada},
year = {2011},
url = {http://hdl.handle.net/1807/26182},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Golab11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/GrassiSST11,
author = {Paolo Roberto Grassi and
Mariagiovanna Sami and
Ettore Speziale and
Michele Tartara},
title = {Analyzing the Sensitivity to Faults of Synchronization Primitives},
booktitle = {2011 {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} and Nanotechnology Systems, {DFT} 2011, Vancouver, BC, Canada,
October 3-5, 2011},
pages = {349--355},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DFT.2011.28},
doi = {10.1109/DFT.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/GrassiSST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-4623,
author = {Jeff A. Stuart and
John D. Owens},
title = {Efficient Synchronization Primitives for GPUs},
journal = {CoRR},
volume = {abs/1110.4623},
year = {2011},
url = {http://arxiv.org/abs/1110.4623},
eprinttype = {arXiv},
eprint = {1110.4623},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4623.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/GummarajuSMGH10,
author = {Jayanth Gummaraju and
Ben Sander and
Laurent Morichetti and
Benedict R. Gaster and
Lee W. Howes},
editor = {Nancy M. Amato and
Hubertus Franke and
Paul H. J. Kelly},
title = {Efficient implementation of {GPGPU} synchronization primitives on
CPUs},
booktitle = {Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro,
Italy, May 17-19, 2010},
pages = {85--86},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1787275.1787295},
doi = {10.1145/1787275.1787295},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cf/GummarajuSMGH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inss/HnatW10,
author = {Timothy W. Hnat and
Kamin Whitehouse},
title = {A relaxed synchronization primitive for macroprogramming systems},
booktitle = {Seventh International Conference on Networked Sensing Systems, {INSS}
2010, Kassel, Germany, June 15-18, 2010},
pages = {219--226},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/INSS.2010.5573561},
doi = {10.1109/INSS.2010.5573561},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/inss/HnatW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1010-5570,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Simon Bliudze and
Roberto Bruni and
Davide Grohmann and
Alexandra Silva},
title = {Primitives for Contract-based Synchronization},
booktitle = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
2010},
series = {{EPTCS}},
volume = {38},
pages = {67--82},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.38.8},
doi = {10.4204/EPTCS.38.8},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Murawski10,
author = {Andrzej S. Murawski},
editor = {Michael W. Mislove and
Peter Selinger},
title = {Full Abstraction Without Synchronization Primitives},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {423--436},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.025},
doi = {10.1016/J.ENTCS.2010.08.025},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Murawski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/GaonaFA09,
author = {Epifanio Gaona{-}Ram{\'{\i}}rez and
Juan Fern{\'{a}}ndez and
Manuel E. Acacio},
editor = {Henk J. Sips and
Dick H. J. Epema and
Hai{-}Xiang Lin},
title = {Fast and Efficient Synchronization and Communication Collective Primitives
for Dual Cell-Based Blades},
booktitle = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference,
Delft, The Netherlands, August 25-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5704},
pages = {900--911},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03869-3\_83},
doi = {10.1007/978-3-642-03869-3\_83},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/GaonaFA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/FerriBLP09,
author = {Cesare Ferri and
R. Iris Bahar and
Mirko Loghi and
Massimo Poncino},
editor = {Fabrizio Lombardi and
Sanjukta Bhanja and
Yehia Massoud and
R. Iris Bahar},
title = {Energy-optimal synchronization primitives for single-chip multi-processors},
booktitle = {Proceedings of the 19th {ACM} Great Lakes Symposium on {VLSI} 2009,
Boston Area, MA, USA, May 10-12 2009},
pages = {141--144},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1531542.1531578},
doi = {10.1145/1531542.1531578},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/FerriBLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LeeJ09,
author = {Sang{-}Hun Lee and
Hyun{-}Wook Jin},
title = {Communication Primitives for Real-Time Distributed Synchronization
over Small Area Networks},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {206--210},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.30},
doi = {10.1109/ISORC.2009.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LeeJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/HaTA09,
author = {Phuong Hoai Ha and
Philippas Tsigas and
Otto J. Anshus},
editor = {Tarek F. Abdelzaher and
Michel Raynal and
Nicola Santoro},
title = {{NB-FEB:} {A} Universal Scalable Easy-to-Use Synchronization Primitive
for Manycore Architectures},
booktitle = {Principles of Distributed Systems, 13th International Conference,
{OPODIS} 2009, N{\^{\i}}mes, France, December 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5923},
pages = {189--203},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10877-8\_16},
doi = {10.1007/978-3-642-10877-8\_16},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/HaTA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/HaTA09,
author = {Phuong Hoai Ha and
Philippas Tsigas and
Otto J. Anshus},
editor = {Daniel A. Reed and
Vivek Sarkar},
title = {Preliminary results on nb-feb, a synchronization primitive for parallel
programming},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2009, Raleigh, NC, USA,
February 14-18, 2009},
pages = {295--296},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1504176.1504222},
doi = {10.1145/1504176.1504222},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/HaTA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NicolauLK09,
author = {Alexandru Nicolau and
Guangqiang Li and
Arun Kejariwal},
editor = {Daniel A. Reed and
Vivek Sarkar},
title = {Techniques for efficient placement of synchronization primitives},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2009, Raleigh, NC, USA,
February 14-18, 2009},
pages = {199--208},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1504176.1504207},
doi = {10.1145/1504176.1504207},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/NicolauLK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Evequoz08,
author = {Claude {\'{E}}v{\'{e}}quoz},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Practical, Fast and Simple Concurrent {FIFO} Queues Using Single Word
Synchronization Primitives},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {59--72},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_5},
doi = {10.1007/978-3-540-68624-8\_5},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/Evequoz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/Evequoz08,
author = {Claude {\'{E}}v{\'{e}}quoz},
title = {Non-Blocking Concurrent {FIFO} Queues with Single Word Synchronization
Primitives},
booktitle = {2008 International Conference on Parallel Processing, {ICPP} 2008,
September 8-12, 2008, Portland, Oregon, {USA}},
pages = {397--405},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICPP.2008.82},
doi = {10.1109/ICPP.2008.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/Evequoz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/SouzaSALR08,
author = {Alberto Ferreira de Souza and
Sot{\'{e}}rio Ferreira de Souza and
Claudio Luis de Amorim and
Priscila M. V. Lima and
Peter Rounce},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Hardware Supported Synchronization Primitives for Clusters},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2008, Las Vegas, Nevada,
USA, July 14-17, 2008, 2 Volumes},
pages = {520--526},
publisher = {{CSREA} Press},
year = {2008},
timestamp = {Mon, 17 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/SouzaSALR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/MartinhoR08,
author = {Joana Martinho and
Ant{\'{o}}nio Ravara},
editor = {Zoran Majkic and
Michael Sipser and
R. Radha and
Daming Wei},
title = {Encoding cryptographic primitives in a calculus with polyadic synchronization},
booktitle = {International Conference on Theoretical and Mathematical Foundations
of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
pages = {102--109},
publisher = {{ISRST}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 07:46:45 +0200},
biburl = {https://dblp.org/rec/conf/tmfcs/MartinhoR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1304,
author = {Phuong Hoai Ha and
Philippas Tsigas and
Otto J. Anshus},
title = {{NB-FEB:} An Easy-to-Use and Scalable Universal Synchronization Primitive
for Parallel Programming},
journal = {CoRR},
volume = {abs/0811.1304},
year = {2008},
url = {http://arxiv.org/abs/0811.1304},
eprinttype = {arXiv},
eprint = {0811.1304},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-1304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/GolubevaLP07,
author = {Olga Golubeva and
Mirko Loghi and
Massimo Poncino},
editor = {Hai Zhou and
Enrico Macii and
Zhiyuan Yan and
Yehia Massoud},
title = {On the energy efficiency of synchronization primitives for shared-memory
single-chip multiprocessors},
booktitle = {Proceedings of the 17th {ACM} Great Lakes Symposium on {VLSI} 2007,
Stresa, Lago Maggiore, Italy, March 11-13, 2007},
pages = {489--492},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1228784.1228900},
doi = {10.1145/1228784.1228900},
timestamp = {Wed, 16 Aug 2023 21:16:32 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/GolubevaLP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GolabHHW07,
author = {Wojciech M. Golab and
Vassos Hadzilacos and
Danny Hendler and
Philipp Woelfel},
editor = {Indranil Gupta and
Roger Wattenhofer},
title = {Constant-RMR implementations of {CAS} and other synchronization primitives
using read and write operations},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
12-15, 2007},
pages = {3--12},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1281100.1281105},
doi = {10.1145/1281100.1281105},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GolabHHW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PongasBS05,
author = {Dimitris Pongas and
Aude Billard and
Stefan Schaal},
title = {Rapid synchronization and accurate phase-locking of rhythmic motor
primitives},
booktitle = {2005 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, Edmonton, Alberta, Canada, August 2-6, 2005},
pages = {2911--2916},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/IROS.2005.1545257},
doi = {10.1109/IROS.2005.1545257},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/PongasBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Hendler04,
author = {Danny Hendler},
title = {Lower and upper bounds for synchronization using real-world primitives},
school = {Tel Aviv University, Israel},
year = {2004},
url = {https://tau.primo.exlibrisgroup.com/permalink/972TAU\_INST/bai57q/alma990020204350204146},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Hendler04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FichHS04,
author = {Faith E. Fich and
Danny Hendler and
Nir Shavit},
editor = {Soma Chaudhuri and
Shay Kutten},
title = {On the inherent weakness of conditional synchronization primitives},
booktitle = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
July 25-28, 2004},
pages = {80--87},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1011767.1011780},
doi = {10.1145/1011767.1011780},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/FichHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/AcharyaF03,
author = {Mithun Acharya and
Robert Funderlic},
title = {'Laurel and Hardy' model for analyzing process synchronization algorithms
and primitives},
journal = {{ACM} {SIGCSE} Bull.},
volume = {35},
number = {2},
pages = {107--110},
year = {2003},
url = {https://doi.org/10.1145/782941.782992},
doi = {10.1145/782941.782992},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/AcharyaF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/JungHLM01,
author = {Inbum Jung and
Jongwoong Hyun and
Joonwon Lee and
Joongsoo Ma},
title = {Two-Phase Barrier: {A} Synchronization Primitive for Improving the
Processor Utilization},
journal = {Int. J. Parallel Program.},
volume = {29},
number = {6},
pages = {607--627},
year = {2001},
url = {https://doi.org/10.1023/A:1013153020460},
doi = {10.1023/A:1013153020460},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/JungHLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Moir01,
author = {Mark Moir},
editor = {Ajay D. Kshemkalyani and
Nir Shavit},
title = {Correction: practical implementations of non-blocking synchronization
primitives},
booktitle = {Proceedings of the Twentieth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2001, Newport, Rhode Island, USA,
August 26-29, 2001},
pages = {323},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/383962.384054},
doi = {10.1145/383962.384054},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Moir01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NikolopoulosP00,
author = {Dimitrios S. Nikolopoulos and
Theodore S. Papatheodorou},
title = {Fast Synchronization on Scalable Cache-Coherent Multiprocessors using
Hybrid Primitives},
booktitle = {Proceedings of the 14th International Parallel {\&} Distributed
Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000},
pages = {711--720},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/IPDPS.2000.846056},
doi = {10.1109/IPDPS.2000.846056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/NikolopoulosP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parelec/Borkowski00,
author = {Janusz Borkowski},
title = {Towards More Powerful and Flexible Synchronization Primitives},
booktitle = {2000 International Conference on Parallel Computing in Electrical
Engineering {(PARELEC} 2000), 27-30 August 2000, Quebec, Canada},
pages = {18--23},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PCEE.2000.873594},
doi = {10.1109/PCEE.2000.873594},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/parelec/Borkowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Rinard99,
author = {Martin C. Rinard},
title = {Effective fine-grain synchronization for automatically parallelized
programs using optimistic synchronization primitives},
journal = {{ACM} Trans. Comput. Syst.},
volume = {17},
number = {4},
pages = {337--371},
year = {1999},
url = {https://doi.org/10.1145/329466.329486},
doi = {10.1145/329466.329486},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/Rinard99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KerridgeWW99,
author = {Jon M. Kerridge and
Peter H. Welch and
David Wood},
title = {Synchronization Primitives for Highly Parallel Discrete Event Simulations},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.773084},
doi = {10.1109/HICSS.1999.773084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KerridgeWW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/KuoCK99,
author = {Chen{-}Chi Kuo and
John B. Carter and
Ravindra Kuramkote},
title = {MP-LOCKs: Replacing {H/W} Synchronization Primitives with Message
Passing},
booktitle = {Proceedings of the Fifth International Symposium on High-Performance
Computer Architecture, Orlando, FL, USA, January 9-12, 1999},
pages = {284--288},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HPCA.1999.744381},
doi = {10.1109/HPCA.1999.744381},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/KuoCK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Campos98,
author = {S{\'{e}}rgio Vale Aguiar Campos},
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {Shared Variables and Efficient Synchronization Primitives for Synchronous
Symbolic Verifiers},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {XI)} and
Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
November, 1998, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {135},
pages = {249--263},
publisher = {Kluwer},
year = {1998},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Campos98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Moir97,
author = {Mark Moir},
editor = {James E. Burns and
Hagit Attiya},
title = {Practical Implementations of Non-Blocking Synchronization Primitives},
booktitle = {Proceedings of the Sixteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Santa Barbara, California, USA, August 21-24,
1997},
pages = {219--228},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/259380.259442},
doi = {10.1145/259380.259442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Moir97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Rinard97,
author = {Martin C. Rinard},
editor = {Robert Schreiber and
Keshav Pingali and
A. Michael Berman},
title = {Effective Fine-Grain Synchronization for Automatically Parallelized
Programs Using Optimistic Synchronization Primitives},
booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} Symposium on Principles {\&}
Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA,
June 18-21, 1997},
pages = {112--123},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263764.263781},
doi = {10.1145/263764.263781},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Rinard97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GuptaP93,
author = {Sandeep K. S. Gupta and
Dhabaleswar K. Panda},
title = {Barrier Synchronization in Distributed-Memory Multiprocessing Using
Rendezvous Primitives},
booktitle = {The Seventh International Parallel Processing Symposium, Proceedings,
Newport Beach, California, USA, April 13-16, 1993},
pages = {501--505},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/IPPS.1993.262826},
doi = {10.1109/IPPS.1993.262826},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GuptaP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FeitelsonR89,
author = {Dror G. Feitelson and
Larry Rudolph},
title = {Implementation of a Wait-Free Synchronization Primitive that Solves
n-Process Consensus},
journal = {Inf. Process. Lett.},
volume = {32},
number = {2},
pages = {81--83},
year = {1989},
url = {https://doi.org/10.1016/0020-0190(89)90034-3},
doi = {10.1016/0020-0190(89)90034-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FeitelsonR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/GoodmanVW89,
author = {James R. Goodman and
Mary K. Vernon and
Philip J. Woest},
editor = {Joel S. Emer and
John L. Hennessy},
title = {Efficent Synchronization Primitives for Large-Scale Cache-Coherent
Multiprocessors},
booktitle = {{ASPLOS-III} Proceedings - Third International Conference on Architectural
Support for Programming Languages and Operating Systems, Boston, Massachusetts,
USA, April 3-6, 1989},
pages = {64--75},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/70082.68188},
doi = {10.1145/70082.68188},
timestamp = {Wed, 07 Jul 2021 13:23:09 +0200},
biburl = {https://dblp.org/rec/conf/asplos/GoodmanVW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Kranenburg88,
author = {P. Kranenburg},
title = {Communication Kernels - a high level synchronization primitive supporting
error handling},
journal = {Microprocess. Microprogramming},
volume = {23},
number = {1-5},
pages = {233--237},
year = {1988},
url = {https://doi.org/10.1016/0165-6074(88)90361-4},
doi = {10.1016/0165-6074(88)90361-4},
timestamp = {Fri, 05 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/Kranenburg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DudaC87,
author = {Andrzej Duda and
Tadeusz Czach{\'{o}}rski},
title = {Performance Evaluation of Fork and Join Synchronization Primitives},
journal = {Acta Informatica},
volume = {24},
number = {5},
pages = {525--553},
year = {1987},
url = {https://doi.org/10.1007/BF00263293},
doi = {10.1007/BF00263293},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/DudaC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BirrellGHL87,
author = {Andrew Birrell and
John V. Guttag and
James J. Horning and
Roy Levin},
editor = {Les Belady},
title = {Synchronization Primitives for a Multiprocessor: {A} Formal Specification},
booktitle = {Proceedings of the Eleventh {ACM} Symposium on Operating System Principles,
{SOSP} 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11,
1987},
pages = {94--102},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/41457.37509},
doi = {10.1145/41457.37509},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BirrellGHL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Hoppe86,
author = {Jiri Hoppe},
title = {Another Approach to the Implementation of Synchronization Primitives},
journal = {Softw. Pract. Exp.},
volume = {16},
number = {12},
pages = {1109--1116},
year = {1986},
url = {https://doi.org/10.1002/spe.4380161205},
doi = {10.1002/SPE.4380161205},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Hoppe86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/Roskos86,
author = {J. Eric Roskos},
title = {A Comparison of Two Synchronization Primitives in an Operating System
for Parallel Processing Applications},
booktitle = {International Conference on Parallel Processing, ICPP'86, University
Park, PA, USA, August 1986},
pages = {231--233},
publisher = {{IEEE} Computer Society Press},
year = {1986},
timestamp = {Mon, 28 Jul 2014 17:06:02 +0200},
biburl = {https://dblp.org/rec/conf/icpp/Roskos86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Natarajan85,
author = {N. Natarajan},
title = {Communication and Synchronization Primitives for Distributed Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {4},
pages = {396--416},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232229},
doi = {10.1109/TSE.1985.232229},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Natarajan85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ItoN82,
author = {T. Ito and
Yasuaki Nishitani},
title = {On Universality of Concurrent Expressions with Synchronization Primitives},
journal = {Theor. Comput. Sci.},
volume = {19},
pages = {105--115},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90018-4},
doi = {10.1016/0304-3975(82)90018-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ItoN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Martin81,
author = {Alain J. Martin},
title = {An Axiomatic Definition of Synchronization Primitives},
journal = {Acta Informatica},
volume = {16},
pages = {219--235},
year = {1981},
url = {https://doi.org/10.1007/BF00261260},
doi = {10.1007/BF00261260},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Martin81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MilloM79,
author = {Richard A. DeMillo and
Raymond E. Miller},
title = {Implicit Computation of Synchronization Primitives},
journal = {Inf. Process. Lett.},
volume = {9},
number = {1},
pages = {35--38},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90105-4},
doi = {10.1016/0020-0190(79)90105-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MilloM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dolev79,
author = {Danny Dolev},
title = {Commutation Preperties and Generating Sets Characterize Slices of
Various Synchronization Primitives},
journal = {Theor. Comput. Sci.},
volume = {8},
pages = {379--391},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90018-5},
doi = {10.1016/0304-3975(79)90018-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dolev79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DolevS78,
author = {Danny Dolev and
Eliahu Shamir},
title = {Commutation Relations of Slices Characterize Some Synchronization
Primitives},
journal = {Inf. Process. Lett.},
volume = {7},
number = {1},
pages = {7--9},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90029-7},
doi = {10.1016/0020-0190(78)90029-7},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DolevS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lipton74,
author = {Richard J. Lipton},
editor = {Robert L. Constable and
Robert W. Ritchie and
Jack W. Carlyle and
Michael A. Harrison},
title = {Limitations of Synchronization Primitives with Conditional Branching
and Global Variables},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1974, Seattle, Washington, {USA}},
pages = {230--241},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800119.803900},
doi = {10.1145/800119.803900},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lipton74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Holager72,
author = {Per Holager},
title = {A consolidation of synchronization primitives},
journal = {{ACM} {SIGPLAN} Notices},
volume = {7},
number = {12},
pages = {42--52},
year = {1972},
url = {https://doi.org/10.1145/987059.987065},
doi = {10.1145/987059.987065},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/Holager72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 12:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
