Sciweavers

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