A sequencing-based taxonomy of I/0 systems and review of historical machines
ACM SIGARCH Computer Architecture News
Reasoning about parallel architectures
Reasoning about parallel architectures
Alpha architecture reference manual
Alpha architecture reference manual
The SPARC architecture manual (version 9)
The SPARC architecture manual (version 9)
Lamport clocks: verifying a directory cache-coherence protocol
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Memory consistency and event ordering in scalable shared-memory multiprocessors
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Parallel Computer Architecture: A Hardware/Software Approach
Parallel Computer Architecture: A Hardware/Software Approach
Using Lamport Clocks to Reason About Relaxed Memory Models
HPCA '99 Proceedings of the 5th International Symposium on High Performance Computer Architecture
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol
IEEE Transactions on Parallel and Distributed Systems
Specifying and dynamically verifying address translation-aware memory consistency
Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
End-to-end sequential consistency
Proceedings of the 39th Annual International Symposium on Computer Architecture
| Hi-index | 0.00 |