Sciweavers

376 search results - page 37 / 76
» Optimizing Pattern Matching Compilation by Program Transform...
Sort
View
ASPLOS
1998
ACM
14 years 28 days ago
Compiler-Controlled Memory
Optimizations aimed at reducing the impact of memory operations on execution speed have long concentrated on improving cache performance. These efforts achieve a reasonable level...
Keith D. Cooper, Timothy J. Harvey
IPMI
1999
Springer
14 years 9 months ago
Registration of Cortical Anatomical Structures via Robust 3D Point Matching
Abstract. Inter-subjectnon-rigid registration of cortical anatomical structures as seen in MR is a challenging problem. The variability of the sulcal and gyral patterns across pati...
Haili Chui, James Rambo, James S. Duncan, Robert T...
PLDI
2009
ACM
14 years 3 months ago
Proving optimizations correct using parameterized program equivalence
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
Sudipta Kundu, Zachary Tatlock, Sorin Lerner
CASES
2005
ACM
13 years 10 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
IWMM
2010
Springer
173views Hardware» more  IWMM 2010»
14 years 1 months ago
CETS: compiler enforced temporal safety for C
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Mar...