Flinders University Flinders Academic Commons
 

Flinders Academic Commons >
Research Publications >
ERA 2010 >
03 - Engineering and Environmental Sciences >
0906 - Electrical and Electronic Engineering >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2328/9788

Title: Formal verification of a novel snooping cache coherence protocol for CMP
Authors: Sammut, Karl
He, Fangpo
Zhao, Xuemei
Issue Date: 2007
Citation: Zhao, X., Sammut, K., & He, F., 2007. Formal verification of a novel snooping cache coherence protocol for CMP. Proceedings of the CMP-MSI: workshop on chip multiprocessor memory systems and interconnects.
URI: http://hdl.handle.net/2328/9788
Appears in Collections:0906 - Electrical and Electronic Engineering
0906 - Electrical and Electronic Engineering

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback