Sciweavers

521 search results - page 4 / 105
» Reduction Strategies and Acyclicity
Sort
View
GLOBECOM
2008
IEEE
13 years 11 months ago
A Maximum-Likelihood Decoder with a New Reduction Strategy for MIMO Channel Systems
—An efficient maximum-likelihood decoder with a new reduction strategy is proposed for linear MIMO channel systems. Unlike the current reduction strategies which only reorder th...
Xiao-Wen Chang, Xiaohua Yang
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 5 months ago
Topological analysis of the power grid and mitigation strategies against cascading failures
This paper presents a complex systems overview of a power grid network under cascading conditions. The cascading effect has been simulated on three different networks, the IEEE 300...
Sakshi Pahwa, Amelia Hodges, Caterina M. Scoglio, ...
BIRTHDAY
2005
Springer
13 years 10 months ago
Reduction Strategies for Left-Linear Term Rewriting Systems
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
Yoshihito Toyama
SBACPAD
2003
IEEE
125views Hardware» more  SBACPAD 2003»
13 years 10 months ago
Applying Scheduling by Edge Reversal to Constraint Partitioning
— Scheduling by Edge Reversal (SER) is a fully distributed scheduling mechanism based on the manipulation of acyclic orientations of a graph. This work uses SER to perform constr...
Marluce Rodrigues Pereira, Patrícia Kayser ...
PSTV
1992
113views Hardware» more  PSTV 1992»
13 years 6 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...