Verifiable Computation with Massively Parallel Interactive Proofs
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking
Virtual Data in CMS Production
Virtual Environments for multiphysics code validation on Computing Grids
Virtual Laboratory: Enabling On-Demand Drug Design with the World Wide Grid
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models
Visual Environment for Rapid Composition of Parameter-Sweep Applications for Distributed Processing on Global Grids