Login / Signup

Towards Correct-by-Construction Interrupt Routing on Real Hardware.

Lukas HumbelReto AchermannDavid CockTimothy Roscoe
Published in: PLOS@SOSP (2017)
Keyphrases
  • real life
  • real time
  • hardware and software
  • low cost
  • routing algorithm
  • real world
  • image processing
  • neural network
  • routing protocol
  • ad hoc networks
  • embedded systems
  • network topology