Sciweavers

3967 search results - page 157 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
EICS
2009
ACM
15 years 10 months ago
Flexible and efficient platform modeling for distributed interactive systems
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
Xiao Feng Qiu, T. C. Nicholas Graham
SIGMETRICS
2008
ACM
132views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Durability of replicated distributed storage systems
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
Sriram Ramabhadran, Joseph Pasquale
ICASSP
2009
IEEE
16 years 1 months ago
Game theory for precoding in a multi-user system: Bargaining for overall benefits
A precoding strategy for multi-user spectrum sharing over an interference channel is proposed and analyzed from a game-theoretic perspective. The proposed strategy is based on fi...
Jie Gao, Sergiy A. Vorobyov, Hai Jiang
DATE
2009
IEEE
172views Hardware» more  DATE 2009»
16 years 1 months ago
On bounding response times under software transactional memory in distributed multiprocessor real-time systems
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
LPAR
2005
Springer
15 years 11 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber