×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [heap data structures]
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
216 views
Native Code & Off-Heap Data Structures for Solr: Presented by Yonik Seeley, Heliosearch
395 views