Search
Search Funnelback University
- Refined by:
- Date: Past year
21 -
40 of
842
search results for watson
Fully-matching results
-
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/recent.html23 May 2024: M. Watson. Blog post,, July 2022. [ Islaris: Verification of Machine Code Against Authoritative ISA Semantics. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. -
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 -
Alison Sleigh | Wolfson Brain Imaging Centre
https://www.wbic.cam.ac.uk/userdirs/as62623 Feb 2024: Selected publications. Azhar M, Watson LPE, De Lucia Rolfe E, Ferraro M, Carr K, Worsley J, Boesch C, Hodson L, Chatterjee KK, Kemp GJ, Savage DB, & Sleigh A. ... NMR in Biomed, 34:e4246. Savage DB, Watson L, Carr K, Adams C, Brage S, Chatterjee KK, -
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. -
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. -
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/R209/10 May 2024: Neville-Neil, and Robert N. M. Watson. 'Chapter 5 - Security', The Design and Implementation of the FreeBSD Operating System, 2nd Edition, Pearson Education, Boston, MA, USA, September 2014. -
Alastair Beresford---Curriculum Vitae
https://www.cl.cam.ac.uk/~arb33/cv/27 May 2024: Jointly with Prof. Anderson and Drs Watson and Hutchings. (2014--2022). Computer Security: Current Applications and Research an MPhil and Part III course focusing on contemporary themes in computer security. ... Jointly with Prof. Anderson and Dr Watson. -
Ross Anderson's Home Page
https://www.cl.cam.ac.uk/~rja14/27 Mar 2024: Ross Anderson. shows that the randomness tests long used to check random number generators for use in cryptographic key generation are inadequate for machine learning, where some applications make heavy use of random inputs about which very specific -
Department of Computer Science and Technology: CTSRD
https://www.cl.cam.ac.uk/research/security/ctsrd/31 Oct 2023: ACM Queue, October 2012: interview with Dr Robert N. M. Watson on research into the hardware-software interface. ... IEEE Spectrum, December 2012: interview with Dr Robert N. M. Watson on clean-slate research for security. -
ELVER
https://www.cl.cam.ac.uk/~pes20/index-elver.html23 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. -
Department of Computer Science and Technology – CHERI: The Digital…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/dsbd.html22 Feb 2024: Robert N. M. Watson, Jonathan Woodruff, Michael Roe, Simon W. Moore, Peter G. ... Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. -
Cerberus
https://www.cl.cam.ac.uk/~pes20/cerberus/1 Oct 2023: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... David Chisnall and Robert N. M. Watson contributed to the discussion of CHERI semantics. -
Ingo Greger - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/group-leaders/a-to-g/ingo-greger/23 Feb 2024: Nature 621(7980): 877-882. Zhang, D., Watson, J.F., Matthews, P.M., Cais, O. ... Herguedas, B., Watson, J.F., Ho, H., Cais, O., García-Nafría, J., Greger, I.H. -
Books - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/books/21 Jul 2023: DNA. The Big Idea: Crick, Watson & DNA. Strathern, Paul. London: Arrow Books, 1997. ... The involvement of RNA in the synthesis of nucleic acids’ by James Watson. -
Professor Cédric Ghevaert | Wellcome-MRC Cambridge Stem Cell Institute
https://www.stemcells.cam.ac.uk/people/pi/ghevaert23 Feb 2024: He obtained a personal Intermediate Clinical Fellowship from the British Heart Foundation whilst working in Prof Steve Watson's group at the university of Birmingham in 2009. -
Public Health Teaching Staff - Department of Public Health and…
https://www.phpc.cam.ac.uk/people/teaching-staff/23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Public Health Teaching Staff. Department of Public Health and Primary Care. -
Achievements - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/7 Feb 2024: One of the world's leading research institutes, our scientists are working to advance understanding of biological processes at the molecular level - providing the knowledge needed to solve key problems in human health. Search this website. -
Michelle Venables - Institute of Metabolic Science-Metabolic Research …
https://www.mrl.ims.cam.ac.uk/michelle-venables/23 Feb 2024: Int J Epidemiol 49(3):1007-1021. Watson, L.P.E, Carr, K.S., Venables, M.C., Acerini, C., Moran, C., Murgatroyd, P.R. ... Laura Watson. Alison Sleigh. Claire Connell. Partners. Supported by:. 2024 University of Cambridge.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
- `Latest News` |u:www.environment.admin.cam.ac.uk (10) · moments ago
Recent searches
Your search history is empty.