Sciweavers

405 search results - page 1 / 81
» Weakly-Persistent Causal Objects in Dynamic Distributed Syst...
Sort
View
SRDS
2006
IEEE
14 years 1 months ago
Weakly-Persistent Causal Objects in Dynamic Distributed Systems
Roberto Baldoni, M. Malek, Alessia Milani, Sara Tu...
PADS
2003
ACM
14 years 21 days ago
HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatie...
JSAC
2007
147views more  JSAC 2007»
13 years 7 months ago
Capacity limits of cognitive radio with distributed and dynamic spectral activity
Abstract— We investigate the capacity of opportunistic communication in the presence of dynamic and distributed spectral activity, i.e. when the time varying spectral holes sense...
Syed Ali Jafar, Sudhir Srinivasa
EUROPAR
2010
Springer
13 years 8 months ago
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
Roberto Baldoni, Silvia Bonomi, Michel Raynal
PTS
2003
127views Hardware» more  PTS 2003»
13 years 8 months ago
An Automata-Based Approach to Property Testing in Event Traces
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...