VerSum: Verifiable Computations over Large Public Logs
Version Stamps for Functional Arrays and Determinacy Checking
Verifying Two Lines of C with Why3: an Exercise in Program
Verifying the Unification Algorithm in LCF
Venti: a new approach to archival storage Bell Labs, Lucent Technologies Abstract
Vectors, Lists, and Sequences
Vectors, Lists, and Sequences
Vectors and Array Lists The Vector ADT (§5.1) Applications of
Vectors
Vector ADT versus Arrays List ADT versus Linked Lists Position ADT
Vector
VBI-Tree: A Peer-to-Peer Framework for
Variables Storage, Type, Declaration.
van Emde Boas trees. - Department of Computer Science
v - Researchmap
v - Researchmap
Using Top Trees For Easy Programming of Tree - CEUR
Using Set Partition in Hierarchical Tree in the EZW Algorithm
Using Restricted Transactional Memory to Build a Scalable
Using persistent data structures for adding range
