Sciweavers

376 search results - page 37 / 76
» Optimizing Pattern Matching Compilation by Program Transform...
Sort
View
ASPLOS
1998
ACM
15 years 4 months 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
16 years 21 days 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
15 years 6 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
105
Voted
CASES
2005
ACM
15 years 1 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»
15 years 4 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...