Search
 
   

48 results for "domain:cam.ac.uk"

  1. 1
    Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016) ☶ pdf formalmethods programming cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  2. 28
    Some Were Meant For C pdf c philosophy cl.cam.ac.uk
    friendlysock avatar via friendlysock 3 months ago | cached | 55 comments
  3. 5
    ASAP: As Static As Possible Memory Management (2017) ☶ pdf c compilers plt security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 4 comments
  4. 1
    Making Bitcoin Legal ☶ pdf cryptocurrencies finance law cl.cam.ac.uk
    calvin avatar via calvin 5 months ago | cached | no comments
  5. 3
    Exploring New Attack Vectors for Exploitation of Smartphones (2017) pdf android programming security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 2
    The Notion of Proof in Hardware Verification (draft) (1989) pdf formalmethods hardware historical cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  7. 28
    ML For The Working Programmer, 2nd ed. ☶ pdf book ml cl.cam.ac.uk
    pushcx avatar via pushcx 7 months ago | cached | 13 comments
  8. 17
    Dave Green's `cubehelix' colour scheme visualization mrao.cam.ac.uk
    calvin avatar via calvin 8 months ago | cached | 1 comment
  9. 9
    Network Semantics formalmethods networking cl.cam.ac.uk
    pushcx avatar via pushcx 9 months ago | cached | no comments
  10. 38
    Full text of "ML for the Working Programmer" now online! ml cl.cam.ac.uk
    sergeyb avatar via sergeyb 11 months ago | cached | 8 comments
  11. 5
    Firmament: Fast, Centralized Scheduling at Scale (2016) ☶ pdf compsci distributed cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | no comments
  12. 43
    Some Were Meant for C: The Endurance of an Unmanageable Language pdf c programming cl.cam.ac.uk
    wrs avatar via wrs 11 months ago | cached | 14 comments
  13. 1
    Psycholinguistic evidence on scrambled letters in reading cogsci mrc-cbu.cam.ac.uk
    friendlysock avatar via friendlysock 1 year ago | cached | 3 comments
  14. 2
    A Generic Synthesisable Test Bench hardware testing cl.cam.ac.uk
    pushcx avatar via pushcx 1 year ago | cached | no comments
  15. 5
    ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician ☶ compsci formalmethods math ml cl.cam.ac.uk
    c-cube avatar via c-cube 1 year ago | cached | 3 comments
  16. 3
    Understanding the Basis of the Kalman Filter pdf compsci cl.cam.ac.uk
    Dawny33 avatar via Dawny33 1 year ago | cached | no comments
  17. 12
    Algebraic Subtyping ☶ pdf ml cl.cam.ac.uk
    lojikil avatar via lojikil 1 year ago | cached | 2 comments
  18. 4
    Algebraic Subtyping [pdf] pdf compsci cl.cam.ac.uk
    akalin avatar via akalin 1 year ago | cached | no comments
  19. 4
    Custom ELF program headers—what, why and how unix cl.cam.ac.uk
    mjn avatar via mjn 1 year ago | cached | no comments
  20. 4
    Debugging with the natives, part 2 debugging cl.cam.ac.uk
    PuercoPop avatar via PuercoPop 1 year ago | cached | 2 comments
Page: 1 2 3