Artikel dengan mandat akses publik - Kathryn E. GrayPelajari lebih lanjut
Tersedia di suatu tempat: 4
Modelling the ARMv8 architecture, operationally: Concurrency and ISA
S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ...
ACM SIGPLAN Notices 51 (1), 608-621, 2016
Mandat: UK Engineering and Physical Sciences Research Council
Lem: reusable engineering of real-world semantics
DP Mulligan, S Owens, KE Gray, T Ridge, P Sewell
ACM SIGPLAN Notices 49 (9), 175-188, 2014
Mandat: UK Engineering and Physical Sciences Research Council
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
KE Gray, G Kerneis, D Mulligan, C Pulte, S Sarkar, P Sewell
Proceedings of the 48th International Symposium on Microarchitecture, 635-646, 2015
Mandat: UK Engineering and Physical Sciences Research Council
Mixed-size concurrency: ARM, POWER, C/C++ 11, and SC
S Flur, S Sarkar, C Pulte, K Nienhuis, L Maranget, KE Gray, A Sezgin, ...
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Mandat: Bill & Melinda Gates Foundation, UK Engineering and Physical Sciences …
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer