Calculational Derivation of a Counter with Bounded Response Time.

Joep L. W. Kessels

Published in: CHARME (1993)

Keyphrases

response time
scheduling algorithm
quality of service
query execution
storage space
theorem proving
prefetching
real time
disk access
network latency
knn
social networks
artificial intelligence
genetic algorithm
asymptotically optimal
higher priority
databases
data sets