MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Xiaowei Shen" – sorted by Relevance.

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

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

13 documents found, showing 1 through 10. Next 10 →

ATOM

Design and Verification of Speculative Processors
by Xiaowei Shen, Arvind, Xiaowei Shen — 1998 — In Proceedings of the Workshop on Formal Techniques for Hardware and Hardware-like Systems
… and Verification of Speculative Processors Xiaowei Shen and Arvind xwshen, arvind@(email omitted); Abstract We define…
Cited by 10 (1 self) – Add To MetaCart

Modeling and Verification of ISA Implementations
by Xiaowei Shen, Arvind, Xiaowei Shen — 1998 — B, Laboratory for Computer Science - MIT
… Implementations Xiaowei Shen and Arvind xwshen, arvind@(email omitted); Abstract We propose a method to precisely…
Cited by 10 (2 self) – Add To MetaCart

A Methodology for Designing Correct Cache Coherence Protocols for DSM Systems
by Xiaowei Shen, Arvind, Xiaowei Shen — 1997 — CSG Memo 398 (A), LCS, MIT
… Structures Group Memo 398 (A) Xiaowei Shen and Arvind Laboratory for Computer Science Massachusetts…
Cited by 2 (0 self) – Add To MetaCart

CACHET: An Adaptive Cache Coherence Protocol . . .
by Xiaowei Shen, Arvind, Larry Rudolph — in L 2 (R d
… of Technology CACHET: An Adaptive Cache Coherence Protocol for Distributed Shared-Memory Systems Xiaowei Shen…
Add To MetaCart

Modeling and Verification of ISA Implementations
by Computation Structures, Xiaowei Shen, Xiaowei Shen — 1998 — B, Laboratory for Computer Science - MIT
…, 1997 Xiaowei Shen and Arvind xwshen, arvind@(email omitted); To appear in Proceedings of the Australasian…
Add To MetaCart

Improving the Java Memory Model Using CRF
by Jan-willem Maessen, Arvind, Jan-willem Maessen, Xiaowei Shen, Xiaowei Shen — 2000 — In OOPSLA
…-Willem Maessen, Arvind, and Xiaowei Shen jmaessen@(email omitted);,arvind@(email omitted);,xwshen@(email omitted);. This paper…
Cited by 29 (0 self) – Add To MetaCart

Proofs of Correctness of Cache-Coherence Protocols
by Joseph Stoy, Xiaowei Shen, Arvind — 2001
…Proofs of Correctness of Cache-Coherence Protocols Joseph Stoy 1 , Xiaowei Shen 2 , and Arvind…
Cited by 9 (0 self) – Add To MetaCart

Commit-Reconcile Fences (CRF): A New Memory Model for Architects and Compiler Writers
by Xiaowei Shen, Arvind, Xiaowei Shen, Larry Rudolph, Larry Rudolph — 1999 — In Proceedings of the 26th International Symposium on Computer Architecture
… Structures Group Memo 413 October 1998 (Revised: February 1999) Xiaowei Shen, Arvind, Larry Rudolph xwshen…
Cited by 32 (6 self) – Add To MetaCart

Using Term Rewriting Systems to Design and Verify Processors
by Prof. Arvind, Xiaowei Shen, Xiaowei Shen — 1998 — IEEE Micro
… November 1998 Arvind and Xiaowei Shen arvind, xwshen@(email omitted); To appear in IEEE Micro Special Issue…
Cited by 44 (1 self) – Add To MetaCart

CACHET: An Adaptive Cache Coherence Protocol for Distributed Shared-Memory Systems
by Xiaowei Shen, Arvind, Xiaowei Shen, Larry Rudolph, Larry Rudolph — 1999 — In International Conference on Supercomputing
… Structures Group Memo 414 October 1998 (Revised: March 1999) Xiaowei Shen, Arvind and Larry Rudolph xwshen…
Cited by 18 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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