Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
11 -
20 of
148
search results for watson
Fully-matching results
-
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. -
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 -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html23 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. -
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. -
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. -
topic.cheri.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html23 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. -
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 -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html23 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. -
Department of Computer Science and Technology – Course pages 2022–23: …
https://www.cl.cam.ac.uk/teaching/2223/lecturers.html27 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, -
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.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.