Masana Murase, Hideyuki Tokuda. Dependable TCB Based on the Cell Broadband Engine Isolation Facility. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011, Toyama, Japan, August 28-31, 2011, Volume 1. pages 360-370, IEEE Computer Society, 2011. [doi]
Abstract is missing.