Sciweavers

2681 search results - page 21 / 537
» Topics in asynchronous systems
Sort
View
INFOCOM
2005
IEEE
14 years 2 months ago
dPAM: a distributed prefetching protocol for scalable asynchronous multicast in P2P systems
— We leverage the buffering capabilities of end-systems to achieve scalable, asynchronous delivery of streams in a peer-to-peer environment. Unlike existing cache-and-relay schem...
Abhishek Sharma, Azer Bestavros, Ibrahim Matta
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
14 years 11 days ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
TWC
2008
136views more  TWC 2008»
13 years 8 months ago
Asynchronous Interference Mitigation in Cooperative Base Station Systems
Cooperative transmission by base stations (BSs) can significantly improve the spectral efficiency of multiuser, multi-cell multiple input multiple output (MIMO) systems. We show t...
Hongyuan Zhang, Neelesh B. Mehta, Andreas F. Molis...
DSN
2007
IEEE
14 years 3 months ago
Electing an Eventual Leader in an Asynchronous Shared Memory System
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in messagepassing syste...
Antonio Fernández, Ernesto Jiménez, ...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
14 years 3 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo