Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
21 -
40 of
134
search results for watson
Fully-matching results
-
topic.WG14.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html23 May 2024: M. Watson}, title = {N2013: C memory object and value semantics: the space of de facto and {ISO} standards}, howpublished = {ISO SC22 WG14 N2013}, optnote = ... Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards -
Royal Society Awards - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/royal-society-awards/16 May 2024: Royal Society Awards & Honours The Royal Society is a Fellowship of the world's most eminent scientists and is the oldest scientific academy in
-
Department of Computer Science and Technology: ASPLOS 2022 - CHERI…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022asplos/1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson. -
Department of Computer Science and Technology – Course pages 2023–24: …
https://www.cl.cam.ac.uk/teaching/2324/OpSystems/10 May 2024: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. and Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System. -
Department of Computer Science and Technology: Academic staff
https://www.cl.cam.ac.uk/people/academic.html12 Jun 2024: Search site. Academic staff. Department of Computer Science and Technology. Academic staff. Telephone and email directory. Telephone:. UK prefix:. 01223. International:. 44 1223. University network:. drop prefix 3- or 7-. Email:. -
Department of Computer Science and Technology: DSbD All Hands October …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022.10dsbd/1 May 2024: M. Watson. Information provided by Robert Watson. -
Department of Computer Science and Technology: CHERITech'24…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2024cheritech/posters.html1 May 2024: 2024-2024 Robert N. M. Watson. Information provided by Robert Watson. -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. -
Department of Computer Science and Technology – Security Group:…
https://www.cl.cam.ac.uk/research/security/project-ideas.html3 May 2024: Security Group. Project ideas. The members of our group regularly supervise the CST Part II and Part III / MPhil ACS projects of local students. Several have web pages with suggestions for potential project topics:. Academic staff:. via CTSRD project -
PhDs Examined
https://www.cl.cam.ac.uk/~jac22/students-examined.htm28 May 2024: PhDs Examined. In US terms, this is students whose committee I was on, but for whom I wasn't the advisor. Weimin Weng, Reading, 1993. Stephen Wright, Ulster, 1995. Isabelle Chrisment, Nice/INRIA, 1996. Claude Castelluccia, Nice/INRIA, oct 1998. -
topic.Cerberus.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance}, -
stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …
https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk2022_stelaCSF.pdf9 Apr 2024: We model the drop of sensitivity with eccentricity 𝑒 in the sameway as [Watson 2018]:. ... The plots representisosurfaces at which 𝑆 = 1 (note that this is different from the pyramidsshown in [Watson and Ahumada 2016]). -
sewellandgroupbib2
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics. -
sewellandgroupbib2.bib
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html23 May 2024: sewellandgroupbib2.bib.. @article{physics4, author = {M. E. Woods and B. J. Hopkins and G. F. Matthews and G. M. McCracken and P. M. Sewell and H. Fahrang}, title = {An Investigation of the Secondary-Electron Emission of Carbon Samples Exposed to a -
Department of Computer Science and Technology: Wheeler Lectures
https://www.cl.cam.ac.uk/seminars/wheeler/andrew-herbert/4 Apr 2024: Robert Watson, CHERI: Secure Software. 2016 Department of Computer Science and Technology, University of Cambridge. -
Journal of Vision (20??) ?, 1–? http://journalofvision.org/?/?/? 1…
https://www.cl.cam.ac.uk/~rkm38/pdfs/ashraf2024_castleCSF.pdf8 Apr 2024: Watson, 2018). (3) (3). Chromatic pyramid of visibility (b) (Watson, 2021) (3) (3). ... minance, while the extended version (Watson, 2018) adds stimulus. area and retinal eccentricity parameters. -
stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …
https://www.cl.cam.ac.uk/research/rainbow/projects/stelaCSF/mantiuk2022_stelaCSF.pdf9 Apr 2024: We model the drop of sensitivity with eccentricity 𝑒 in the sameway as [Watson 2018]:. ... The plots representisosurfaces at which 𝑆 = 1 (note that this is different from the pyramidsshown in [Watson and Ahumada 2016]). -
Blue Sky Collaboration - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/research/blue-sky-collaboration/31 May 2024: Stangherlin, A., Watson, J.L., Wong, D.C.S., Barbiero, S., Zeng, A., Seinkmane, E., Peak Chew, S., Beale, A.D., Hayter, E.A., Guna, A., Inglis, A.J., Putker, M.,
-
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.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. -
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
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.