Searching for "A Top Down Approach to the Formal Specification of SCI Cache Coherence." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

A Top Down Approach to the Formal Specification of SCI Cache Coherence
by Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas — 1990 — In Computer Aided Verification. 3rd International Workshop
…A Top Down Approach to the Formal Specification of SCI Cache Coherence Stein Gjessing, Stein…
Cited by 7 (0 self) – Add To MetaCart

A Top Down Approach to the Formal Specification of SCI Cache Coherence
by Stein Gjessing Stein, Stein Krogdahl, Ellen Munthe-kaas — 1991 — In Computer Aided Verification. 3rd International Workshop
…A Top Down Approach to the Formal Specification of SCI Cache Coherence Stein Gjessing, Stein…
Add To MetaCart

Equipment requirements for Network research at the . . .
by Haakon Bryhni, Bin Wu, Initial Studies, Sci Lan In, David B. Gustavson, David V. James, Hans Wiggers, A Ram, Formal Specification, Verification Of, Stein Gjessing, Stein Gjessing, Stein Gjessing, Stein Krogdahl, Stein Krogdahl, Ellen Munthe-kaas, Ellen Munthe-kaas, Sci Cache — 1997
… Gjessing, Stein Krogdahl and Ellen Munthe-Kaas A Top Down Approach to the Formal Specification of SCI Cache…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB