×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [heap data structures]
Documents
10.8.2006 SAT-based methods for proving properties in Reynolds/O'Hearn Separation Logic Daniel Kröning (currently visiting CBL) Joint work with B. Cook
215 views
Software
Native Code & Off-Heap Data Structures for Solr: Presented by Yonik Seeley, Heliosearch
393 views