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 |