| Document Date: 2007-04-26 00:00:00
Open Document File Size: 162,90 KBShare Result on Facebook
Company Compaq / / Event M&A / FDA Phase / / Facility Yuan Yu Compaq Joshua Scheid University of Illinois / / IndustryTerm cache-coherence protocols / real systems / envisioned protocols / cache-coherence protocol / speed communication network / concurrent algorithms / abstract protocol / cachecoherence protocols / reactive systems / lower-level protocol / / Organization University of Illinois / / Person Leslie Lamport / Paul Harter / Mark Tuttle / Damien Doligez / / Product Alpha / EV6 / / ProgrammingLanguage Lisp / / ProvinceOrState Illinois / / Technology Alpha / EV6 protocol / one processor / cachecoherence protocols / cache-coherence protocols / EV7 protocol / cache-coherence protocol / shared memory / 21364 processors / protocol for the Alpha / currently envisioned protocols / two processors / Alpha EV7 processor / Abstract Protocol / EV6 cache-coherence protocol / Lower-Level Protocol / /
SocialTag |
TLA+ Verification of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez∗ , Paul Harter, Leslie Lamport, Mark Tuttle, and Yuan Yu Compaq Joshua Scheid