Using Belief to Reason About Cache Coherence

doi 10.21236/ada280060

Full Text

Abstract

Available in

Date

May 1, 1994

Authors

Lily B. Mummert

Jeannette M. Wing

M. Satyanarayanan

Publisher

Defense Technical Information Center

Related search

Belief, Reason & Logic

Royal Institute of Philosophy Supplement

English

Using Triples to Reason About Concurrent Programs

English

Disengaged Reason and Belief in God

Faith and Philosophy

Religious Studies

English

A Modular Way to Reason About Iteration

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Ideal and Real Belief About Belief

Journal of Logic and Computation

Theoretical Computer Science

English

DCC: A Dependable Cache Coherence Multicore Architecture

IEEE Computer Architecture Letters

English

Cache Coherence Protocols in Shared-Memory Multiprocessors

English

Leveraging Cache Coherence in Active Memory Systems

English

Software Cache Coherence for Large Scale Multiprocessors

English