D.A. Wood

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Token Coherence: decoupling performance and correctness

Milo M. K. Martin and others (2003) · Proceedings - International Symposium on Computer Architecture/Proceedings

Specifying and verifying a broadcast and a multicast snooping cache coherence protocol

D.J. Sorin and others (2002) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers (IEEE)

Tempest and Typhoon: user-level shared memory

S.K. Reinhardt and others (1994)