Sciweavers

11784 search results - page 188 / 2357
» Interpolation for data structures
Sort
View
114
Voted
CADE
2005
Springer
16 years 3 months ago
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 3 months ago
Leveraging data and structure in ontology integration
Lise Getoor, Octavian Udrea, Renée J. Mille...
SODA
2010
ACM
409views Algorithms» more  SODA 2010»
16 years 21 days ago
Data Structures for Range Minimum Queries in Multidimensional Arrays
Given a d-dimensional array A with N entries, the Range Minimum Query (RMQ) asks for the minimum element within a contiguous subarray of A. The 1D RMQ problem has been studied int...
Hao Yuan, Mikhail J. Atallah
105
Voted
PLDI
2009
ACM
15 years 10 months ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik