Ian Graves

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Gerard Allwein

> Home > Persons > Ian Graves

Publications

2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/ProcterHGBA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/ProcterHGBA17
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): 33:1-33:25 (2017)
2016
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/recosoc/HarrisonGPBA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/HarrisonGPBA16
William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein:
A programming model for reconfigurable computing based in functional concurrency. ReCoSoC 2016: 1-8
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/arc/GravesPHBA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arc/GravesPHBA15
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: 41-52
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/GravesPHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/GravesPHA15
Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein:
Provably Correct Development of reconfigurable hardware designs via equational reasoning. FPT 2015: 160-171
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/ProcterHGBA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/ProcterHGBA15
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein:
Semantics Driven Hardware Design, Implementation, and Verification with ReWire. LCTES 2015: 13:1-13:10
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/ProcterHGBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/ProcterHGBA13
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein:
Semantics-directed machine architecture in ReWire. FPT 2013: 446-449

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.