OSDI
2002
ACM
15 years 27 days ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...