Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification.

Daniela Traczinski Wolfram Luther Gerhard Haßlinger

Published in: MMB (2004)

Keyphrases

semi markov
databases
machine learning
real time
neural network
generative model
model checking
face verification
arrival rate
low overhead
formal proof