Deadlock Verification of Cache Coherence Protocols and Communication Fabrics
- 期刊名称IEEE Transactions on Computers
- 作者Verbeek, Freek; Yaghini, Pooria M.; Eghbal, Ashkan; Bagherzadeh, Nader
- 印刷ISSN0018-9340
- 文件大小1687.59KB
- 发表时间2016
- DOI10.1109/tc.2016.2584060
- 页码1-1
Data broadcasting in SIMD computersNassimi, David; Sahni, Sartaj · IEEE Transactions on Computers · 1981
Kronecker products and shuffle algebraDavio, Marc · IEEE Transactions on Computers · 1981
The Theory of NetsHohn, F. E.; Seshu, S.; Aufenkamp, D. D. · IEEE Transactions on Electronic Computers · 1957
Complexity in Electronic Switching CircuitsMuller, D. E. · IEEE Transactions on Electronic Computers · 1956
Multioperand Redundant Adders on FPGAsHormigo, Javier; Villalba, Julio; Zapata, Emilio L. · IEEE Transactions on Computers · 2013
Group AuthenticationHarn, Lein · IEEE Transactions on Computers · 2013
Low Latency Hybrid CORDIC AlgorithmShukla, Rohit; Ray, Kailash Chandra · IEEE Transactions on Computers · 2014
QCA Systolic Array DesignLu, Liang; Liu, Weiqiang; O'Neill, ; Swartzlander, Earl E. · IEEE Transactions on Computers · 2013