Sign in

Sealing OS processes to improve dependability and safety.

Galen C. HuntMark AikenManuel FähndrichChris HawblitzelOrion HodsonJames R. LarusSteven LeviBjarne SteensgaardDavid TarditiTed Wobber
Published in: EuroSys (2007)
Keyphrases
  • operating system
  • computational model
  • real time
  • databases
  • decision making
  • metadata
  • case study
  • similarity measure
  • evolutionary algorithm
  • communication channels