Diversity driven adaptive test generation for concurrent data structures

Information and Software Technology ◽

10.1016/j.infsof.2018.07.001 ◽

2018 ◽

Vol 103 ◽

pp. 162-173 ◽

Author(s):

Linhai Ma ◽

Peng Wu ◽

Tsong Yueh Chen

Keyword(s):

Data Structures ◽

Test Generation ◽

Concurrent Data Structures ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Irina Calciu ◽

Siddhartha Sen ◽

Mahesh Balakrishnan ◽

Marcos K. Aguilera

Keyword(s):

Data Structures ◽

Black Box ◽

Concurrent Data Structures

Download Full-text