Login / Signup
Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automata.
Daniel Bristot de Oliveira
Tommaso Cucinotta
Rômulo Silva de Oliveira
Published in:
SIGBED Rev. (2019)
Keyphrases
</>
linux kernel
operating system
software systems
cellular automata
data sets
source code
modeling method
clone detection
database
databases
machine learning
case study
file system
finite state machines
finite automata