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
11 - 20 of 149 search results for watson

  1. Fully-matching results

  2. Department of Computer Science and Technology: Timothy M. Jones:…

    https://www.cl.cam.ac.uk/~tmj32/papers/
    2 May 2024: Watson. IEEE Symposium on Security and Privacy (S&P), May 2020. Published version on Software Prefetching for Unstructured Mesh Applications. ... Neumann, Simon W. Moore, Robert N. M. Watson and Timothy M.

  3. Kayvan Memarian

    https://www.cl.cam.ac.uk/~km569/
    21 Apr 2024: Watson, and Peter Sewell. In ASPLOS 2024. [11] CN: Verifying Systems C Code with Separation-Logic Refinement Types. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and Peter Sewell. In

  4. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html
    23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... M. Watson. ISO SC22 WG14 N2013, March 2016. [ N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.

  5. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/AOS/
    10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  6. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/L341/
    10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  7. topic.cheri.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html
    23 May 2024: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N.

  8. https://entrepreneurship.blog.jbs.cam.ac.uk/tag/science/feed/

    https://entrepreneurship.blog.jbs.cam.ac.uk/tag/science/feed/
    14 May 2024: of-futures-thinking/ https://entrepreneurship.blog.jbs.cam.ac.uk/2022/11/20/introducing-the-4ps-model-of-futures-thinking/#respond Richard Watson Sun, 20 Nov 2022 11:00:00 0000 ... p pemRichard Watson, Futurist in Residence, Cambridge Judge

  9. 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: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.

  10. Department of Computer Science and Technology – Course pages 2022–23: …

    https://www.cl.cam.ac.uk/teaching/2223/lecturers.html
    27 Jun 2024: Search site. Lecturer index. Department of Computer Science and Technology. Course pages 2022–23. Contents. Index of courses by lecturer. Please check the lecture timetables for timetable details. Michaelmas,Lent,Lent,Easter,Michaelmas,

  11. Computer Laboratory: Alice Hutchings

    https://www.cl.cam.ac.uk/~ah793/
    25 Jun 2024: R209: Computer Security: Principles and Foundations (MPhil ACS, Part III, withand Robert Watson), 2019-present.

Refine your results

Format

clear all

Date

Related searches for watson

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.