Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi. An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 1157-1158, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
Abstract is missing.