11212 search results - page 2200 / 2243 » Semi-persistent Data Structures |
117
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract-- Despite of advances in machine learning technologies, a schema matching result between two database schemas (e.g., those derived from COMA++) is likely to be imprecise. ...
158
click to vote
POPL
2010
ACM
16 years 9 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
124
click to vote
POPL
2010
ACM
16 years 9 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
164
click to vote
SODA
2010
ACM
16 years 9 days ago
2010
ACM
We present a simple and practical algorithm for the c-approximate near neighbor problem (c-NN): given n points P Rd and radius R, build a data structure which, given q Rd , can ...
109
click to vote
PPOPP
2010
ACM
16 years 5 days ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...