989 search results - page 21 / 198 » Dynamic Symmetry Reduction |
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Dynamic OFDMA systems provide a significant performance gain compared to static OFDM approaches. In reality this gain is reduced by an overhead due to signaling. Previ...
IFM
2009
Springer
14 years 4 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
ICCD
2002
IEEE
14 years 6 months ago
2002
IEEE
Power is considered to be the major limiter to the design of more faster and complex processors in the near future. In order to address this challenge, a combination of process, c...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
— In this paper we present a parameterized reduction technique for non-linear systems. Our approach combines an existing non-parameterized trajectory piecewise linear method for ...