dspace.mit.edu: 15 stories from 9 submitters

  1. 2
    Learning Structural Descriptions from Examples (1970) pdf ai dspace.mit.edu
    felixyz avatar via felixyz 12 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 18
    The Connection Machine pdf distributed hardware programming dspace.mit.edu
    imode avatar via imode 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 4
    Gen: A General-Purpose Probabilistic Programming System with Programmable Inference pdf plt dspace.mit.edu
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  4. 2
    Runtime Verification for Stochastic Systems (2010) ☶ pdf formalmethods hardware programming dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 5
    Automatic Exploitation of Fully Randomized Executables pdf security dspace.mit.edu
    fro avatar via fro 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 3
    Verification of Full, Functional Correctness for Imperative, Linked, Data Structures (2010) ☶ pdf formalmethods java dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 2
    Compiler Verification Meets Cross-Language Linking via Data Abstraction (2014) ☶ compilers formalmethods plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    Automatic Protoboard Layout from Circuit Schematics (2013) ☶ compsci hardware dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 4
    Why are There so Few Female Computer Scientists? (1991) culture dspace.mit.edu
    stip avatar via stip 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  11. 4
    Verifying an I/O-concurrent, File System (2017) pdf compsci formalmethods programming dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 2
    Leading a Child to a Computer Culture (1975) pdf historical programming dspace.mit.edu
    calvin avatar via calvin 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 5
    Keys Under Doormats (2015) ☶ pdf security dspace.mit.edu
    bsima avatar via bsima 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 1
    Lisp: A Language for Stratified Design pdf lisp dspace.mit.edu
    SeanTAllen avatar via SeanTAllen 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 7
    MIT Artificial Intelligence Lab Publications pdf compsci dspace.mit.edu
    old_sound avatar via old_sound 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments