![Proof theory / Mathematical logic / Logical syntax / Formal systems / Logical truth / Model checking / Communications protocol / Formal methods / Correctness / Logic / Mathematics / Computing Proof theory / Mathematical logic / Logical syntax / Formal systems / Logical truth / Model checking / Communications protocol / Formal methods / Correctness / Logic / Mathematics / Computing](https://www.pdfsearch.io/img/f39f9cb81a675f4529411e868f57d5fc.jpg)
| 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 |