Concepedia

Adam Procter

AP

Statistics

Publications

4

Citations

201

H-Index

4

Active since

2012

Affiliations

University of Missouri(Current)

United States Naval Research Laboratory

Adam Procter is an author at University of Missouri specializing in computer architecture, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureVerificationFormal MethodsHardware SystemsHardware SecurityParallel ComputingFormal Verification

Publications per year

2012–2018

4

Publications

4

Intel nGraph: An Intermediate Representation, Compiler, and Executor for Deep Learning

Scott Cyphers, Arjun K. Bansal, Anahita Bhiwandiwalla et al. · arXiv (Cornell University) · 2018 · 105 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +19

A virtual memory based runtime to support multi-tenancy in clusters with GPUs

Michela Becchi, Kittisak Sajjapongse, Ian Graves et al. · 2012 · 65 citations

Cluster Computing, Engineering, Hpc Clusters +19

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Adam Procter, William L. Harrison, Ian Graves et al. · 2015 · 20 citations

Hardware Modeling, Engineering, Hardware Verification Language +16

A Principled Approach to Secure Multi-core Processor Design with ReWire

Adam Procter, William L. Harrison, Ian Graves et al. · ACM Transactions on Embedded Computing Systems · 2017 · 11 citations

Engineering, Hardware Verification Language, Information Security +24

1–4 of 4