Verification of an Off-Line Checker for Priority Queues.
Hans de NivelleRuzica PiskacPublished in: SEFM (2005)
Keyphrases
- priority queue
- signature verification
- arrival processes
- model checking
- service rates
- waiting times
- artificial intelligence
- processor sharing
- asynchronous circuits
- single server
- face verification
- retrial queue
- neural network
- database
- preemptive scheduling
- finite capacity
- concurrent systems
- higher priority
- formal verification
- service times
- formal analysis
- queue length
- data structure
- clustering algorithm
- machine learning
- data sets