Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 6 of 6 search results for `Caroline Watson`

  1. Fully-matching results

  2. [1] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS. Alasdair ...

    https://www.cl.cam.ac.uk/~pes20/rems/report-2019-web011.html
    3 Jun 2020: Moore, Peter G. Neumann, Ben Laurie, and Robert N.M. Watson. In ASPLOS 2017. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  3. Proposed Roll of the Regent House - Cambridge University Reporter…

    https://www.reporter.admin.cam.ac.uk/reporter/2020-21/special/01/section2.shtml
    1 Oct 2020: Bournaud, Caroline Sophie Amelie. Bourne, Stephen Robert Richard, CLH. Bourriau, Janine Delysia, DAR. ... Burrows, Natalie. Burt, Caroline, PEM. Burt, Jennifer Anne, K. Burton, Graham James, JN.

  4. WHEELThethe neWSletter & donor rePort 2020 | St Catharine’S ...

    https://www.caths.cam.ac.uk/sites/default/files/The%20Wheel%202020%20%28web%29.pdf
    11 Jun 2020: WHEELThethe neWSletter & donor rePort 2020 | St Catharine’S College, CaMBridge. Ou. r C. On. ne. CT. iOn. S Sp. an T. he. glOb. e. responding to Covid-19 | local, national & international impact | Supporting future generationsresponding to

  5. REMS: Rigorous Engineering for Mainstream Systems EPSRC Programme…

    https://www.cl.cam.ac.uk/~pes20/rems/report-2019-web.pdf
    3 Jun 2020: Andrew Pitts, Simon Moore, Robert Watson (Cambridge);Philippa Gardner (Imperial); Ian Stark (Edinburgh). ... CTSRD: Rethinking the hardware-software interface for security, including CHERI (Moore, Neumann,Watson et al.; Cambridge and SRI International),

  6. Roll of the Regent House - Cambridge University Reporter Special No 2 …

    https://www.reporter.admin.cam.ac.uk/reporter/2020-21/special/02/section1.shtml
    6 Nov 2020: Bournaud, Caroline Sophie Amelie. Bourne, Stephen Robert Richard, CLH. Bourriau, Janine Delysia, DAR. ... Burrows, Natalie. Burt, Caroline, PEM. Burt, Jennifer Anne, K. Burton, Graham James, JN.

  7. ARMv8-A system semantics: instruction fetch inrelaxed architectures…

    https://www.cl.cam.ac.uk/~pes20/iflat/top-extended.pdf
    26 Feb 2020: ARMv8-A system semantics: instruction fetch inrelaxed architectures (extended version)? Ben Simner1, Shaked Flur1, Christopher Pulte1, Alasdair Armstrong1, JeanPichon-Pharabod1, Luc Maranget2, and Peter Sewell1. 1 University of Cambridge, UK2 INRIA

Refine your results

Format

clear all

Date

Related searches for `Caroline Watson`

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.