Sciweavers

5683 search results - page 21 / 1137
» Interactive Schedulability Analysis
Sort
View
TIT
2008
129views more  TIT 2008»
13 years 8 months ago
Serial Schedules for Belief-Propagation: Analysis of Convergence Time
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...
Jacob Goldberger, Haggai Kfir
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 6 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
GLOBECOM
2009
IEEE
13 years 11 months ago
BER Performance Analysis of Multiuser Diversity with Antenna Selection in MRC MIMO Systems
— In this paper, we present a performance analysis for the user scheduling for the multiuser MRC MIMO systems exploiting the user and antenna diversities. We consider two schedul...
Mohammad Torabi, David Haccoun, Wessam Ajib
ESORICS
2010
Springer
13 years 8 months ago
Flexible Scheduler-Independent Security
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
Heiko Mantel, Henning Sudbrock
RTSS
2005
IEEE
14 years 2 months ago
Hierarchical Fixed Priority Pre-Emptive Scheduling
This paper focuses on the hierarchical scheduling of systems where a number of separate applications reside on a single processor. It addresses the particular case where fixed pri...
Robert I. Davis, Alan Burns