Formal Approach for Performance Analysis Oriented Parallel System Design.

Bin Cheng Xingang Wang Ying Li Weiqing Tong

Published in: FCST (2009)

Keyphrases

case study
computer aided
formal methods
optimal design
massively parallel
conceptual framework
building blocks
databases
software architecture
design principles
formal model
conceptual model
knowledge based systems
user interface
decision trees
genetic algorithm
machine learning
neural network