Formal Proofs for Fuzzy Logic Based Communication Scheduling Policies.

Gregory Willden Jeremy C. Price Ben Abbott Djaffer Ibaroudene

Published in: CCCT (1) (2004)

Keyphrases

finite state
formal proofs
scheduling policies
scheduling algorithm
fuzzy logic
response time
load balancing
queueing networks
round robin
lower bound
control system
special case
graphical models
fuzzy rules