44651 search results - page 8895 / 8931 » A Generalization of the Least General Generalization |
PLDI
2012
ACM
13 years 9 days ago
2012
ACM
Developers frequently use inefficient code sequences that could be fixed by simple patches. These inefficient code sequences can cause significant performance degradation and ...
102
click to vote
PLDI
2012
ACM
13 years 9 days ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
PLDI
2012
ACM
13 years 9 days ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
100
click to vote
PLDI
2012
ACM
13 years 9 days ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
104
click to vote
PLDI
2012
ACM
13 years 9 days ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...