Browsing by Author "Plakal, Manoj"
Now showing items 2-4 of 4
-
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol
Sorin, Daniel; Plakal, Manoj; Condon, Anne; Hill, Mark; Martin, Milo; Wood, David (University of Wisconsin-Madison Department of Computer Sciences, 2000) -
Specifying and verifying a broadcast and a multicast snooping cache coherence protocol
Sorin, Daniel J.; Plakal, Manoj; Condon, Anne E.; Hill, Mark D.; Martin, Milo M.K.; Wood, David A. (Institute of Electrical and Electronics Engineers Computer Society, 2002) -
A System-Level Specification Framework for I/O Architectures,
Hill, Mark; Condon, Anne; Plakal, Manoj; Sorin, Daniel (University of Wisconsin-Madison Department of Computer Sciences, 1999)