2

TS/Scheme: Distributed data structures in Lisp

Year:
1994
Language:
english
File:
PDF, 1.29 MB
english, 1994
3

A concurrent abstract interpreter

Year:
1994
Language:
english
File:
PDF, 1.11 MB
english, 1994
4

Dynamic state restoration using versioning exceptions

Year:
2006
Language:
english
File:
PDF, 817 KB
english, 2006
5

Flattening tuples in an SSA intermediate representation

Year:
2008
Language:
english
File:
PDF, 1.24 MB
english, 2008
6

A transactional object calculus

Year:
2005
Language:
english
File:
PDF, 334 KB
english, 2005
8

Compiling functional languages with flow analysis

Year:
1996
Language:
english
File:
PDF, 158 KB
english, 1996
15

Modular Checkpointing for Atomicity

Year:
2007
Language:
english
File:
PDF, 661 KB
english, 2007
18

Unstructured peer-to-peer networks for sharing processor cycles

Year:
2006
Language:
english
File:
PDF, 373 KB
english, 2006
20

Continuation-based transformations for coordination languages

Year:
2000
Language:
english
File:
PDF, 183 KB
english, 2000
21

Randomized leader election

Year:
2007
Language:
english
File:
PDF, 517 KB
english, 2007
22

Locality in structured peer-to-peer networks

Year:
2006
Language:
english
File:
PDF, 372 KB
english, 2006
27

Dependence analysis for safe futures

Year:
2012
Language:
english
File:
PDF, 651 KB
english, 2012
28

Calcified Right Atrial Mass

Year:
2012
Language:
english
File:
PDF, 564 KB
english, 2012
30

Truncal blocks in children

Year:
2007
Language:
english
File:
PDF, 594 KB
english, 2007
43

Lightweight checkpointing for concurrent ML

Year:
2010
Language:
english
File:
PDF, 778 KB
english, 2010
46

Modular reasoning for deterministic parallelism

Year:
2011
Language:
english
File:
PDF, 512 KB
english, 2011
48

Improving duplicate elimination in storage systems

Year:
2006
Language:
english
File:
PDF, 471 KB
english, 2006