フォロー
Luwa Matthews
Luwa Matthews
その他の名前Opeoluwa Matthews
確認したメール アドレス: apple.com
タイトル
引用先
引用先
Heterogeneous memory subsystem for natural graph analytics
A Addisie, H Kassa, O Matthews, V Bertacco
2018 IEEE International Symposium on Workload Characterization (IISWC), 134-145, 2018
412018
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems
O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ...
212020
Graphattack: Optimizing data supply for graph applications on in-order multicore architectures
A Manocha, T Sorensen, E Tureci, O Matthews, JL Aragón, M Martonosi
ACM Transactions on Architecture and Code Optimization (TACO) 18 (4), 1-26, 2021
142021
Verifiable hierarchical protocols with network invariants on parametric systems
O Matthews, J Bingham, DJ Sorin
2016 Formal Methods in Computer-Aided Design (FMCAD), 101-108, 2016
142016
Analysis of Microbump Overheads for 2.5 D Disintegrated Design
P Ehrett, V Goyal, O Matthews, R Das, T Austin, V Bertacco
122017
Scalably verifiable dynamic power management
O Matthews, M Zhang, DJ Sorin
2014 IEEE 20th International Symposium on High Performance Computer …, 2014
92014
Low-overhead microarchitectural patching for multicore memory subsystems
D Lee, O Matthews, V Bertacco
2018 IEEE 36th International Conference on Computer Design (ICCD), 17-25, 2018
82018
Architecting hierarchical coherence protocols for push-button parametric verification
O Matthews, DJ Sorin
Proceedings of the 50th Annual IEEE/ACM International Symposium on …, 2017
72017
Architecting dynamic power management to be formally verifiable
DJ Sorin, O Matthews, M Zhang
Proceedings of the 51st Annual Design Automation Conference, 1-3, 2014
62014
The MosaicSim Simulator (Full Technical Report)
O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ...
arXiv preprint arXiv:2004.07415, 2020
22020
SWAN: Hardware Trojan Security With Ambiguous Netlists
T Linscott, V Bertaco, T Austin, O Matthews
2018
A Formal Framework for Designing Verifiable Protocols
O Matthews
Duke University, 2017
2017
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–12