Synthesizing operating system based device drivers in embedded systems

Shaojie Wang, Sharad Malik. Synthesizing operating system based device drivers in embedded systems. In Rajesh Gupta, Yukihiro Nakamura, Alex Orailoglu, Pai H. Chou, editors, Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003. pages 37-44, ACM, 2003. [doi]

Abstract

Abstract is missing.