5707 search results - page 102 / 1142 » Symbolic Simulation - Techniques and Applications |
138
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
— In this paper, we present a new subsymbol-based multistage multiuser receiver using partial parallel interference cancellation (PPIC) scheme for uplink multirate wideband UMTS-...
146
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
153
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
144
click to vote
TSP
2008
15 years 6 months ago
2008
We derive an easy-to-compute approximate bound for the range of step-sizes for which the constant-modulus algorithm (CMA) will remain stable if initialized close to a minimum of t...
160
click to vote
IPPS
2008
IEEE
16 years 25 days ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...