Cs-Dc
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
Distributed Optimization via Adaptive Regularization for Large Problems with Separable Constraints
Accelerating cellular automata simulations using AVX and CUDA
Effective Cost Mechanism for Cloudlet Retransmission and Prioritized VM Scheduling Mechanism over Broker Virtual Machine Communication Framework
Dpush: A scalable decentralized spam resistant unsolicited messaging protocol
Energy Aware, Scalable, K-Hop Based Cluster Formation In MANET
Comparison of OpenMP & OpenCL Parallel Processing Technologies
A Simulation Model for Evaluating Distributed Systems Dependability
Knowledge Discovery in the SCADA Databases Used for the Municipal Power Supply System
Standing Together for Reproducibility in Large-Scale Computing: Report on reproducibility@XSEDE
Probabilistically Bounded Staleness for Practical Partial Quorums
Neutron Star Evolutions using Tabulated Equations of State with a New Execution Model
Synthesising Choreographies from Local Session Types (extended version)
Random walks which prefer unvisited edges. Exploring high girth even degree expanders in linear time
Mariages et Trahisons
Bonsai: A GPU Tree-Code
Building Fastest Broadcast Trees in Periodically-Varying Graphs
Programming Cloud Resource Orchestration Framework: Operations and Research Challenges
Securing business operations in an SOA
Quasi-cyclic Flexible Regenerating Codes
Generalized Network Tomography
Decentralized Data Fusion and Active Sensing with Mobile Sensors for Modeling and Predicting Spatiotemporal Traffic Phenomena
