Sciweavers

1629 search results - page 169 / 326
» Infeasible Code Detection
Sort
View
IPPS
2000
IEEE
15 years 6 months ago
Applying Interposition Techniques for Performance Analysis of OpenMP Parallel Applications
Tuning parallel applications requires the use of effective tools for detecting performance bottlenecks. Along a parallel program execution, many individual situations of performan...
Marc González, Albert Serra, Xavier Martore...
ISSTA
2000
ACM
15 years 6 months ago
Finding bugs with a constraint solver
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
Daniel Jackson, Mandana Vaziri
LCPC
1999
Springer
15 years 5 months ago
Compiling for Speculative Architectures
The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative para...
Seon Wook Kim, Rudolf Eigenmann
CORR
2006
Springer
94views Education» more  CORR 2006»
15 years 1 months ago
Single-Symbol-Decodable Differential Space-Time Modulation Based on QO-STBC
We show that Minimum-Decoding-Complexity QuasiOrthogonal Space-Time Block Code (MDC-QOSTBC) can be used to form a new differential space-time modulation (DSTM) scheme to provide f...
Chau Yuen, Yong Liang Guan, Tjeng Thiang Tjhung
TWC
2008
150views more  TWC 2008»
15 years 1 months ago
Design and analysis of post-coded OFDM systems
This paper discusses the design and analysis of post coded OFDM (PC-OFDM) systems. Coded or precoded OFDM systems are generally employed to overcome the symbol recovery problem in...
S. F. A. Shah, Ahmed H. Tewfik