DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
DMTCP: Transparent Checkpointing for Cluster Computations and the Desktop
Domain decomposition and locality optimization for large-scale lattice Boltzmann simulations
Domain Decomposition Based High Performance Parallel Computing
Dotted Version Vectors: Logical Clocks for Optimistic Replication
Double Circulant Minimum Storage Regenerating Codes
Dynamic Approaches to In-Network Aggregation
Dynamic Fractional Resource Scheduling vs. Batch Scheduling
Dynamic management of transactions in distributed real-time processing system
Dynamic scheduling of virtual machines running hpc workloads in scientific grids