C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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