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