Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks.

Sayra Ranjha Geoffrey Nelissen Mitra Nasri

Published in: RTAS (2022)

Keyphrases

response time
scheduling algorithm
higher priority
scheduling problem
high level
network latency
statistical analysis
information retrieval
state space
lower bound
search algorithm
multi dimensional
search engine
robotic systems
prefetching
storage space
data sets
database