1 - 25 of 4
| Title | Date | Type | ||
|---|---|---|---|---|
| 1 |
 | Approximate Bregman near neighbors in sublinear time: beyond the triangle inequality | 2012-01-01 | Text |
| 2 |
 | Efficient memory safety for TinyOS | 2007-01-01 | Text |
| 3 |
 | Eliminating stack overflow by abstract interpretation | 2005-01-01 | Text |
| 4 |
 | Pluggable abstract domains for analyzing embedded software | 2006-01-01 | Text |
1 - 25 of 4