MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Prosenjit Chatterjee" – sorted by Relevance.

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

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

6 documents found, showing 1 through 6.

ATOM

Towards a Formal Model of Shared Memory Consistency for Intel Itanium™
by Prosenjit Chatterjee, Ganesh Gopalakrishnan — 2001 — In ICCD
…Towards a Formal Model of Shared Memory Consistency for Intel Itanium TM Prosenjit Chatterjee…
Cited by 7 (4 self) – Add To MetaCart

A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols
by Prosenjit Chatterjee, Ganesh Gopalakrishnan — In Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design (2002
… # Prosenjit Chatterjee and Ganesh Gopalakrishnan http://www.cs.utah.edu/formal verification/cav02.html…
Cited by 1 (0 self) – Add To MetaCart

Towards a Formal Model of Shared Memory Consistency for Intel Itanium
by Prosenjit Chatterjee And, Prosenjit Chatterjee, Ganesh Gopalakrishnan — 2001 — In ICCD
…Towards a Formal Model of Shared Memory Consistency for Intel Itanium TM Prosenjit Chatterjee…
Add To MetaCart

Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking
by Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan — 2002 — in Computer Aided Verification, Lecture Notes in Computer Science
…-checking # Prosenjit Chatterjee, Hemanthkumar Sivaraj and Ganesh Gopalakrishnan http…
Cited by 7 (5 self) – Add To MetaCart

unknown title
by Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan \lambda
…-checking Prosenjit Chatterjee, Hemanthkumar Sivaraj and Ganesh Gopalakrishnan \Lambda School of Computing…
Add To MetaCart

Resume
by Prosenjit Chatterjee, Masters Student Since Fall, Salt Lake City, Major Computer Scienc, Teaching Assistant, Operating Systems, Prof. John Carter, Computer Science Department
…PROSENJIT CHATTERJEE Department of Computer Science 3161 MEB, University of Utah Salt Lake City…
Add To MetaCart

Showing 1 through 6.

ATOM

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