Title | Date | Type | ||
---|---|---|---|---|
1 | Comparing program logics for reasoning about safety properties | 2010-10-06 | Text; Image | |
2 | Computing hulls in positive definite space | 2010-10-06 | Text; Image | |
3 | Enhancing covert communications with multiple colluding receivers | 2010-10-06 | Text; Image | |
4 | Infinite Zoom | 2010-10-06 | Text; Image | |
5 | PUG : A Symbolic Verifier of GPU Programs | 2010-10-06 | Text; Image | |
6 | Scalable scientific data | 2010-02-26 | Text; Image | |
7 | Tracing ridges on B-Spline surfaces | 2010-02-26 | Text; Image |