Dependable TCB Based on the Cell Broadband Engine Isolation Facility.

Masana Murase, Hideyuki Tokuda

Browse the full RTCSA paper archive.