Work-in-Progress: Partial-Order Reduction in Reachability-Based Response-Time Analyses.

Sayra Ranjha Mitra Nasri Geoffrey Nelissen

Published in: RTSS (2021)

Keyphrases

response time
partial order reduction
model checking
petri net
quality of service
scheduling algorithm
storage space
query execution
prefetching
transitive closure
state space
network latency
comparative analysis
artificial intelligence