المؤلفون: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff

المصدر: IEEE Micro. 43:50-57

مصطلحات موضوعية: Hardware and Architecture, Electrical and Electronic Engineering, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::104852e0a3be1ea7a797c6fc9d76caba
https://doi.org/10.1109/mm.2023.3264676

المؤلفون: Robert N. M. Watson, Graeme Barnes, Jessica Clarke, Richard Grisenthwaite, Peter Sewell, Simon W. Moore, Jonathan Woodruff

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2a55aaa14e48015cb740fb3ae1a71437

المؤلفون: Richard Grisenthwaite

المصدر: IEEE Micro. 41:58-67

مصطلحات موضوعية: Engineering management, Hardware and Architecture, Restructuring, Computer science, Electrical and Electronic Engineering, Architecture, Barn, Software, Microarchitecture

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d951cbb66c12f4b9c4f63594e7a41f9b
https://doi.org/10.1109/mm.2021.3112024

المؤلفون: Richard Grisenthwaite

المصدر: 2022 IEEE Hot Chips 34 Symposium (HCS).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b5510e6f436cb166009140da87619bcd
https://doi.org/10.1109/hcs55958.2022.9895591

المؤلفون: Richard Grisenthwaite, Luc Maranget, Will Deacon, Jade Alglave, Antoine Hacquard

المساهمون: ARM Ltd [Cambridge] (ARM), University College of London [London] (UCL), Ecole Pour l'Informatique et les Techniques Avancées (EPITA), Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2021, 43, pp.1-54. ⟨10.1145/3458926⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1-54. ⟨10.1145/3458926⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer science, Programming language, Process (engineering), Suite, Concurrency, Consistency model, 020207 software engineering, 02 engineering and technology, computer.software_genre, ARM architecture, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, x86, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bfcc66ef27e302ae8306c30588f64fe
https://doi.org/10.1145/3458926

المؤلفون: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke, Brooks Davis, Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Kyndylan Nienhuis, Robert Norton, Alexander Richardson, Peter Rugg, Peter Sewell, Stacey Son, Hongyan Xia

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1f5b2e44e3ab9cca15f234ee537f453d

المؤلفون: Richard Grisenthwaite

المصدر: SoCC

مصطلحات موضوعية: Power management, Class (computer programming), Engineering, Electric power system, business.industry, Low-power electronics, System on a chip, Integrated circuit design, business, Telecommunications, Mobile device, Microarchitecture

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c42eb3b75d4f371e7a75fb6adb25c827
https://doi.org/10.1109/socc.2012.6398343