Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer. Using SMT to Hide Context Switch Times of Large Real-Time Tasksets. In 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010. pages 255-264, IEEE Computer Society, 2010. [doi]
Abstract is missing.