Login / Signup

Automata-based modeling of interrupts in the Linux PREEMPT RT kernel.

Daniel Bristot de OliveiraRômulo Silva de OliveiraTommaso CucinottaLuca Abeni
Published in: ETFA (2017)
Keyphrases
  • operating system
  • database
  • database applications
  • real time
  • kernel function
  • component analysis
  • positive definite