Search
 
   

10 results for "domain:cs.cornell.edu"

  1. 5
    Common Knowledge Revisited (1995) pdf compsci cs.cornell.edu
    jtfmumm avatar via jtfmumm 3 months ago | cached | no comments
  2. 6
    LLVM for Grad Students [2015] compilers cs.cornell.edu
    av avatar via av 6 months ago | cached | no comments
  3. 3
    Malicious Code Detection for Open Firmware (2002) pdf compilers formalmethods programming security cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 1 comment
  4. 11
    Typed Assembly Language (1998) compilers compsci formalmethods programming cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 6 comments
  5. 6
    Verification of a practical, hardware, security architecture through static, info-flow analysis 2017 pdf hardware programming security cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  6. 4
    Fabric - High-level language for secure, distributed apps (2010-present) compsci crypto distributed privacy security web cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  7. 9
    Yarn-Based Cloth Simulation art compsci graphics science cs.cornell.edu
    animatronic avatar via animatronic 2 years ago | cached | no comments
  8. 8
    Generating Compiler Optimizations from Proofs compilers compsci cs.cornell.edu
    animatronic avatar via animatronic 3 years ago | cached | no comments
  9. 4
    A History of the Virtual Synchrony Replication Model pdf distributed cs.cornell.edu
    cemerick avatar via cemerick 4 years ago | cached | 1 comment
  10. 2
    Designs, Lessons and Advice from Building Large Distributed Systems pdf scaling cs.cornell.edu
    SeanTAllen avatar via SeanTAllen 5 years ago | cached | no comments