Bang for the buck: Improvising and scheduling verification engines for effective resource utilization.

Malay K. Ganai Weihong Li

Published in: MEMOCODE (2009)

Keyphrases

resource utilization
load balancing
resource management
quality of service
high availability
response time
network resources
energy consumption
virtual machine
video streaming
high quality
information systems
web services
multi agent
management system
database management systems