Cs-Dc
Lazy Decomposition for Distributed Decision Procedures
Unleashing the Power of Distributed CPU/GPU Architectures: Massive Astronomical Data Analysis and Visualization case study
Reliable Provisioning of Spot Instances for Compute-intensive Applications
Efficient Synchronization Primitives for GPUs
On the Practicality of `Practical Byzantine Fault Tolerance
An ACO Algorithm for Effective Cluster Head Selection
Fast Distributed Computation of Distances in Networks
Secure Execution of Distributed Session Programs
Optimal Joint Multiple Resource Allocation Method for Cloud Computing Environments
A Low-Energy Fast Cyber Foraging Mechanism for Mobile Devices
Anonymous Meeting in Networks
Comparison of different Propagation Steps for the Lattice Boltzmann Method
Task Interaction in an HTN Planner
Exploring Oracle RDBMS latches using Solaris DTrace
The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization
Improving the Load Balancing Performance of Vlasiator
Near Linear-Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs
Hierarchical QR factorization algorithms for multi-core cluster systems
A Novel Elliptic curve cryptography Processor using NoC design
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus)
Provisioning Spot Market Cloud Resources to Create Cost-effective Virtual Clusters
MyZone: A Next-Generation Online Social Network
