Search
 
   

107 results for "domain:stanford.edu"

  1. 5
    History of Lisp (1979) pdf historical lisp jmc.stanford.edu
    calvin avatar via calvin 45 hours ago | cached | no comments
  2. 1
    Calibrated Uncertainty in Deep Learning pdf ai math web.stanford.edu
    unbalancedparentheses avatar via unbalancedparentheses 7 days ago | cached | no comments
  3. 7
    Data-Driven Verification (2016) ☶ pdf formalmethods programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  4. 13
    A Haskell Compiler: Slides on the GHC Implementation compilers haskell scs.stanford.edu
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | 2 comments
  5. 6
    Filter Before You Parse: Faster Analytics on Raw Data with Sparser ☶ ai databases dawn.cs.stanford.edu
    skunkwerks avatar via skunkwerks 20 days ago | cached | 3 comments
  6. 4
    On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  7. 2
    Artificial Intelligence (Stanford Encyclopedia of Philosophy) ai philosophy plato.stanford.edu
    lainon avatar via lainon 1 month ago | cached | no comments
  8. 3
    WiCapture hardware web.stanford.edu
    calvin avatar via calvin 1 month ago | cached | no comments
  9. 1
    Stanford DAWN ai dawn.cs.stanford.edu
    jumex avatar via jumex 2 months ago | cached | no comments
  10. 7
    APL and J vs C apl programming crypto.stanford.edu
    akkartik avatar via akkartik 4 months ago | cached | no comments
  11. 10
    Salsify — A New Architecture for Real-time Internet Video graphics networking snr.stanford.edu
    calvin avatar via calvin 4 months ago | cached | no comments
  12. 1
    A Graduate Course in Applied Cryptography crypto education crypto.stanford.edu
    quobit avatar via quobit 4 months ago | cached | no comments
  13. 1
    IotaFS: Exploring File System Optimizations for SSDs (2012) ☶ pdf hardware linux performance web.stanford.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  14. 2
    Computer and Information Ethics (Stanford Encyclopedia of Philosophy) (2001) historical practices programming plato.stanford.edu
    molloy avatar via molloy 5 months ago | cached | 1 comment
  15. 3
    Low-precision computation can yield highly accurate solutions ai dawn.cs.stanford.edu
    Yogthos avatar via Yogthos 5 months ago | cached | no comments
  16. 1
    Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions (2015) ☶ pdf android formalmethods java theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  17. 2
    Seams: Provably-Safe, Local Edits on Graphs (2017) ☶ pdf formalmethods plt programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  18. 1
    Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (2000) ☶ pdf compilers security web.stanford.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 1 comment
  19. 2
    “Dancing Links” pre-fascicle 5c of Knuth's TAOCP book compsci math www-cs-faculty.stanford.edu
    derek-jones avatar via derek-jones 7 months ago | cached | no comments
  20. 3
    Bulletproofs: Short Proofs for Confidential Transactions crypto cryptocurrencies crypto.stanford.edu
    sanxiyn avatar via sanxiyn 7 months ago | cached | no comments
Page: 1 2 3 4 5