Sciweavers

26 search results - page 6 / 6
» Some Improvements on Multipartite Table Methods
Sort
View
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
13 years 12 months ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...