Runtime Refinement Checking of Concurrent Data Structures

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.01.028 ◽

2005 ◽

Vol 113 ◽

pp. 163-179 ◽

Cited By ~ 5

Author(s):

Serdar Tasiran ◽

Shaz Qadeer

Keyword(s):

Data Structures ◽

Concurrent Data Structures ◽

Refinement Checking

Download Full-text

Two concurrent data structures for efficient datalog query processing

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18 ◽

10.1145/3178487.3178525 ◽

2018 ◽

Author(s):

Herbert Jordan ◽

Bernhard Scholz ◽

Pavle Subotic

Keyword(s):

Query Processing ◽

Data Structures ◽

Concurrent Data Structures

Download Full-text

Testing concurrent data structures

Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 ◽

10.1145/248052.248074 ◽

1996 ◽

Author(s):

John L. Bruno ◽

Phillip B. Gibbons ◽

Steven Phillips

Keyword(s):

Data Structures ◽

Concurrent Data Structures

Download Full-text

Proving Concurrent Data Structures Linearizable

2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2016.31 ◽

2016 ◽

Cited By ~ 1

Author(s):

Vineet Singh ◽

Iulian Neamtiu ◽

Rajiv Gupta

Keyword(s):

Data Structures ◽

Concurrent Data Structures

Download Full-text

Relaxing the Correctness Conditions on Concurrent Data Structures for Multicore CPUs. A Numerical Case Study

Parallel Processing and Applied Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-78054-2_3 ◽

2018 ◽

pp. 25-36

Author(s):

Giuliano Laccetti ◽

Marco Lapegna ◽

Valeria Mele ◽

Raffaele Montella

Keyword(s):

Data Structures ◽

Concurrent Data Structures ◽

Numerical Case Study ◽

Multicore Cpus

Download Full-text

Using relaxed concurrent data structures for contention minimization in multithreaded MPI programs

Journal of Physics Conference Series ◽

10.1088/1742-6596/1399/3/033037 ◽

2019 ◽

Vol 1399 ◽

pp. 033037

Author(s):

Andrey V Tabakov ◽

Alexey A Paznikov

Keyword(s):

Data Structures ◽

Concurrent Data Structures

Download Full-text

Concurrent data structures

Advances in Computing and Information — ICCI '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-53504-7_92 ◽

1990 ◽

pp. 346-355

Author(s):

Adrian Colbrook ◽

Colin Smythe

Keyword(s):

Data Structures ◽

Concurrent Data Structures

Download Full-text

Optimal Instrumentation of Data-flow in Concurrent Data Structures

Lecture Notes in Computer Science - Principles of Distributed Systems ◽

10.1007/978-3-642-25873-2_34 ◽

2011 ◽

pp. 497-512 ◽

Cited By ~ 1

Author(s):

Samaneh Navabpour ◽

Borzoo Bonakdarpour ◽

Sebastian Fischmeister

Keyword(s):

Data Structures ◽

Data Flow ◽

Concurrent Data Structures

Download Full-text

A VLSI Architecture for Concurrent Data Structures

10.1007/978-1-4613-1995-5 ◽

1987 ◽

Cited By ~ 76

Author(s):

William J. Dally

Keyword(s):

Data Structures ◽

Vlsi Architecture ◽

Concurrent Data Structures

Download Full-text

Lock-Free Concurrent Data Structures

Programming multi-core and many-core computing systems ◽

10.1002/9781119332015.ch3 ◽

2017 ◽

pp. 59-79

Author(s):

Daniel Cederman ◽

Anders Gidenstam ◽

Phuong Ha ◽

Hkan Sundell ◽

Marina Papatriantafilou ◽

...

Keyword(s):

Data Structures ◽

Concurrent Data Structures

Download Full-text

Black-box Concurrent Data Structures for NUMA Architectures

ACM SIGOPS Operating Systems Review ◽

10.1145/3093315.3037721 ◽

2017 ◽

Vol 51 (2) ◽

pp. 207-221 ◽

Cited By ~ 1

Author(s):

Irina Calciu ◽

Siddhartha Sen ◽

Mahesh Balakrishnan ◽

Marcos K. Aguilera

Keyword(s):

Data Structures ◽

Black Box ◽

Concurrent Data Structures

Download Full-text