72 search results - page 4 / 15 » Verifying Local Transformations on Relaxed Memory Models |
PLDI
1995
ACM
15 years 29 days ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
A key step for the effective use of local image features (i.e., highly distinctive and robust features) for recognition or image matching is the appropriate grouping of feature ma...
ICML
1997
IEEE
15 years 10 months ago
1997
IEEE
Machine learning techniques are applicable to computer system optimization. We show that shared memory multiprocessors can successfully utilize machine learning algorithms for mem...
120
click to vote
ACMMSP
2006
ACM
15 years 3 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
76
Voted
CLUSTER
2004
IEEE
15 years 1 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...