William Collier

William Collier

Owner, Multiprocessor Diagnostics
在 acm.org 的电子邮件经过验证
被引用次数：205
Memory models
Sacha-Élie Ayoun

Sacha-Élie Ayoun

Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：98
computer science program verification static analysis symbolic execution memory models
Simon Cooksey

Simon Cooksey

Research Scientist, NVIDIA
在 nvidia.com 的电子邮件经过验证
被引用次数：71
memory models computer architecture concurrency
Arjun Karuvally

Arjun Karuvally

University of Massachusetts, Amherst
在 cs.umass.edu 的电子邮件经过验证
被引用次数：13
Memory Models Recurrent Neural Networks
Yanxiu (Sharon) Chen

Yanxiu (Sharon) Chen

Institute of Psychology, Chinese Academy of Sciences
在 syr.edu 的电子邮件经过验证
被引用次数：7
memory models human-computer interaction open science
Chengsong Tan

Chengsong Tan

Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：4
Formal methods theorem proving lexing memory models
Lee Smith

Lee Smith

Retired
在 acm.org 的电子邮件经过验证
被引用次数：1
Compiler testing memory models computer architecture