A Formal Definition of JML in Coq
A Forest of Hashed Binary Search Trees with Reduced Internal Path
A FAST METHOD FOR IMPLEMENTATION OF THE PROPERTY
A Fast Contention-Friendly Binary Search Tree
A fast algorithm for building lattices
A Efficient Range Searching for Categorical and Plain Data
A Dynamic Index for Multi-Dimensional Objects
a downloadable Instructors Guide (Word document)
A Direct Manipulation Language for Explaining Algorithms
A Decision Procedure for Concurrent Skiplists
A Database Index to Large Biological Sequences
A Data Warehouse Architecture for Clinical Data
A Data Structure for Manipulating Priority Queues (by Jean Vuillemin
A Data Parallel Algorithm for XML DOM Parsing
A D S COS
A D S COS
A D S COS
A d - Centrum voor Wiskunde en Informatica
A Contention-Friendly Binary Search Tree
A Compressed Text Index on Secondary Memory ∗
