Sciweavers

748 search results - page 102 / 150
» concurrency 2008
Sort
View
ASMTA
2008
Springer
113views Mathematics» more  ASMTA 2008»
15 years 2 months ago
Exact Sojourn Time Distribution in an Online IPTV Recording System
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
Tobias Hoßfeld, Kenji Leibnitz, Marie-Ange R...
95
Voted
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 2 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
CONCUR
2008
Springer
15 years 2 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
102
Voted
CONEXT
2008
ACM
15 years 2 months ago
Exploiting multi-flow diversity for mitigating intra-flow interference in wireless mesh networks
We consider the problem of improving network capacity in wireless mesh networks from the angle of multi-flow diversity. As consecutive packets on a multihop path can interfere wit...
Taewoon Kim, Hyuk Lim, Chaegwon Lim
EUROPAR
2008
Springer
15 years 2 months ago
Parallel Lattice Boltzmann Flow Simulation on Emerging Multi-core Platforms
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
Liu Peng, Ken-ichi Nomura, Takehiro Oyakawa, Rajiv...