Lock-free Transactions without Rollbacks for Linked Data Structures

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA '16 ◽

10.1145/2935764.2935780 ◽

2016 ◽

Author(s):

Deli Zhang ◽

Damian Dechev

Keyword(s):

Data Structures ◽

Download Full-text

A Logic of Reachable Patterns in Linked Data-Structures

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/11690634_7 ◽

2006 ◽

pp. 94-110 ◽

Author(s):

Greta Yorsh ◽

Alexander Rabinovich ◽

Mooly Sagiv ◽

Antoine Meyer ◽

Ahmed Bouajjani

Keyword(s):

Data Structures ◽

Download Full-text

Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures (Extended Abstract)

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_34 ◽

1999 ◽

pp. 372-381 ◽

Author(s):

Roberto Grossi ◽

Giuseppe F. Italiano

Keyword(s):

Data Structures ◽

Download Full-text

Estimating Effective Prefetch Distance in Threaded Prefetching for Linked Data Structures

International Journal of Parallel Programming ◽

10.1007/s10766-012-0194-9 ◽

2012 ◽

Vol 40 (5) ◽

pp. 465-487 ◽

Author(s):

Yan Huang ◽

Zhi-Min Gu ◽

Jie Tang ◽

Min Cai ◽

Jianxun Zhang ◽

...

Keyword(s):

Data Structures ◽

Download Full-text

Data flow analysis for software prefetching linked data structures in Java

Proceedings 2001 International Conference on Parallel Architectures and Compilation Techniques ◽

10.1109/pact.2001.953309 ◽

2002 ◽

Author(s):

B. Cahoon ◽

K.S. McKinley

Keyword(s):

Data Structures ◽

Linked Data ◽

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Software Prefetching

Download Full-text

Memory-side prefetching for linked data structures for processor-in-memory systems

Journal of Parallel and Distributed Computing ◽

10.1016/j.jpdc.2004.11.004 ◽

2005 ◽

Vol 65 (4) ◽

pp. 448-463 ◽

Author(s):

Christopher J. Hughes ◽

Sarita V. Adve

Keyword(s):

Data Structures ◽

Linked Data ◽

Download Full-text

Real-time graphical representation of linked data structures

Proceedings of the sixteenth SIGCSE technical symposium on Computer science education - SIGCSE '85 ◽

10.1145/323287.323284 ◽

1985 ◽

Author(s):

Gerard K. Rambally

Keyword(s):

Real Time ◽

Data Structures ◽

Linked Data ◽

Graphical Representation

Download Full-text

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.10.008 ◽

2006 ◽

Vol 145 ◽

pp. 113-130 ◽

Author(s):

Milan Češka ◽

Pavel Erlebach ◽

Tomáš Vojnar

Keyword(s):

Data Structures ◽

Download Full-text

A Decidable Logic for Describing Linked Data Structures

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_2 ◽

1999 ◽

pp. 2-19 ◽

Author(s):

Michael Benedikt ◽

Thomas Reps ◽

Mooly Sagiv

Keyword(s):

Data Structures ◽

Download Full-text

Automatic Restructuring of Linked Data Structures

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13374-9_18 ◽

2010 ◽

pp. 263-277 ◽

Author(s):

Harmen L. A. van der Spek ◽

C. W. Mattias Holm ◽

Harry A. G. Wijshoff

Keyword(s):

Data Structures ◽

Download Full-text

A Programmable Memory Hierarchy for Prefetching Linked Data Structures

Lecture Notes in Computer Science - High Performance Computing ◽

10.1007/3-540-47847-7_15 ◽

2002 ◽

pp. 160-174 ◽

Author(s):

Chia-Lin Yang ◽

Alvin Lebeck

Keyword(s):

Data Structures ◽

Linked Data ◽

Memory Hierarchy

Download Full-text