| Title | Date | Type | ||
|---|---|---|---|---|
| 26 |  | Deriving abstract transfer functions for analyzing embedded software | 2006-01-01 | Text |
| 27 |  | Efficient type and memory safety for tiny embedded systems | 2006-01-01 | Text |
| 28 |  | From the editor: real-time and embedded systems--teaching reliability | 2006-01-01 | Text |
| 29 |  | Geometric and arithmetic culling methods for entire ray packets | 2006-08-16 | Text |
| 30 |  | Memory safety and untrusted extensions for TinyOS | 2006-01-01 | Text |
| 31 |  | Memory safety and untrusted extensions for TinyOS | 2006-06-30 | Text |
| 32 |  | Packet-based whitted and distribution ray tracing | 2006-11-10 | Text |
| 33 |  | Pluggable abstract domains for analyzing embedded software | 2006-01-01 | Text |
| 34 |  | Refactoring SPIN for safety | 2006-02-14 | Text |
| 35 |  | Thread verification vs. interrupt verification | 2006-01-01 | Text |
| 36 |  | Video based animal behavior analysis | 2006-06-06 | Text |