Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller
Keyword(s):
2015 ◽
Vol 45
(1)
◽
pp. 142-156
◽
2014 ◽
Vol 9
(6)
◽
pp. 703-709
◽