Cs-Dc
The projector algorithm: a simple parallel algorithm for computing Voronoi diagrams and Delaunay graphs
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Energy Efficient Decentralized Detection Based on Bit-optimal Multi-hop Transmission in One-dimensional Wireless Sensor Networks
Caracterizac{c}~ao de tempos de ida-e-volta na Internet
Agent-Based {mu}-Tools Integrated into a Co-Design Platform
Faster Approximate Distance Queries and Compact Routing in Sparse Graphs
Parameterized Concurrent Multi-Party Session Types
Can Quantum Communication Speed Up Distributed Computation?
Robust Probabilistic Inference in Distributed Systems
Coalesced communication: a design pattern for complex parallel scientific software
A Formal Approach to Distributed System Security Test Generation
Parameter-independent Iterative Approximate Byzantine Consensus
Regenerating Codes for Errors and Erasures in Distributed Storage
Implementation of Security in Distributed Systems - A Comparative Study
HALO: Report and Predicted Response Times
Enhanced Load Balancing Approach to Avoid Deadlocks in Cloud
Communication-Optimal Parallel Algorithm for Strassens Matrix Multiplication
Globally reasoning about localised security policies in distributed systems
Dynamic Loop Parallelisation
MediaWise - Designing a Smart Media Cloud
An Optimal Fully Distributed Algorithm to Minimize the Resource Consumption of Cloud Applications
Research On Mobile Cloud Computing: Review, Trend, And Perspectives
