Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "concurrent search"
download as .bib file
@inproceedings{DBLP:conf/cpp/NguyenBMW24,
author = {Duc{-}Than Nguyen and
Lennart Beringer and
William Mansky and
Shengyi Wang},
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {Compositional Verification of Concurrent {C} Programs with Search
Structure Templates},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
pages = {60--74},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501.3636940},
doi = {10.1145/3636501.3636940},
timestamp = {Thu, 11 Jan 2024 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/cpp/NguyenBMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiCY23,
author = {Zhongguo Li and
Wen{-}Hua Chen and
Jun Yang},
title = {Concurrent Active Learning in Autonomous Airborne Source Search: Dual
Control for Exploration and Exploitation},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {5},
pages = {3123--3130},
year = {2023},
url = {https://doi.org/10.1109/TAC.2022.3221907},
doi = {10.1109/TAC.2022.3221907},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiCY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hf/DuncanBKMB22,
author = {Carolyn A. Duncan and
Nicole Bishop and
Vicki Komisar and
Scott N. MacKinnon and
Jeannette M. Byrne},
title = {The Effect of Wave Motion Intensities on Performance in a Simulated
Search and Rescue Task and the Concurrent Demands of Maintaining Balance},
journal = {Hum. Factors},
volume = {64},
number = {3},
pages = {579--588},
year = {2022},
url = {https://doi.org/10.1177/0018720820952907},
doi = {10.1177/0018720820952907},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hf/DuncanBKMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiii/LailiPCYZ22,
author = {Yuanjun Laili and
Cheng Peng and
Zelin Chen and
Fei Ye and
Lin Zhang},
title = {Concurrent local search for process planning and scheduling in the
industrial Internet-of-Things environment},
journal = {J. Ind. Inf. Integr.},
volume = {28},
pages = {100364},
year = {2022},
url = {https://doi.org/10.1016/j.jii.2022.100364},
doi = {10.1016/J.JII.2022.100364},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiii/LailiPCYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blackseecom/Nor22,
author = {Ahmed Mohammed Nor},
title = {Joint Proportional Fairness Scheduling Using Iterative Search for
MmWave Concurrent Transmission},
booktitle = {10th {IEEE} International Black Sea Conference on Communications and
Networking, BlackSeaCom 2022, Sofia, Bulgaria, June 6-9, 2022},
pages = {257--262},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/BlackSeaCom54372.2022.9858130},
doi = {10.1109/BLACKSEACOM54372.2022.9858130},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/blackseecom/Nor22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/OrheanGRCR22,
author = {Alexandru Iulian Orhean and
Anna Giannakou and
Lavanya Ramakrishnan and
Kyle Chard and
Ioan Raicu},
title = {{SCANNS:} Towards Scalable and Concurrent Data Indexing and Searching
in High-End Computing System},
booktitle = {22nd {IEEE} International Symposium on Cluster, Cloud and Internet
Computing, CCGrid 2022, Taormina, Italy, May 16-19, 2022},
pages = {51--60},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CCGrid54584.2022.00014},
doi = {10.1109/CCGRID54584.2022.00014},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccgrid/OrheanGRCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ZengKWC22,
author = {Chen Zeng and
Prajit KrisshnaKumar and
Jhoel Witter and
Souma Chowdhury},
title = {Efficient Concurrent Design of the Morphology of Unmanned Aerial Systems
and their Collective-Search Behavior},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {388--393},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981312},
doi = {10.1109/IROS47612.2022.9981312},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/ZengKWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/Shanny022,
author = {Tomer Shanny and
Adam Morrison},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {Occualizer: Optimistic Concurrent Search Trees From Sequential Code},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {321--337},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/shanny},
timestamp = {Tue, 11 Oct 2022 16:51:12 +0200},
biburl = {https://dblp.org/rec/conf/osdi/Shanny022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/0001SA22,
author = {Trevor Brown and
William Sigouin and
Dan Alistarh},
editor = {Jaejin Lee and
Kunal Agrawal and
Michael F. Spear},
title = {PathCAS: an efficient middle ground for concurrent search data structures},
booktitle = {PPoPP '22: 27th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022},
pages = {385--399},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503221.3508410},
doi = {10.1145/3503221.3508410},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/0001SA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13065,
author = {Ahmed Mohammed Nor},
title = {Joint Proportional Fairness Scheduling Using Iterative Search for
mmWave Concurrent Transmission},
journal = {CoRR},
volume = {abs/2207.13065},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13065},
doi = {10.48550/ARXIV.2207.13065},
eprinttype = {arXiv},
eprint = {2207.13065},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-13041,
author = {Chen Zeng and
Prajit KrisshnaKumar and
Jhoel Witter and
Souma Chowdhury},
title = {Efficient Concurrent Design of the Morphology of Unmanned Aerial Systems
and their Collective-Search Behavior},
journal = {CoRR},
volume = {abs/2209.13041},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.13041},
doi = {10.48550/ARXIV.2209.13041},
eprinttype = {arXiv},
eprint = {2209.13041},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-13041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-09851,
author = {Trevor Brown and
William Sigouin and
Dan Alistarh},
title = {PathCAS: An Efficient Middle Ground for Concurrent Search Data Structures},
journal = {CoRR},
volume = {abs/2212.09851},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.09851},
doi = {10.48550/ARXIV.2212.09851},
eprinttype = {arXiv},
eprint = {2212.09851},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2021Krishna,
author = {Siddharth Krishna and
Nisarg Patel and
Dennis E. Shasha and
Thomas Wies},
title = {Automated Verification of Concurrent Search Structures},
series = {Synthesis Lectures on Computer Science},
publisher = {Morgan {\&} Claypool Publishers},
year = {2021},
url = {https://doi.org/10.2200/S01089ED1V01Y202104CSL013},
doi = {10.2200/S01089ED1V01Y202104CSL013},
isbn = {978-3-031-00678-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/synthesis/2021Krishna.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PuLSLZWHP21,
author = {Hao Pu and
Xiaoming Li and
Paul M. Schonfeld and
Wei Li and
Jian Zhang and
Jie Wang and
Jianping Hu and
Xianbao Peng},
title = {Concurrent Optimization of Mountain Railway Alignment and Station
Locations With a Three-Dimensional Distance Transform Algorithm Incorporating
a Perceptual Search Strategy},
journal = {{IEEE} Access},
volume = {9},
pages = {34736--34754},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3061587},
doi = {10.1109/ACCESS.2021.3061587},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/PuLSLZWHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/SiakavarasNGK21,
author = {Dimitrios Siakavaras and
Konstantinos Nikas and
Georgios I. Goumas and
Nectarios Koziris},
title = {{RCU-HTM:} {A} generic synchronization technique for highly efficient
concurrent search trees},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {10},
year = {2021},
url = {https://doi.org/10.1002/cpe.6174},
doi = {10.1002/CPE.6174},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/SiakavarasNGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PatelKSW21,
author = {Nisarg Patel and
Siddharth Krishna and
Dennis E. Shasha and
Thomas Wies},
title = {Verifying concurrent multicopy search structures},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3485490},
doi = {10.1145/3485490},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PatelKSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChatterjeeWT21,
author = {Bapi Chatterjee and
Ivan Walulya and
Philippas Tsigas},
title = {Concurrent linearizable nearest neighbour search in LockFree-kD-tree},
journal = {Theor. Comput. Sci.},
volume = {886},
pages = {27--48},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.06.041},
doi = {10.1016/J.TCS.2021.06.041},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChatterjeeWT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Solomon021,
author = {Daniel Solomon and
Adam Morrison},
editor = {Jaejin Lee and
Erez Petrank},
title = {Efficiently reclaiming memory in concurrent search data structures
while bounding wasted memory},
booktitle = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Virtual Event, Republic of Korea, February
27- March 3, 2021},
pages = {191--204},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437801.3441582},
doi = {10.1145/3437801.3441582},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Solomon021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssrr/PallinRO21a,
author = {Martin Pallin and
Jayedur Rashid and
Petter {\"{O}}gren},
title = {Formulation and Solution of the Multi-agent Concurrent Search and
Rescue Problem},
booktitle = {{IEEE} International Symposium on Safety, Security, and Rescue Robotics,
{SSRR} 2021, New York City, NY, USA, October 25-27, 2021},
pages = {27--33},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SSRR53300.2021.9597685},
doi = {10.1109/SSRR53300.2021.9597685},
timestamp = {Tue, 23 Nov 2021 16:16:49 +0100},
biburl = {https://dblp.org/rec/conf/ssrr/PallinRO21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-08062,
author = {Zhongguo Li and
Wen{-}Hua Chen and
Jun Yang},
title = {Concurrent Learning Based Dual Control for Exploration and Exploitation
in Autonomous Search},
journal = {CoRR},
volume = {abs/2108.08062},
year = {2021},
url = {https://arxiv.org/abs/2108.08062},
eprinttype = {arXiv},
eprint = {2108.08062},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-08062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-05631,
author = {Nisarg Patel and
Siddharth Krishna and
Dennis E. Shasha and
Thomas Wies},
title = {Verifying Concurrent Multicopy Search Structures},
journal = {CoRR},
volume = {abs/2109.05631},
year = {2021},
url = {https://arxiv.org/abs/2109.05631},
eprinttype = {arXiv},
eprint = {2109.05631},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/Hernandez-Gress20,
author = {Eva Selene Hern{\'{a}}ndez{-}Gress and
Juan Carlos {Seck Tuoh Mora} and
Norberto Hernandez{-}Romero and
Joselito Medina Mar{\'{\i}}n and
Pedro Lagos{-}Eulogio and
Javier Ort{\'{\i}}z{-}Perea},
title = {The solution of the concurrent layout scheduling problem in the job-shop
environment through a local neighborhood search algorithm},
journal = {Expert Syst. Appl.},
volume = {144},
pages = {113096},
year = {2020},
url = {https://doi.org/10.1016/j.eswa.2019.113096},
doi = {10.1016/J.ESWA.2019.113096},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/Hernandez-Gress20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/MirhosseiniH20,
author = {Seyed Mohsen Mirhosseini and
Hassan Haghighi},
title = {A Search-Based Test Data Generation Method for Concurrent Programs},
journal = {Int. J. Comput. Intell. Syst.},
volume = {13},
number = {1},
pages = {1161--1175},
year = {2020},
url = {https://doi.org/10.2991/ijcis.d.200805.003},
doi = {10.2991/IJCIS.D.200805.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcisys/MirhosseiniH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/NatarajanRM20,
author = {Aravind Natarajan and
Arunmoezhi Ramachandran and
Neeraj Mittal},
title = {{FEAST:} {A} Lightweight Lock-free Concurrent Binary Search Tree},
journal = {{ACM} Trans. Parallel Comput.},
volume = {7},
number = {2},
pages = {10:1--10:64},
year = {2020},
url = {https://doi.org/10.1145/3391438},
doi = {10.1145/3391438},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topc/NatarajanRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsusc/AlapatiTM20,
author = {Praveen Alapati and
Venkata Kalyan Tavva and
Madhu Mutyam},
title = {A Scalable and Energy-Efficient Concurrent Binary Search Tree With
Fatnodes},
journal = {{IEEE} Trans. Sustain. Comput.},
volume = {5},
number = {4},
pages = {468--484},
year = {2020},
url = {https://doi.org/10.1109/TSUSC.2020.2970034},
doi = {10.1109/TSUSC.2020.2970034},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsusc/AlapatiTM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eitce/ZhuDDHZZ20,
author = {Mingfeng Zhu and
Jianqiang Du and
Chenghua Ding and
Yangming He and
Kang Zhang and
Yimin Zhu},
title = {Fast Tongue Image Extraction Fusing Multi-dimensional Information
and Concurrent D-search Algorithm},
booktitle = {{EITCE} 2020: 4th International Conference on Electronic Information
Technology and Computer Engineering, Xiamen, China, 6 November, 2020
- 8 November, 2020},
pages = {415--419},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3443467.3443792},
doi = {10.1145/3443467.3443792},
timestamp = {Fri, 04 Aug 2023 10:04:46 +0200},
biburl = {https://dblp.org/rec/conf/eitce/ZhuDDHZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaPSW20,
author = {Siddharth Krishna and
Nisarg Patel and
Dennis E. Shasha and
Thomas Wies},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Verifying concurrent search structure templates},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {181--196},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386029},
doi = {10.1145/3385412.3386029},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KrishnaPSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/WeidmannFA20,
author = {Nils Weidmann and
Lars Fritsche and
Anthony Anjorin},
editor = {Ralf L{\"{a}}mmel and
Laurence Tratt and
Juan de Lara},
title = {A search-based and fault-tolerant approach to concurrent model synchronisation},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
16-17, 2020},
pages = {56--71},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426425.3426932},
doi = {10.1145/3426425.3426932},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/WeidmannFA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06655,
author = {Feng Feng and
Tony Stockman},
title = {Concurrent Crossmodal Feedback Assists Target-searching: Displaying
Distance Information Through Visual, Auditory and Haptic Modalities},
journal = {CoRR},
volume = {abs/2002.06655},
year = {2020},
url = {https://arxiv.org/abs/2002.06655},
eprinttype = {arXiv},
eprint = {2002.06655},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/HaAU19,
author = {Phuong Hoai Ha and
Otto J. Anshus and
Ibrahim Umar},
title = {Efficient Concurrent Search Trees Using Portable Fine-Grained Locality},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {30},
number = {7},
pages = {1580--1595},
year = {2019},
url = {https://doi.org/10.1109/TPDS.2019.2892968},
doi = {10.1109/TPDS.2019.2892968},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/HaAU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/RamachandranM19,
author = {Arunmoezhi Ramachandran and
Neeraj Mittal},
editor = {R. C. Hansdah and
Dilip Krishnaswamy and
Nitin H. Vaidya},
title = {Improving efficacy of concurrent internal binary search trees using
local recovery},
booktitle = {Proceedings of the 20th International Conference on Distributed Computing
and Networking, {ICDCN} 2019, Bangalore, India, January 04-07, 2019},
pages = {61--70},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3288599.3288615},
doi = {10.1145/3288599.3288615},
timestamp = {Wed, 01 Sep 2021 12:22:37 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/RamachandranM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AlistarhFK19,
author = {Dan Alistarh and
Alexander Fedorov and
Nikita Koval},
editor = {Pascal Felber and
Roy Friedman and
Seth Gilbert and
Avery Miller},
title = {In Search of the Fastest Concurrent Union-Find Algorithm},
booktitle = {23rd International Conference on Principles of Distributed Systems,
{OPODIS} 2019, December 17-19, 2019, Neuch{\^{a}}tel, Switzerland},
series = {LIPIcs},
volume = {153},
pages = {15:1--15:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2019.15},
doi = {10.4230/LIPICS.OPODIS.2019.15},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AlistarhFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-06347,
author = {Dan Alistarh and
Alexander Fedorov and
Nikita Koval},
title = {In Search of the Fastest Concurrent Union-Find Algorithm},
journal = {CoRR},
volume = {abs/1911.06347},
year = {2019},
url = {http://arxiv.org/abs/1911.06347},
eprinttype = {arXiv},
eprint = {1911.06347},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-06347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Raviv18,
author = {Maya Arbel{-}Raviv},
title = {Theoretical and Experimental Methods for Concurrent Search Trees},
school = {Technion - Israel Institute of Technology, Israel},
year = {2018},
url = {https://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/2018/PHD/PHD-2018-10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Raviv18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/Trishchenko18,
author = {Alexander P. Trishchenko},
title = {Reprojection of {VIIRS} {SDR} Imagery Using Concurrent Gradient Search},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {56},
number = {7},
pages = {4016--4024},
year = {2018},
url = {https://doi.org/10.1109/TGRS.2018.2819825},
doi = {10.1109/TGRS.2018.2819825},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/Trishchenko18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/MiuraS18,
author = {Chikara Miura and
Shinji Sugawara},
editor = {Leonard Barolli and
Fang{-}Yie Leu and
Tomoya Enokido and
Hsing{-}Chung Chen},
title = {Efficient Scheduling for Concurrent Contents Searching with Idle Computational
Resources},
booktitle = {Advances on Broadband and Wireless Computing, Communication and Applications,
Proceedings of the 13th International Conference on Broadband and
Wireless Computing, Communication and Applications, {BWCCA} 2018,
Taichung, Taiwan, October 27-29, 2018},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {25},
pages = {271--284},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02613-4\_24},
doi = {10.1007/978-3-030-02613-4\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bwcca/MiuraS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3/GujralSM18,
author = {Harshit Gujral and
Abhinav Sharma and
Sangeeta Mittal},
editor = {Srinivas Aluru and
Ananth Kalyanaraman and
Debajyoti Bera and
Kishore Kothapalli and
David Abramson and
Ilkay Altintas and
Sanjukta Bhowmick and
Madhu Govindaraju and
Smruti Ranjan Sarangi and
Sushil K. Prasad and
Steven Bogaerts and
Vikas Saxena and
Sanjay Goel},
title = {Determination of Optimal Thread Pool for Cloud Based Concurrent Enhanced
No-Escape Search},
booktitle = {2018 Eleventh International Conference on Contemporary Computing,
{IC3} 2018, Noida, India, August 2-4, 2018},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IC3.2018.8530645},
doi = {10.1109/IC3.2018.8530645},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/ic3/GujralSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ChatterjeeWT18,
author = {Bapi Chatterjee and
Ivan Walulya and
Philippas Tsigas},
editor = {Paolo Bellavista and
Vijay K. Garg},
title = {Concurrent Linearizable Nearest Neighbour Search in LockFree-kD-tree},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3154273.3154307},
doi = {10.1145/3154273.3154307},
timestamp = {Fri, 27 Mar 2020 08:54:53 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/ChatterjeeWT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/LiRLGCZG18,
author = {Zengxiang Li and
Shen Ren and
Sifei Lu and
Jiachun Guo and
Wentong Cai and
Qin Zheng and
Rick Siow Mong Goh},
title = {Concurrent Hybrid Breadth-First-Search on Distributed PowerGraph for
Skewed Graphs},
booktitle = {24th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2018, Singapore, December 11-13, 2018},
pages = {160--169},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PADSW.2018.8644918},
doi = {10.1109/PADSW.2018.8644918},
timestamp = {Wed, 10 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/LiRLGCZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Drachsler-Cohen18,
author = {Dana Drachsler{-}Cohen and
Martin T. Vechev and
Eran Yahav},
editor = {Andreas Krall and
Thomas R. Gross},
title = {Practical concurrent traversals in search trees},
booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February
24-28, 2018},
pages = {207--218},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178487.3178503},
doi = {10.1145/3178487.3178503},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Drachsler-Cohen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GiakkoupisW18,
author = {George Giakkoupis and
Philipp Woelfel},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {An Improved Bound for Random Binary Search Trees with Concurrent Insertions},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {37:1--37:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.37},
doi = {10.4230/LIPICS.STACS.2018.37},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GiakkoupisW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/Arbel-Raviv0018,
author = {Maya Arbel{-}Raviv and
Trevor Brown and
Adam Morrison},
editor = {Haryadi S. Gunawi and
Benjamin C. Reed},
title = {Getting to the Root of Concurrent Binary Search Tree Performance},
booktitle = {2018 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2018, Boston,
MA, USA, July 11-13, 2018},
pages = {295--306},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/atc18/presentation/arbel-raviv},
timestamp = {Sat, 25 Feb 2023 23:39:37 +0100},
biburl = {https://dblp.org/rec/conf/usenix/Arbel-Raviv0018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wafr/IchnowskiA18,
author = {Jeffrey Ichnowski and
Ron Alterovitz},
editor = {Marco Morales and
Lydia Tapia and
Gildardo S{\'{a}}nchez{-}Ante and
Seth Hutchinson},
title = {Concurrent Nearest-Neighbor Searching for Parallel Sampling-Based
Motion Planning in SO(3), SE(3), and Euclidean Spaces},
booktitle = {Algorithmic Foundations of Robotics XIII, Proceedings of the 13th
Workshop on the Algorithmic Foundations of Robotics, {WAFR} 2018,
M{\'{e}}rida, Mexico, December 9-11, 2018},
series = {Springer Proceedings in Advanced Robotics},
volume = {14},
pages = {69--85},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-44051-0\_5},
doi = {10.1007/978-3-030-44051-0\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wafr/IchnowskiA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejasp/DoanKRL17,
author = {Nghia Doan and
Tae Sung Kim and
Chae{-}Eun Rhee and
Hyuk{-}Jae Lee},
title = {A hardware-oriented concurrent {TZ} search algorithm for High-Efficiency
Video Coding},
journal = {{EURASIP} J. Adv. Signal Process.},
volume = {2017},
pages = {78},
year = {2017},
url = {https://doi.org/10.1186/s13634-017-0513-9},
doi = {10.1186/S13634-017-0513-9},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejasp/DoanKRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/elektrik/Alomoush17,
author = {Muwaffaq Alomoush},
title = {Concurrent optimal design of {TCSC} and {PSS} using symbiotic organisms
search algorithm},
journal = {Turkish J. Electr. Eng. Comput. Sci.},
volume = {25},
pages = {3904--3919},
year = {2017},
url = {https://doi.org/10.3906/elk-1703-147},
doi = {10.3906/ELK-1703-147},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/elektrik/Alomoush17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/SiakavarasNGK17,
author = {Dimitrios Siakavaras and
Konstantinos Nikas and
Georgios I. Goumas and
Nectarios Koziris},
title = {{RCU-HTM:} Combining {RCU} with {HTM} to Implement Highly Efficient
Concurrent Binary Search Trees},
booktitle = {26th International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2017, Portland, OR, USA, September 9-13, 2017},
pages = {1--13},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PACT.2017.17},
doi = {10.1109/PACT.2017.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/SiakavarasNGK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/appt/MeiCWL17,
author = {Fei Mei and
Qiang Cao and
Fei Wu and
Hongyan Li},
editor = {Yong Dou and
Haixiang Lin and
Guangyu Sun and
Junjie Wu and
Dora Heras and
Luc Boug{\'{e}}},
title = {A Concurrent Skip List Balanced on Search},
booktitle = {Advanced Parallel Processing Technologies - 12th International Symposium,
{APPT} 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10561},
pages = {117--128},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67952-5\_11},
doi = {10.1007/978-3-319-67952-5\_11},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/appt/MeiCWL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/AlapatiTM17,
author = {Praveen Alapati and
Venkata Kalyan Tavva and
Madhu Mutyam},
title = {FatCBST: Concurrent Binary Search Tree with Fatnodes},
booktitle = {19th {IEEE} International Conference on High Performance Computing
and Communications; 15th {IEEE} International Conference on Smart
City; 3rd {IEEE} International Conference on Data Science and Systems,
HPCC/SmartCity/DSS 2017, Bangkok, Thailand, December 18-20, 2017},
pages = {356--363},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/HPCC-SmartCity-DSS.2017.47},
doi = {10.1109/HPCC-SMARTCITY-DSS.2017.47},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/AlapatiTM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Winblad17,
author = {Kjell Winblad},
editor = {Fergus Leahy and
Juliana Franco},
title = {Faster Concurrent Range Queries with Contention Adapting Search Trees
Using Immutable Data},
booktitle = {2017 Imperial College Computing Student Workshop, {ICCSW} 2017, September
26-27, 2017, London, {UK}},
series = {OASIcs},
volume = {60},
pages = {7:1--7:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2017.7},
doi = {10.4230/OASICS.ICCSW.2017.7},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Winblad17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AntoniadisGST17,
author = {Karolos Antoniadis and
Rachid Guerraoui and
Julien Stainer and
Vasileios Trigonakis},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Sequential Proximity - Towards Provably Scalable Concurrent Search
Algorithms},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {405--420},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_30},
doi = {10.1007/978-3-319-59647-1\_30},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/AntoniadisGST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/WangZWWCZ17,
author = {Xin Wang and
Weihua Zhang and
Zhaoguo Wang and
Ziyun Wei and
Haibo Chen and
Wenyun Zhao},
editor = {Vivek Sarkar and
Lawrence Rauchwerger},
title = {Eunomia: Scaling Concurrent Search Trees under Contention Using {HTM}},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017},
pages = {385--399},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018743.3018752},
doi = {10.1145/3018743.3018752},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/WangZWWCZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-00722,
author = {Kjell Winblad},
title = {Faster Concurrent Range Queries with Contention Adapting Search Trees
Using Immutable Data},
journal = {CoRR},
volume = {abs/1709.00722},
year = {2017},
url = {http://arxiv.org/abs/1709.00722},
eprinttype = {arXiv},
eprint = {1709.00722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Lowe16,
author = {Gavin Lowe},
title = {Concurrent depth-first search algorithms based on Tarjan's Algorithm},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {2},
pages = {129--147},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0382-1},
doi = {10.1007/S10009-015-0382-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Lowe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/UmarAH16,
author = {Ibrahim Umar and
Otto J. Anshus and
Phuong Hoai Ha},
editor = {Pierre{-}Fran{\c{c}}ois Dutot and
Denis Trystram},
title = {GreenBST: Energy-Efficient Concurrent Search Tree},
booktitle = {Euro-Par 2016: Parallel Processing - 22nd International Conference
on Parallel and Distributed Computing, Grenoble, France, August 24-26,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9833},
pages = {502--517},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43659-3\_37},
doi = {10.1007/978-3-319-43659-3\_37},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/UmarAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/UmarAH16,
author = {Ibrahim Umar and
Otto J. Anshus and
Phuong Hoai Ha},
editor = {Rafael Asenjo and
Tim Harris},
title = {Effect of portable fine-grained locality on energy efficiency and
performance in concurrent search trees},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
12-16, 2016},
pages = {36:1--36:2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851141.2851186},
doi = {10.1145/2851141.2851186},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/UmarAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LiuHH16,
author = {Hang Liu and
H. Howie Huang and
Yang Hu},
editor = {Fatma {\"{O}}zcan and
Georgia Koutrika and
Sam Madden},
title = {iBFS: Concurrent Breadth-First Search on GPUs},
booktitle = {Proceedings of the 2016 International Conference on Management of
Data, {SIGMOD} Conference 2016, San Francisco, CA, USA, June 26 -
July 01, 2016},
pages = {403--416},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2882903.2882959},
doi = {10.1145/2882903.2882959},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/LiuHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DavidG16,
author = {Tudor David and
Rachid Guerraoui},
editor = {Christian Scheideler and
Seth Gilbert},
title = {Concurrent Search Data Structures Can Be Blocking and Practically
Wait-Free},
booktitle = {Proceedings of the 28th {ACM} Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2016, Asilomar State Beach/Pacific Grove,
CA, USA, July 11-13, 2016},
pages = {337--348},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2935764.2935774},
doi = {10.1145/2935764.2935774},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/DavidG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/SagarnaO16,
author = {Ram{\'{o}}n Sagarna and
Yew{-}Soon Ong},
title = {Concurrently searching branches in software tests generation through
multitask evolution},
booktitle = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
2016, Athens, Greece, December 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SSCI.2016.7850040},
doi = {10.1109/SSCI.2016.7850040},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssci/SagarnaO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AspnesR16,
author = {James Aspnes and
Eric Ruppert},
editor = {Cyril Gavoille and
David Ilcinkas},
title = {Depth of a Random Binary Search Tree with Concurrent Insertions},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
Paris, France, September 27-29, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9888},
pages = {371--384},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53426-7\_27},
doi = {10.1007/978-3-662-53426-7\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AspnesR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/GathHV15,
author = {Max Gath and
Otthein Herzog and
Maximilian Vaske},
title = {Concurrent and Distributed Shortest-Path Searches in Multiagent-Based
Transport Systems},
journal = {Trans. Comput. Collect. Intell.},
volume = {20},
pages = {140--157},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27543-7\_7},
doi = {10.1007/978-3-319-27543-7\_7},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcci/GathHV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/DavidGT15,
author = {Tudor David and
Rachid Guerraoui and
Vasileios Trigonakis},
editor = {{\"{O}}zcan {\"{O}}zturk and
Kemal Ebcioglu and
Sandhya Dwarkadas},
title = {Asynchronized Concurrency: The Secret to Scaling Concurrent Search
Data Structures},
booktitle = {Proceedings of the Twentieth International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2015, Istanbul, Turkey, March 14-18, 2015},
pages = {631--644},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2694344.2694359},
doi = {10.1145/2694344.2694359},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/DavidGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/TagawaTK15,
author = {Kiyoharu Tagawa and
Hirokazu Takeuchi and
Atsushi Kodama},
title = {Memetic Differential Evolutions using adaptive Golden Section Search
and their concurrent implementation techniques},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2015, Sendai, Japan,
May 25-28, 2015},
pages = {2532--2539},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CEC.2015.7257200},
doi = {10.1109/CEC.2015.7257200},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cec/TagawaTK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compute/ChallaGNBG15,
author = {Jagat Sesh Challa and
Poonam Goyal and
S. Nikhil and
Sundar Balasubramaniam and
Navneet Goyal},
title = {A concurrent k-NN search algorithm for R-tree},
booktitle = {Proceedings of the 8th Annual {ACM} India Conference, Ghaziabad, India,
October 29-31, 2015},
pages = {123--128},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2835043.2835050},
doi = {10.1145/2835043.2835050},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compute/ChallaGNBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/SagotFO15,
author = {Sylvain Sagot and
Alain{-}J{\'{e}}r{\^{o}}me Foug{\`{e}}res and
Egon Ostrosi},
editor = {Richard Curran and
Nel Wognum and
Milton Borsato and
Josip Stjepandic and
Wim J. C. Verhagen},
title = {Search Engine Optimization Process: {A} Concurrent Intelligent Computing
Approach},
booktitle = {Transdisciplinary Lifecycle Analysis of Systems - Proceedings of the
22nd {ISPE} Inc. International Conference on Concurrent Engineering,
Delft, The Netherlands, July 20-23, 2015},
series = {Advances in Transdisciplinary Engineering},
volume = {2},
pages = {603--614},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-544-9-603},
doi = {10.3233/978-1-61499-544-9-603},
timestamp = {Fri, 22 Sep 2023 11:29:37 +0200},
biburl = {https://dblp.org/rec/conf/ispe/SagotFO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/RamachandranM15,
author = {Arunmoezhi Ramachandran and
Neeraj Mittal},
editor = {Albert Cohen and
David Grove},
title = {{CASTLE:} fast concurrent internal binary search tree using edge-based
locking},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
February 7-11, 2015},
pages = {281--282},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688500.2688551},
doi = {10.1145/2688500.2688551},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/RamachandranM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/UmarAH15,
author = {Ibrahim Umar and
Otto Johan Anshus and
Phuong Hoai Ha},
editor = {Bill Lin and
Jun (Jim) Xu and
Sudipta Sengupta and
Devavrat Shah},
title = {DeltaTree: {A} Locality-aware Concurrent Search Tree},
booktitle = {Proceedings of the 2015 {ACM} {SIGMETRICS} International Conference
on Measurement and Modeling of Computer Systems, Portland, OR, USA,
June 15-19, 2015},
pages = {457--458},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745844.2745891},
doi = {10.1145/2745844.2745891},
timestamp = {Mon, 01 Aug 2022 08:51:52 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/UmarAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AfekKKMT14,
author = {Yehuda Afek and
Haim Kaplan and
Boris Korenfeld and
Adam Morrison and
Robert Endre Tarjan},
title = {The {CB} tree: a practical concurrent self-adjusting search tree},
journal = {Distributed Comput.},
volume = {27},
number = {6},
pages = {393--417},
year = {2014},
url = {https://doi.org/10.1007/s00446-014-0229-0},
doi = {10.1007/S00446-014-0229-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AfekKKMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ArbelA14,
author = {Maya Arbel and
Hagit Attiya},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Shlomi Dolev},
title = {Concurrent updates with {RCU:} search tree as an example},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '14,
Paris, France, July 15-18, 2014},
pages = {196--205},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2611462.2611471},
doi = {10.1145/2611462.2611471},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/ArbelA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DrachslerVY14,
author = {Dana Drachsler and
Martin T. Vechev and
Eran Yahav},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Practical concurrent binary search trees via logical ordering},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {343--356},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555269},
doi = {10.1145/2555243.2555269},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/DrachslerVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NatarajanM14,
author = {Aravind Natarajan and
Neeraj Mittal},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Fast concurrent lock-free binary search trees},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {317--328},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555256},
doi = {10.1145/2555243.2555256},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/NatarajanM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lowe14,
author = {Gavin Lowe},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Concurrent Depth-First Search Algorithms},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {202--216},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_14},
doi = {10.1007/978-3-642-54862-8\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Lowe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/MullerKP13,
author = {Juliane M{\"{u}}ller and
Juho Kanniainen and
Robert Pich{\'{e}}},
title = {Calibration of {GARCH} models using concurrent accelerated random
search},
journal = {Appl. Math. Comput.},
volume = {221},
pages = {522--534},
year = {2013},
url = {https://doi.org/10.1016/j.amc.2013.07.002},
doi = {10.1016/J.AMC.2013.07.002},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/MullerKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/PoikolainenN13,
author = {Ilpo Poikolainen and
Ferrante Neri},
title = {Differential Evolution with Concurrent Fitness Based Local Search},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2013, Cancun, Mexico, June 20-23, 2013},
pages = {384--391},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CEC.2013.6557595},
doi = {10.1109/CEC.2013.6557595},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/PoikolainenN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/OshmanS13,
author = {Rotem Oshman and
Nir Shavit},
editor = {Panagiota Fatourou and
Gadi Taubenfeld},
title = {The SkipTrie: low-depth concurrent search without rebalancing},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
Montreal, QC, Canada, July 22-24, 2013},
pages = {23--32},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2484239.2484270},
doi = {10.1145/2484239.2484270},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/OshmanS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/VoglisPL13,
author = {Costas Voglis and
Dimitris G. Papageorgiou and
Isaac E. Lagaris},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Konrad Karczewski and
Jerzy Wasniewski},
title = {Concurrent Nomadic and Bundle Search: {A} Class of Parallel Algorithms
for Local Optimization},
booktitle = {Parallel Processing and Applied Mathematics - 10th International Conference,
{PPAM} 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected
Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8385},
pages = {343--353},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-55195-6\_32},
doi = {10.1007/978-3-642-55195-6\_32},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ppam/VoglisPL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/PoskittP13,
author = {Christopher M. Poskitt and
Simon M. Poulding},
editor = {G{\"{u}}nther Ruhe and
Yuanyuan Zhang},
title = {Using Contracts to Guide the Search-Based Verification of Concurrent
Programs},
booktitle = {Search Based Software Engineering - 5th International Symposium, {SSBSE}
2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8084},
pages = {263--268},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39742-4\_22},
doi = {10.1007/978-3-642-39742-4\_22},
timestamp = {Thu, 22 Aug 2019 08:46:38 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/PoskittP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/UmarAH13,
author = {Ibrahim Umar and
Otto J. Anshus and
Phuong Hoai Ha},
title = {DeltaTree: {A} Practical Locality-aware Concurrent Search Tree},
journal = {CoRR},
volume = {abs/1312.2628},
year = {2013},
url = {http://arxiv.org/abs/1312.2628},
eprinttype = {arXiv},
eprint = {1312.2628},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/UmarAH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msept/Briand12,
author = {Lionel C. Briand},
editor = {Victor Pankratius and
Michael Philippsen},
title = {Tackling the Testing and Verification of Multicore and Concurrent
Software as a Search Problem},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MSEPT} 2012, Prague, Czech Republic, May 31 - June 1,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7303},
pages = {16--17},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31202-1\_2},
doi = {10.1007/978-3-642-31202-1\_2},
timestamp = {Sun, 25 Oct 2020 22:50:59 +0100},
biburl = {https://dblp.org/rec/conf/msept/Briand12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AfekKKMT12,
author = {Yehuda Afek and
Haim Kaplan and
Boris Korenfeld and
Adam Morrison and
Robert Endre Tarjan},
editor = {Marcos K. Aguilera},
title = {CBTree: {A} Practical Concurrent Self-Adjusting Search Tree},
booktitle = {Distributed Computing - 26th International Symposium, {DISC} 2012,
Salvador, Brazil, October 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7611},
pages = {1--15},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33651-5\_1},
doi = {10.1007/978-3-642-33651-5\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AfekKKMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/SindhyaDM11,
author = {Karthik Sindhya and
Kalyanmoy Deb and
Kaisa Miettinen},
title = {Improving convergence of evolutionary multi-objective optimization
with local search: a concurrent-hybrid algorithm},
journal = {Nat. Comput.},
volume = {10},
number = {4},
pages = {1407--1430},
year = {2011},
url = {https://doi.org/10.1007/s11047-011-9250-4},
doi = {10.1007/S11047-011-9250-4},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/SindhyaDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsecs/Al-ObaidiL11,
author = {Alaa M. Al{-}Obaidi and
Sai Peck Lee},
editor = {Jasni Mohamad Zain and
Wan Maseri Binti Wan Mohd and
Eyas El{-}Qawasmeh},
title = {A Concurrent Coloured Petri Nets Model for Solving Binary Search Problem
on a Multicore Architecture},
booktitle = {Software Engineering and Computer Systems - Second International Conference,
{ICSECS} 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings,
Part {III}},
series = {Communications in Computer and Information Science},
volume = {181},
pages = {463--477},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22203-0\_41},
doi = {10.1007/978-3-642-22203-0\_41},
timestamp = {Sun, 04 Jun 2017 10:06:28 +0200},
biburl = {https://dblp.org/rec/conf/icsecs/Al-ObaidiL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KrenaLV11,
author = {Bohuslav Krena and
Zdenek Letko and
Tom{\'{a}}s Vojnar},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Coverage Metrics for Saturation-Based and Search-Based Testing of
Concurrent Software},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {177--192},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_14},
doi = {10.1007/978-3-642-29860-8\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KrenaLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KrenaLVU10,
author = {Bohuslav Krena and
Zdenek Letko and
Tom{\'{a}}s Vojnar and
Shmuel Ur},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {A platform for search-based testing of concurrent software},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {48--58},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866215},
doi = {10.1145/1866210.1866215},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KrenaLVU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BronsonCCO10,
author = {Nathan Grasso Bronson and
Jared Casper and
Hassan Chafi and
Kunle Olukotun},
editor = {R. Govindarajan and
David A. Padua and
Mary W. Hall},
title = {A practical concurrent binary search tree},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
January 9-14, 2010},
pages = {257--268},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1693453.1693488},
doi = {10.1145/1693453.1693488},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BronsonCCO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/TakanoMK09,
author = {Fumiyo Takano and
Yoshitaka Maekawa and
Hironori Kasahara},
editor = {Leonard Barolli and
Fatos Xhafa and
Hui{-}Huang Hsu},
title = {Multiple-Paths Search with Concurrent Thread Scheduling for Fast {AND/OR}
Tree Search},
booktitle = {2009 International Conference on Complex, Intelligent and Software
Intensive Systems, {CISIS} 2009, Fukuoka, Japan, March 16-19, 2009},
pages = {51--58},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CISIS.2009.65},
doi = {10.1109/CISIS.2009.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/TakanoMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BestFDTCMMBHXGB09,
author = {Micah J. Best and
Alexandra Fedorova and
Ryan Dickie and
Andrea Tagliasacchi and
Alex Couture{-}Beil and
Craig Mustard and
Shane Mottishaw and
Aron Brown and
Zhi Feng Huang and
Xiaoyuan Xu and
Nasser Ghazali and
Andrew Brownsword},
editor = {Henk J. Sips and
Dick H. J. Epema and
Hai{-}Xiang Lin},
title = {Searching for Concurrent Design Patterns in Video Games},
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 = {912--923},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03869-3\_84},
doi = {10.1007/978-3-642-03869-3\_84},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/BestFDTCMMBHXGB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ManisterskiSK08,
author = {Efrat Manisterski and
David Sarne and
Sarit Kraus},
title = {Cooperative Search with Concurrent Interactions},
journal = {J. Artif. Intell. Res.},
volume = {32},
pages = {1--36},
year = {2008},
url = {https://doi.org/10.1613/jair.2335},
doi = {10.1613/JAIR.2335},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/ManisterskiSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/KhlopenkovT08,
author = {Konstantin V. Khlopenkov and
Alexander P. Trishchenko},
title = {Implementation and Evaluation of Concurrent Gradient Search Method
for Reprojection of {MODIS} Level 1B Imagery},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {46},
number = {7},
pages = {2016--2027},
year = {2008},
url = {https://doi.org/10.1109/TGRS.2008.916633},
doi = {10.1109/TGRS.2008.916633},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/KhlopenkovT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/AlbaC08,
author = {Enrique Alba and
Francisco Chicano},
editor = {Conor Ryan and
Maarten Keijzer},
title = {Searching for liveness property violations in concurrent systems with
{ACO}},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2008, Proceedings,
Atlanta, GA, USA, July 12-16, 2008},
pages = {1727--1734},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389095.1389431},
doi = {10.1145/1389095.1389431},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/AlbaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/Gau07,
author = {Rung{-}Hung Gau},
title = {Modeling Concurrent Search in All-IP Heterogeneous Wireless Networks},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {56},
number = {5},
pages = {3137--3148},
year = {2007},
url = {https://doi.org/10.1109/TVT.2007.900480},
doi = {10.1109/TVT.2007.900480},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/Gau07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/GaoSZ07,
author = {Jian Gao and
Jigui Sun and
Yonggang Zhang},
editor = {Mehmet A. Orgun and
John Thornton},
title = {An Improved Concurrent Search Algorithm for Distributed CSPs},
booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint
Conference on Artificial Intelligence, Gold Coast, Australia, December
2-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4830},
pages = {181--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76928-6\_20},
doi = {10.1007/978-3-540-76928-6\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/GaoSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VechevYBR07,
author = {Martin T. Vechev and
Eran Yahav and
David F. Bacon and
Noam Rinetzky},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CGCExplorer: a semi-automated search procedure for provably correct
concurrent collectors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {456--467},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250787},
doi = {10.1145/1250734.1250787},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VechevYBR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZivanM06,
author = {Roie Zivan and
Amnon Meisels},
title = {Concurrent search for distributed CSPs},
journal = {Artif. Intell.},
volume = {170},
number = {4-5},
pages = {440--461},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2005.12.005},
doi = {10.1016/J.ARTINT.2005.12.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ZivanM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ZhangL06,
author = {Haizheng Zhang and
Victor R. Lesser},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Multi-agent based peer-to-peer information retrieval systems with
concurrent search sessions},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {305--312},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160685},
doi = {10.1145/1160633.1160685},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/ZhangL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Mondragon-BecerraCGGLOP06,
author = {R. Mondrag{\'{o}}n{-}Becerra and
Nicandro Cruz{-}Ram{\'{\i}}rez and
Daniel{-}Alejandro Garc{\'{\i}}a{-}L{\'{o}}pez and
Karina Guti{\'{e}}rrez{-}Fragoso and
Wulfrano Arturo Luna{-}Ram{\'{\i}}rez and
Gustavo Ortiz{-}Hern{\'{a}}ndez and
Carlos Adolfo Pi{\~{n}}a{-}Garc{\'{\i}}a},
editor = {Alexander F. Gelbukh and
Carlos A. Reyes Garc{\'{\i}}a},
title = {Automatic Construction of Bayesian Network Structures by Means of
a Concurrent Search Mechanism},
booktitle = {{MICAI} 2006: Advances in Artificial Intelligence, 5th Mexican International
Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4293},
pages = {652--662},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11925231\_62},
doi = {10.1007/11925231\_62},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/Mondragon-BecerraCGGLOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Gradara05,
author = {Sara Gradara},
title = {Heuristic search for verifying concurrent systems described in {CCS}},
school = {University of Sannio, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0012954},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Gradara05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GradaraSV05,
author = {Sara Gradara and
Antonella Santone and
Maria Luisa Villani},
title = {Using heuristic search for finding deadlocks in concurrent systems},
journal = {Inf. Comput.},
volume = {202},
number = {2},
pages = {191--226},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.07.004},
doi = {10.1016/J.IC.2005.07.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GradaraSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Eytani06,
author = {Yaniv Eytani},
editor = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny Sipma},
title = {Concurrent Java Test Generation as a Search Problem},
booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
pages = {57--72},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.004},
doi = {10.1016/J.ENTCS.2006.02.004},
timestamp = {Fri, 16 Dec 2022 11:10:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Eytani06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/RenekerSZPG04,
author = {Jeff Reneker and
Chi{-}Ren Shyu and
Peiyu Zeng and
Joseph C. Polacco and
Walter Gassmann},
title = {{ACMES:} fast multiple-genome searches for short repeat sequences
with concurrent cross-species information retrieval},
journal = {Nucleic Acids Res.},
volume = {32},
number = {Web-Server-Issue},
pages = {649--653},
year = {2004},
url = {https://doi.org/10.1093/nar/gkh455},
doi = {10.1093/NAR/GKH455},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/RenekerSZPG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/GauH04,
author = {Rung{-}Hung Gau and
Zygmunt J. Haas},
title = {Concurrent search of mobile users in cellular networks},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {12},
number = {1},
pages = {117--130},
year = {2004},
url = {https://doi.org/10.1109/TNET.2003.822662},
doi = {10.1109/TNET.2003.822662},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/GauH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/ZivanM04,
author = {Roie Zivan and
Amnon Meisels},
editor = {Valerie Barr and
Zdravko Markov},
title = {Concurrent Backtrack Search on DisCSPs},
booktitle = {Proceedings of the Seventeenth International Florida Artificial Intelligence
Research Society Conference, Miami Beach, Florida, {USA}},
pages = {776--782},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/FLAIRS/2004/flairs04-132.php},
timestamp = {Wed, 26 Oct 2022 08:35:30 +0200},
biburl = {https://dblp.org/rec/conf/flairs/ZivanM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChristiansenH04,
author = {Jan Christiansen and
Frank Huch},
editor = {Chris Okasaki and
Kathleen Fisher},
title = {Searching for deadlocks while debugging concurrent haskell programs},
booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
19-21, 2004},
pages = {28--39},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016850.1016858},
doi = {10.1145/1016850.1016858},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChristiansenH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icl/GauH03,
author = {Rung{-}Hung Gau and
Zygmunt J. Haas},
title = {Concurrently searching for mobile users in cellular networks},
journal = {{IEEE} Commun. Lett.},
volume = {7},
number = {6},
pages = {287--289},
year = {2003},
url = {https://doi.org/10.1109/LCOMM.2003.813995},
doi = {10.1109/LCOMM.2003.813995},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icl/GauH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hf/RichardWEPSV02,
author = {Christian M. Richard and
Richard D. Wright and
Cheryl Ee and
Steven L. Prime and
Yujiro Shimizu and
John Vavrik},
title = {Effect of a Concurrent Auditory Task on Visual Search Performance
in a Driving-Related Image-Flicker Task},
journal = {Hum. Factors},
volume = {44},
number = {1},
pages = {108--119},
year = {2002},
url = {https://doi.org/10.1518/0018720024494874},
doi = {10.1518/0018720024494874},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hf/RichardWEPSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LimK02,
author = {Sungchae Lim and
Myoung{-}Ho Kim},
title = {Restructuring the concurrent B+-tree with non-blocked search operations},
journal = {Inf. Sci.},
volume = {147},
number = {1-4},
pages = {123--142},
year = {2002},
url = {https://doi.org/10.1016/S0020-0255(02)00261-X},
doi = {10.1016/S0020-0255(02)00261-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LimK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/TaiK01,
author = {Kuo{-}Chung Tai and
Bengi Kara{\c{c}}ali},
title = {On Godefroid's Stateless Search Technique for Testing Concurrent Programs},
booktitle = {Fifth International Symposium on Autonomous Decentralized Systems,
{ISADS} 2001, Dallas, Texas, USA, March 26-28, 2001},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISADS.2001.917397},
doi = {10.1109/ISADS.2001.917397},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/TaiK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/OhwadaNM00,
author = {Hayato Ohwada and
Hiroyuki Nishiyama and
Fumio Mizoguchi},
editor = {James Cussens and
Alan M. Frisch},
title = {Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment},
booktitle = {Inductive Logic Programming, 10th International Conference, {ILP}
2000, London, UK, July 24-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1866},
pages = {165--173},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44960-4\_10},
doi = {10.1007/3-540-44960-4\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ilp/OhwadaNM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iolts/Santos00,
author = {Jose Miguel Vieira dos Santos},
title = {Concurrent Scan Monitoring and Multi-Pattern Search},
booktitle = {6th {IEEE} International On-Line Testing Workshop {(IOLTW} 2000),
3-5 July 2000, Palma de Mallorca, Spain},
pages = {107--111},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/OLT.2000.856621},
doi = {10.1109/OLT.2000.856621},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iolts/Santos00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/SlootmaekersWJ98,
author = {Romain Slootmaekers and
Henk Van Wulpen and
Wouter Joosen},
editor = {Peter M. A. Sloot and
Marian Bubak and
Louis O. Hertzberger},
title = {Modelling Genetic Search Agents with a Concurrent Object-Oriented
Language},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1998, Amsterdam, The Netherlands, April
21-23, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1401},
pages = {843--853},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0037211},
doi = {10.1007/BFB0037211},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/SlootmaekersWJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SkhisovS98,
author = {Eduard Skhisov and
Boris Stilman},
title = {No-search approach in linguistic geometry: experiments with concurrent
agents},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {4935--4940},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.727635},
doi = {10.1109/ICSMC.1998.727635},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/SkhisovS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/Fabiano96,
author = {Antonio S. Fabiano and
Stefano A. Cerri},
title = {Concurrent, Asynchronous Search for the Availability of Knowledge},
journal = {Appl. Artif. Intell.},
volume = {10},
number = {2},
pages = {145--162},
year = {1996},
url = {https://doi.org/10.1080/088395196118632},
doi = {10.1080/088395196118632},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/Fabiano96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NurmiS96,
author = {Otto Nurmi and
Eljas Soisalon{-}Soininen},
title = {Chromatic Binary Search Trees. {A} Structure for Concurrent Rebalancing},
journal = {Acta Informatica},
volume = {33},
number = {6},
pages = {547--557},
year = {1996},
url = {https://doi.org/10.1007/BF03036462},
doi = {10.1007/BF03036462},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NurmiS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/CohenF96,
author = {David M. Cohen and
Michael L. Fredman},
title = {Weighted Binary Trees for Concurrent Searching},
journal = {J. Algorithms},
volume = {20},
number = {1},
pages = {87--112},
year = {1996},
url = {https://doi.org/10.1006/jagm.1996.0004},
doi = {10.1006/JAGM.1996.0004},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/CohenF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/IshiharaMHNAYAUYS95,
author = {Kazuya Ishihara and
Shinichi Masuda and
Shin{-}ichi Hattori and
Hirofumi Nishikawa and
Yoshihide Ajioka and
Tsuyoshi Yamada and
Hiroyuki Amishiro and
Shin{-}ichi Uramoto and
Masahiko Yoshimoto and
Tadashi Sumi},
title = {A half-pel precision {MPEG2} motion-estimation processor with concurrent
three-vector search},
journal = {{IEEE} J. Solid State Circuits},
volume = {30},
number = {12},
pages = {1502--1509},
year = {1995},
url = {https://doi.org/10.1109/4.482198},
doi = {10.1109/4.482198},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/IshiharaMHNAYAUYS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NestmannS95,
author = {Uwe Nestmann and
Martin Steffen},
editor = {Burkhard Freitag and
Cliff B. Jones and
Christian Lengauer and
Hans{-}J{\"{o}}rg Schek},
title = {Correct Transformational Design of Concurrent Search Structures},
booktitle = {Object Orientation with Parallelism and Persistence (the book grow
out of a Dagstuhl Seminar in April 1995)},
pages = {23--42},
publisher = {Kluwer Academic Publishers},
year = {1995},
timestamp = {Wed, 31 Jul 2019 08:45:21 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NestmannS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Huntbach95a,
author = {Matthew M. Huntbach},
editor = {Jim Hightower and
Ed Deaton and
K. M. George and
Janice H. Carroll and
Dave Oppenheim},
title = {Search in concurrent logic languages},
booktitle = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
Nashville, TN, USA, February 26-28, 1995},
pages = {164--170},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/315891.315947},
doi = {10.1145/315891.315947},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/Huntbach95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/VarshneyaMB94,
author = {Atul Varshneya and
B. B. Madan and
M. Balakrishnan},
editor = {Howard Jay Siegel},
title = {Concurrent Search and Insertion in K-Dimensional Height Balanced Trees},
booktitle = {Proceedings of the 8th International Symposium on Parallel Processing,
Canc{\'{u}}n, Mexico, April 1994},
pages = {883--887},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/IPPS.1994.288202},
doi = {10.1109/IPPS.1994.288202},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/VarshneyaMB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SchulteS94,
author = {Christian Schulte and
Gert Smolka},
editor = {Maurice Bruynooghe},
title = {Encapsulated Search for Higher-order Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {505--520},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/SchulteS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/David92,
author = {Vincent David},
title = {Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation},
booktitle = {Workshop on Concurrent and Parallel Implementations (sessions {A}
and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
year = {1992},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/David92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KhanY92,
author = {Javed I. Khan and
David Y. Y. Yun},
title = {An Empirical Study on the Potential of Search Parallelism on {MIMD}
Architecture},
booktitle = {Workshop on Concurrent and Parallel Implementations (sessions {A}
and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
year = {1992},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KhanY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/ColbrookBDW91,
author = {Adrian Colbrook and
Eric A. Brewer and
Chrysanthos Dellarocas and
William E. Weihl},
title = {An Algorithm for Concurrent Search Trees},
booktitle = {Proceedings of the International Conference on Parallel Processing,
{ICPP} '91, Austin, Texas, USA, August 1991. Volume {III:} Algorithms
and Applications},
pages = {138--141},
publisher = {{CRC} Press},
year = {1991},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/ColbrookBDW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdis/Lin91,
author = {Zheng Lin},
title = {{CAT:} An Execution Model for Concurrent Full Text Search},
booktitle = {Proceedings of the First International Conference on Parallel and
Distributed Information Systems {(PDIS} 1991), Fontainebleu Hilton
Resort, Miami Beach, Florida, USA, December 4-6, 1991},
pages = {151--158},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PDIS.1991.183085},
doi = {10.1109/PDIS.1991.183085},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdis/Lin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/Parker89,
author = {Jeff D. Parker},
title = {A Concurrent Search Structure},
journal = {J. Parallel Distributed Comput.},
volume = {7},
number = {2},
pages = {256--278},
year = {1989},
url = {https://doi.org/10.1016/0743-7315(89)90020-8},
doi = {10.1016/0743-7315(89)90020-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/Parker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AgrawalCA89,
author = {Vishwani D. Agrawal and
Kwang{-}Ting Cheng and
Prathima Agrawal},
title = {A directed search method for test generation using a concurrent simulator},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {8},
number = {2},
pages = {131--138},
year = {1989},
url = {https://doi.org/10.1109/43.21831},
doi = {10.1109/43.21831},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/AgrawalCA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/ShashaG88,
author = {Dennis E. Shasha and
Nathan Goodman},
title = {Concurrent Search Structure Algorithms},
journal = {{ACM} Trans. Database Syst.},
volume = {13},
number = {1},
pages = {53--90},
year = {1988},
url = {https://doi.org/10.1145/42201.42204},
doi = {10.1145/42201.42204},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/ShashaG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Shasha85,
author = {Dennis E. Shasha},
title = {What Good are Concurrent Search Structure Algorithms for databases
Anyway?},
journal = {{IEEE} Database Eng. Bull.},
volume = {8},
number = {2},
pages = {84--90},
year = {1985},
url = {http://sites.computer.org/debull/85JUN-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/Shasha85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Manber84,
author = {Udi Manber},
title = {Concurrent Maintenance of Binary Search Trees},
journal = {{IEEE} Trans. Software Eng.},
volume = {10},
number = {6},
pages = {777--784},
year = {1984},
url = {https://doi.org/10.1109/TSE.1984.5010306},
doi = {10.1109/TSE.1984.5010306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Manber84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EriksenS82,
author = {Ole Eriksen and
J{\o}rgen Staunstrup},
title = {Concurrent Algorithms for Root Searching},
journal = {Acta Informatica},
volume = {18},
pages = {361--376},
year = {1982},
url = {https://doi.org/10.1007/BF00289575},
doi = {10.1007/BF00289575},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EriksenS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Gottlieb81,
author = {Allan Gottlieb},
title = {Comments on "Concurrent Search and Insertion in {AVL} Trees"},
journal = {{IEEE} Trans. Computers},
volume = {30},
number = {10},
pages = {812},
year = {1981},
url = {https://doi.org/10.1109/TC.1981.1675700},
doi = {10.1109/TC.1981.1675700},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Gottlieb81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Ellis80,
author = {Carla Schlatter Ellis},
title = {Concurrent Search and Insertion in 2-3 Trees},
journal = {Acta Informatica},
volume = {14},
pages = {63--86},
year = {1980},
url = {https://doi.org/10.1007/BF00289064},
doi = {10.1007/BF00289064},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Ellis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Ellis80,
author = {Carla Schlatter Ellis},
title = {Concurrent Search and Insertion in {AVL} Trees},
journal = {{IEEE} Trans. Computers},
volume = {29},
number = {9},
pages = {811--817},
year = {1980},
url = {https://doi.org/10.1109/TC.1980.1675680},
doi = {10.1109/TC.1980.1675680},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Ellis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KungL80,
author = {H. T. Kung and
Philip L. Lehman},
title = {Concurrent Manipulation of Binary Search Trees},
journal = {{ACM} Trans. Database Syst.},
volume = {5},
number = {3},
pages = {354--382},
year = {1980},
url = {https://doi.org/10.1145/320613.320619},
doi = {10.1145/320613.320619},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/KungL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/KungL78,
author = {H. T. Kung and
Philip L. Lehman},
editor = {S. Bing Yao},
title = {A Concurrent Database Manipulation Problem: Binary Search Trees (Abstract)},
booktitle = {Fourth International Conference on Very Large Data Bases, September
13-15, 1978, West Berlin, Germany},
pages = {498},
publisher = {{IEEE} Computer Society},
year = {1978},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vldb/KungL78.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-24 10:10 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:
