Hardware support for resource partitioning in real-time embedded systems. - Tetsuro Honmura; Yuki Kondo; Tetsuya Yamada; Masashi Takada; Takumi Nitoh; Tohru Nojiri; Keisuke Toyama 003; Yasuhiko Saitoh; Hirofumi Nishi; Mikiko Sato; Mitaro Namiki (COOL Chips, 2013)