Sciweavers

2610 search results - page 180 / 522
» codes 2007
Sort
View
CORR
2007
Springer
189views Education» more  CORR 2007»
15 years 4 months ago
Diversity-Multiplexing Tradeoff of Asynchronous Cooperative Diversity in Wireless Networks
Synchronization of relay nodes is an important and critical issue in exploiting cooperative diversity in wireless networks. In this paper, two asynchronous cooperative diversity s...
Shuangqing Wei
CSMR
2007
IEEE
15 years 10 months ago
Example-Driven Reconstruction of Software Models
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
Oscar Nierstrasz, Markus Kobel, Tudor Gîrba,...
EUROMICRO
2007
IEEE
15 years 10 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
IPPS
2007
IEEE
15 years 10 months ago
Model-Guided Empirical Optimization for Multimedia Extension Architectures: A Case Study
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...
Chun Chen, Jaewook Shin, Shiva Kintali, Jacqueline...
CSC
2006
15 years 5 months ago
Hypervelocity impact protection by a nominal two-plate aluminum spacecraft shield against milli- and centimeter-sized space debr
Hypervelocity collisions with space debris (SD, natural meteoroids and man-made artifacts) can significantly affect the performance of spacecraft. Here, I use an adaptivemesh Eule...
Jack Horner