Exact Distributed Invalidation - Ford, O'Boyle, St (ResearchIndex)

See this document in CiteSeerX!

Exact Distributed Invalidation (2000) (Make Corrections) (1 citation)
R.W. Ford, M.F.P. O'Boyle, E.A. StöhrLecture Notes in Computer Science

Home/Search Context Related

View or download:
dcs.ed.ac.uk/home/mob/europar00.ps
Cached: PS.gz PS PDF Image Update Help

From: icsa.informatic...ublications_all (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: This paper develops and proves an exact distributed invalidation algorithm for programs with compile time decidable control-ow. (Update)

Similar documents based on text: More All
0.2: Dissemination of Information in Vertex-Disjoint.. - Hromkovic.. (1993) (Correct)
0.1: A Compiler Algorithm to Reduce Invalidation Latency in Virtual.. - O'Boyle (1996) (Correct)
0.1: Spinning-on-Coherency: A New VSM Optimisation for.. - Nisbet, Ford (1996) (Correct)

BibTeX entry: (Update)

Ford R.W., O'Boyle M.F.P., Stohr E.A., Exact Distributed Invalidation, Tech. Report, Dept. of Computer Science, Univ. of Manchester, 2000. http://citeseer.ist.psu.edu/ford00exact.html More

@article{ ford01exact,
    author = "Rupert W. Ford and Michael F. P. O'Boyle and Elena A. St{\"o}hr",
    title = "Exact Distributed Invalidation",
    journal = "Lecture Notes in Computer Science",
    volume = "1900",
    pages = "395--??",
    year = "2001",
    url = "citeseer.ist.psu.edu/ford00exact.html" }

Citations (may not include all citations):
52 The Omega Library Interface Guide (context) - Kelly, Maslov et al. - 1996
50 Compiler Directed Cache Management in Multiprocessors (context) - Cheong, Veidenbaum - 1990
45 Dynamic Self Invalidation: Reducing Coherence Overhead in Sh.. - Lebeck, Wood - 1995
21 Life-Span Strategy - A Compiler-Based Approach to Cache Cohe.. (context) - Cheong - 1992
20 A Compiler-Directed Cache Coherence Scheme with Improves Int.. - Choi - 1994
18 Automatic Software Cache Coherence through Vectorisation - Darnell, Mellor-Crumney et al. - 1992
16 A Compiler Directed Cache Coherence Scheme with Fast and Par.. (context) - Louri, Sung - 1992
16 Cache Coherence Using Local Knowledge - Darnell, Kennedy - 1993
10 Simple compiler algorithms to reduce ownership overhead in c.. (context) - Skeppstedt, Stenstrom - 1999
6 A Compiler Algorithm to Reduce Invalidation Latency in Virtu.. - Nisbet, Ford - 1996
3 A Compiler Algorithm that Reduces Latency in Ownership-Based.. (context) - Skeppstedt, Stenstrom - 1995
2 A Compiler Strategy for SVM, Proc. of Workshop on Lang., Com.. (context) - Bodin, O'Boyle - 1995
2 Compiler analysis for cache coherence: Interprocedural array.. - Choi - 1996
1 Exact Distributed Invalidation - Ford, O'Boyle et al. - 2000
1 An Evaluation of a Compiler Optimization for Improving the P.. (context) - Mounes-Toussi, Lilja et al. - 1994

[Article contains additional citations not shown here]

Documents on the same site (http://www.icsa.informatics.ed.ac.uk/compilers/publications_all.html): More
Compile Time Barrier Synchronisation Minimisation - O'Boyle, Stöhr (Correct)
Non-Singular Data Transformations: Definition, Validity.. - O'Boyle, Knijnenburg (Correct)
Array Recovery and High Level Transformations for DSP.. - Franke, O'Boyle (2003) (Correct)

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC