Back to Results
First PageMeta Content
Parallel computing / Cache coherence / Cache / Communications protocol / DEC Alpha / Temporal logic of actions / Model checking / Leslie Lamport / Correctness / Computing / Concurrent computing / Cache coherency


Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciļ¬cation language TLA+ to ana
Add to Reading List

Document Date: 2007-04-26 00:00:00

Open Document

File Size: 31,46 KB

Share Result on Facebook

Company

Yuan Yu Compaq Computer Corporation / /

/

Facility

One Kendall Square / /

IndustryTerm

cache-coherence protocols / complicated cache-coherence protocol / cache-coherence protocol / coherence protocol / rst protocol / /

Organization

Cambridge Research Lab / /

Person

Leslie Lamport / Paul Harter / Mark Tuttle / Homayoon Akhiani / Joshua Scheid / Damien Doligez / /

/

Technology

Alpha / coherence protocol / second protocol / rst protocol / two cache-coherence protocols / one processor / cache-coherence protocol / Alpha processor / complicated cache-coherence protocol / /

SocialTag