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