Cs-Dc
SecureSMART: A Security Architecture for BFT Replication Libraries
A one-bit swap object using test-and-sets and a max register
Fast Distributed Computation in Dynamic Networks via Random Walks
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures
A GPU-accelerated Branch-and-Bound Algorithm for the Flow-Shop Scheduling Problem
Optimizing MapReduce for Highly Distributed Environments
Leader Election for Anonymous Asynchronous Agents in Arbitrary Networks
Proofs of Writing for Efficient and Robust Storage
Exploring heterogeneity of unreliable machines for p2p backup
Map / Reduce Deisgn and Implementation of Apriori Alogirthm for handling voluminous data-sets
A Novel Process Mapping Strategy in Clustered Environments
Local Thresholding in General Network Graphs
Network delay-aware load balancing in selfish and cooperative distributed systems
Parallel grid library for rapid and flexible simulation development
An Interactive Graph-Based Automation Assistant: A Case Study to Manage the GIPSYs Distributed Multi-tier Run-Time System
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
