Sciweavers

11784 search results - page 195 / 2357
» Interpolation for data structures
Sort
View
SWAT
2010
Springer
262views Algorithms» more  SWAT 2010»
15 years 8 months ago
Strictly-Regular Number System and Data Structures
Amr Elmasry, Claus Jensen, Jyrki Katajainen
SPAA
2010
ACM
15 years 8 months ago
Low-contention data structures
James Aspnes, David Eisenstat, Yitong Yin
86
Voted
CIKM
2001
Springer
15 years 7 months ago
Structural Inference for Semistructured Data
Jason Sankey, Raymond K. Wong
CSL
2001
Springer
15 years 7 months ago
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn, John C. Reynolds, Hongseok Yang