2

Better scripts, better games

Year:
2009
Language:
english
File:
PDF, 3.32 MB
english, 2009
4

An efficient general iterative algorithm for dataflow analysis

Year:
1987
Language:
english
File:
PDF, 772 KB
english, 1987
8

Implementing RUSSELL

Year:
1986
Language:
english
File:
PDF, 1.12 MB
english, 1986
12

Effect analysis in higher-order languages

Year:
1989
Language:
english
File:
PDF, 1.59 MB
english, 1989
13

A model and temporal proof system for networks of processes

Year:
1986
Language:
english
File:
PDF, 1.72 MB
english, 1986
16

An algorithm for testing lossless join property in relational databases

Year:
1980
Language:
english
File:
PDF, 474 KB
english, 1980
17

Safety without stuttering

Year:
1986
Language:
english
File:
PDF, 225 KB
english, 1986
18

Systems Biology of Vascular Calcification

Year:
2009
Language:
english
File:
PDF, 385 KB
english, 2009
20

Systolic blood pressure and mortality

Year:
2000
Language:
english
File:
PDF, 97 KB
english, 2000
26

MACAW

Year:
1994
Language:
english
File:
PDF, 1.48 MB
english, 1994
27

Data types are values

Year:
1985
Language:
english
File:
PDF, 1.48 MB
english, 1985
30

ClouDiA: a deployment advisor for public clouds

Year:
2015
Language:
english
File:
PDF, 1.47 MB
english, 2015
42

Better Scripts, Better Games

Year:
2008
Language:
english
File:
PDF, 181 KB
english, 2008
46

The Cougar Project

Year:
2003
Language:
english
File:
PDF, 250 KB
english, 2003
47

ClouDiA

Year:
2012
Language:
english
File:
PDF, 604 KB
english, 2012