ā
Login / Signup
Ian Graves
Publication Activity (10 Years)
Years Active: 2008-2017
Publications (10 Years): 3
Top Topics
Quantization Noise
Hardware Designs
General Purpose
Top Venues
FPT
ACM Trans. Embed. Comput. Syst.
ARC
HPDC
</>
Publications
</>
Adam M. Procter
,
William L. Harrison
,
Ian Graves
,
Michela Becchi
,
Gerard Allwein
A Principled Approach to Secure Multi-core Processor Design with ReWire.
ACM Trans. Embed. Comput. Syst.
16 (2) (2017)
Ian Graves
,
Nora McDonald
,
Sean P. Goggins
Sifting signal from noise: A new perspective on the meaning of tweets about the "big game".
New Media Soc.
18 (2) (2016)
William L. Harrison
,
Ian Graves
,
Adam M. Procter
,
Michela Becchi
,
Gerard Allwein
A programming model for reconfigurable computing based in functional concurrency.
ReCoSoC
(2016)
Adam M. Procter
,
William L. Harrison
,
Ian Graves
,
Michela Becchi
,
Gerard Allwein
Semantics Driven Hardware Design, Implementation, and Verification with ReWire.
LCTES
(2015)
Ian Graves
,
Adam M. Procter
,
William L. Harrison
,
Gerard Allwein
Provably Correct Development of reconfigurable hardware designs via equational reasoning.
FPT
(2015)
Ian Graves
,
Adam M. Procter
,
William L. Harrison
,
Michela Becchi
,
Gerard Allwein
Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation.
ARC
(2015)
Adam M. Procter
,
William L. Harrison
,
Ian Graves
,
Michela Becchi
,
Gerard Allwein
Semantics-directed machine architecture in ReWire.
FPT
(2013)
Michela Becchi
,
Kittisak Sajjapongse
,
Ian Graves
,
Adam M. Procter
,
Vignesh T. Ravi
,
Srimat T. Chakradhar
A virtual memory based runtime to support multi-tenancy in clusters with GPUs.
HPDC
(2012)
Marcus A. Butavicius
,
Chloƫ Mount
,
Veneta MacLeod
,
Robyn Vast
,
Ian Graves
,
Jadranka Sunde
An Experiment on Human Face Recognition Performance for Access Control.
KES (1)
(2008)