Sciweavers

1991 search results - page 34 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
CF
2006
ACM
15 years 3 months ago
Intermediately executed code is the key to find refactorings that improve temporal data locality
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
Kristof Beyls, Erik H. D'Hollander
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 2 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
VEE
2010
ACM
218views Virtualization» more  VEE 2010»
15 years 8 months ago
Improving compiler-runtime separation with XIR
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
Ben Titzer, Thomas Würthinger, Doug Simon, Ma...
99
Voted
GLOBECOM
2006
IEEE
15 years 7 months ago
Rate Adaptation for Cooperative Systems
— Throughput is an important performance measure for data communications over wireless links. In this work, we consider joint adaptation of coding rates, modulation modes and lev...
Zinan Lin, Elza Erkip, Monisha Ghosh
SAC
2009
ACM
15 years 8 months ago
GTfold: a scalable multicore code for RNA secondary structure prediction
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
Amrita Mathuriya, David A. Bader, Christine E. Hei...