Verification of an Industrial CC-NUMA Server.

Rajarshi Mukherjee Yozo Nakayama Toshiya Mima

Published in: VLSI Design (2002)

Keyphrases

high end
load balancing
client server
database
model checking
industrial applications
web server
industrial environment
execution model
quality improvement
verification method
special case
industrial processes
formal verification
asynchronous circuits
network bandwidth
service times
single server