Search
 
   

5 results for "domain:comp.nus.edu.sg"

  1. 7
    Automatic Generation of Provably Correct Embedded Systems (2012) ☶ pdf compilers formalmethods programming pat.comp.nus.edu.sg
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  2. 5
    Directed Greybox Fuzzing ☶ pdf programming security comp.nus.edu.sg
    calvin avatar via calvin 5 months ago | cached | no comments
  3. 2
    Stack Bounds Protection with Low Fat Pointers pdf security comp.nus.edu.sg
    fro avatar via fro 10 months ago | cached | no comments
  4. 2
    VisuAlgo - visualising data structures and algorithms through animation compsci math programming comp.nus.edu.sg
    jasontbradshaw avatar via jasontbradshaw 4 years ago | cached | no comments
  5. 3
    SICP done in JavaScript javascript programming comp.nus.edu.sg
    qbit avatar via qbit 4 years ago | cached | no comments