dspace.mit.edu: 16 stories from 10 submitters

  1. 4
    System design and the cost of architectural complexity (2013) compsci dspace.mit.edu
    mpweiher avatar via mpweiher 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 2
    Learning Structural Descriptions from Examples (1970) pdf ai dspace.mit.edu
    felixyz avatar via felixyz 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 18
    The Connection Machine pdf distributed hardware programming dspace.mit.edu
    Wryl avatar via Wryl 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 4
    Gen: A General-Purpose Probabilistic Programming System with Programmable Inference pdf plt dspace.mit.edu
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  5. 2
    Runtime Verification for Stochastic Systems (2010) ☶ pdf formalmethods hardware programming dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 5
    Automatic Exploitation of Fully Randomized Executables pdf security dspace.mit.edu
    fro avatar via fro 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 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
  8. 2
    Compiler Verification Meets Cross-Language Linking via Data Abstraction (2014) ☶ compilers formalmethods plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 7
    Automatic Protoboard Layout from Circuit Schematics (2013) ☶ compsci hardware dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 4
    An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 4
    Why are There so Few Female Computer Scientists? (1991) culture dspace.mit.edu
    stip avatar via stip 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  12. 4
    Verifying an I/O-concurrent, File System (2017) pdf compsci formalmethods programming dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 2
    Leading a Child to a Computer Culture (1975) pdf historical programming dspace.mit.edu
    calvin avatar via calvin 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    Keys Under Doormats (2015) ☶ pdf security dspace.mit.edu
    bsima avatar via bsima 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 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
  16. 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