5707 search results - page 102 / 1142 » Symbolic Simulation - Techniques and Applications |
ICC
2007
IEEE
15 years 4 months 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-...
DATE
2006
IEEE
15 years 4 months 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...
AMAST
2004
Springer
15 years 3 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...
TSP
2008
14 years 9 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...
IPPS
2008
IEEE
15 years 4 months 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...