|
Search the dblp DataBase
Prosenjit Chatterjee:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:123-136 [Conf]
- Prosenjit Chatterjee
Streamline verification process with formal property verification to meet highly compressed design cycle. [Citation Graph (0, 0)][DBLP] DAC, 2005, pp:674-677 [Conf]
- Prosenjit Chatterjee, Ganesh Gopalakrishnan
A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. [Citation Graph (0, 0)][DBLP] FMCAD, 2002, pp:292-309 [Conf]
- Prosenjit Chatterjee, Ganesh Gopalakrishnan
towards A formal Model of Shared Memory Consistency for Intel ItaniumTM. [Citation Graph (0, 0)][DBLP] ICCD, 2001, pp:515-518 [Conf]
- Diganta Goswami, Rajib Mall, Prosenjit Chatterjee
Static slicing in Unix process environment. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 2000, v:30, n:1, pp:17-36 [Journal]
Search in 0.001secs, Finished in 0.001secs
|