VOQSW: A Methodology to Reduce HOL Blocking in InfiniBand Networks.

María Engracia Gómez Jose Flich Antonio Robles Pedro López José Duato

Published in: IPDPS (2003)

Keyphrases

network structure
social networks
theorem prover
network analysis
design methodology
formal methods
data mining
decision making
database systems
multi agent
knowledge representation
social network analysis
heterogeneous networks
cellular networks
telecommunication networks