Login / Signup
From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling.
Kimaya Bedarkar
Mariam Vardishvili
Sergey Bozhko
Marco Maida
Björn B. Brandenburg
Published in:
RTSS (2022)
Keyphrases
</>
response time
scheduling algorithm
neural network
quality of service
databases
artificial intelligence
case study
data sets
data mining
wireless sensor networks
scheduling problem
software engineering
real time database systems