Title :
Dynamic verification of end-to-end multiprocessor invariants
Author :
Sorin, Daniel J. ; Hill, Mark D. ; Wood, David A.
Author_Institution :
Duke University
Keywords :
Bit error rate; Broadcasting; Coherence; Computer networks; Delay; Hardware; Multiprocessor interconnection networks; Protocols; Sections; Switches;
Conference_Titel :
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN :
0-7695-1952-0
DOI :
10.1109/DSN.2003.1209938
