Sciweavers

12742 search results - page 376 / 2549
» On canonical number systems
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
A Model for Large Scale Self-Stabilization
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
Thomas Hérault, Pierre Lemarinier, Olivier ...
CAV
2010
Springer
176views Hardware» more  CAV 2010»
15 years 9 months ago
Robustness in the Presence of Liveness
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
Roderick Bloem, Krishnendu Chatterjee, Karin Greim...
CATS
2006
15 years 8 months ago
On-demand Bounded Broadcast Scheduling with Tight Deadlines
We investigate a scheduling problem motivated by pull-based data delivering systems where there is a server keeping a number of pages; and clients requesting the same page can be ...
Chung Keung Poon, Feifeng Zheng, Yinfeng Xu
COR
2010
117views more  COR 2010»
15 years 7 months ago
Performance optimization of open zero-buffer multi-server queueing networks
Abstract -- Open zero-buffer multi-server general queueing networks occur throughout a number of physical systems in the semi-process and process industries. In this paper, we eval...
R. Andriansyah, Tom Van Woensel, Frederico R. B. C...
ICC
2007
IEEE
116views Communications» more  ICC 2007»
16 years 1 months ago
A Simple Iterative Gaussian Detector for Severely Delay-Spread MIMO Channels
— In this paper, a low-complexity high-performance detection algorithm for multiple input multiple output (MIMO) channels with severe delay spread is proposed. This algorithm per...
Tianbin Wo, Peter Adam Hoeher