scholarly journals A Decidable Logic for Describing Linked Data Structures

1999 ◽  
pp. 2-19 ◽  
Author(s):  
Michael Benedikt ◽  
Thomas Reps ◽  
Mooly Sagiv
Keyword(s):  
Data Structures ◽  
Linked Data

scholarly journals A Logic of Reachable Patterns in Linked Data-Structures

2006 ◽  
pp. 94-110 ◽  
Author(s):  
Greta Yorsh ◽  
Alexander Rabinovich ◽  
Mooly Sagiv ◽  
Antoine Meyer ◽  
Ahmed Bouajjani
Keyword(s):  
Data Structures ◽  
Linked Data

Estimating Effective Prefetch Distance in Threaded Prefetching for Linked Data Structures

2012 ◽  
Vol 40 (5) ◽  
pp. 465-487 ◽  
Author(s):  
Yan Huang ◽  
Zhi-Min Gu ◽  
Jie Tang ◽  
Min Cai ◽  
Jianxun Zhang ◽  
...  
Keyword(s):  
Data Structures ◽  
Linked Data

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

2005 ◽  
Vol 65 (4) ◽  
pp. 448-463 ◽  
Author(s):  
Christopher J. Hughes ◽  
Sarita V. Adve
Keyword(s):  
Data Structures ◽  
Linked Data ◽  
Memory Systems

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

2006 ◽  
Vol 145 ◽  
pp. 113-130 ◽  
Author(s):  
Milan Češka ◽  
Pavel Erlebach ◽  
Tomáš Vojnar
Keyword(s):  
Data Structures ◽  
Linked Data

Automatic Restructuring of Linked Data Structures

2010 ◽  
pp. 263-277 ◽  
Author(s):  
Harmen L. A. van der Spek ◽  
C. W. Mattias Holm ◽  
Harry A. G. Wijshoff
Keyword(s):  
Data Structures ◽  
Linked Data
Sign in / Sign up

Export Citation Format

Share Document