72 search results - page 3 / 15 » Verifying Local Transformations on Relaxed Memory Models |
CAV
2010
Springer
13 years 9 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
ICPR
2002
IEEE
13 years 10 months ago
2002
IEEE
Two novel computational techniques, harmonic cut and regularized centroid transform, are developed for segmentation of cells and their corresponding substructures observed with an...
ACMMSP
2004
ACM
13 years 10 months ago
2004
ACM
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
TMM
2010
13 years 12 hour ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
ICS
1992
Tsinghua U.
13 years 9 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...