Nonintrusive Load-Shed Verification.

David C. Bergman Dong (Kevin) Jin Joshua Juen Naoki Tanaka Carl A. Gunter Andrew K. Wright

Published in: IEEE Pervasive Comput. (2011)

Keyphrases

load balancing
face verification
data sets
model checking
real time
formal methods
load forecasting
databases
decision trees
database systems
expert systems
evolutionary algorithm
temporal logic
signature verification
asynchronous circuits
integrity verification