|
Volumn 27-28, Issue , 1996, Pages 541-563
|
Modelling and validation of shared memory coherency protocols
a a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
BUFFER STORAGE;
COMPUTER AIDED ANALYSIS;
COMPUTER SIMULATION;
INTERCONNECTION NETWORKS;
PARALLEL PROCESSING SYSTEMS;
QUEUEING THEORY;
TELECOMMUNICATION TRAFFIC;
DISTRIBUTED MEMORY;
PERFORMANCE MEASUREMENTS;
SHARED MEMORY MULTIPROCESSOR;
STANFORD SPLASH SUITE;
NETWORK PROTOCOLS;
|
EID: 0030258543
PISSN: 01665316
EISSN: None
Source Type: Journal
DOI: 10.1016/0166-5316(96)00011-9 Document Type: Article |
Times cited : (4)
|
References (13)
|