| Packet one — Introduction to embedded systems. | Print version. |
| Packet two — Specification of embedded systems. | Print version. |
| Packet three — Example language design and compilation project. | Print version. |
| Packet four — Synthesis and optimization. | Print version. |
| Packet six — Real-time systems, scheduling, real-time operating systems, and simulation-based embedded system power analysis | Print version. |
| Packet seven — Embedded operating systems, and power analysis. | Print version. |
| Packet eight — Power consumption. | Print version. |
| Packet nine — Sensor networks. | Print version. |
| Packet 10 — Technology trends. | Print version. |
| Packet 11 — Medical devices, and formal methods. | Print version. |
Page maintained by Robert Dick.