Search

Search Funnelback University

Search powered by Funnelback
21 - 30 of 84 search results for `James Watson`
  1. Fully-matching results

  2. Academy of Medical Sciences - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/academy-medical-sciences/
    Thumbnail for Academy of Medical Sciences - MRC Laboratory of Molecular Biology 21 May 2024: Academy of Medical Sciences The Academy of Medical Sciences is an independent body in the UK that represents the diverse spectrum of medical science –
  3. Cerberus

    https://www.cl.cam.ac.uk/~pes20/cerberus/
    1 Oct 2023: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... David Chisnall and Robert N. M. Watson contributed to the discussion of CHERI semantics.
  4. Department of Computer Science and Technology: CHERI Rigorous…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html
    22 Feb 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.
  5. Joan A. Steitz Postdoc Prize - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/steitz-postdoc-prize/
    Thumbnail for Joan A. Steitz Postdoc Prize - MRC Laboratory of Molecular Biology 24 Oct 2023: Joan A. Steitz Postdoc Prize The Max Perutz Fund was set up in June 1980 in honour of the LMB’s founder, Max Perutz, and was established for the promotion
  6. Perutz Student Prize - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-student-prize/
    Thumbnail for Perutz Student Prize - MRC Laboratory of Molecular Biology 24 Oct 2023: 2002. Marijn Ford, Chris Murawsky, James Ogle, Damon Page, Barry Thompson. ... 2001. Andrew Carter, Michael Pacold, Sin Urban, James Whyte. 2000. Richard Bayliss, Bill Clemons, Lucy Holt, Eric Tse.
  7. Eileen Southgate Prize - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/eileen-southgate-prize/
    Thumbnail for Eileen Southgate Prize - MRC Laboratory of Molecular Biology 24 Oct 2023: Eileen Southgate Prize The Max Perutz Fund was set up in June 1980 in honour of the LMB’s founder, Max Perutz, and was established for the promotion
  8. Photographs - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/photographs/
    Thumbnail for Photographs - MRC Laboratory of Molecular Biology 21 Jul 2023: Photographs The LMB has an extensive collection of photographs and images, a selection of which can be viewed here by either browsing the collection or
  9. ELVER

    https://www.cl.cam.ac.uk/~pes20/index-elver.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.
  10. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html
    23 May 2024: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.
  11. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 May 2024: inproceedings{Cerberus-PLDI16, author = { Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N.M. ... Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards},

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.