Study on parallel system performance modeling based on TCPN

Authors:
Bin Cheng;Xingang Wang;Ying Li;Weiqin Tong
Affiliations:
School of Computer Engineering and Science, Shanghai University, Shanghai, China;School of Computer Engineering and Science, Shanghai University, Shanghai, China;School of Computer Engineering and Science, Shanghai University, Shanghai, China;School of Computer Engineering and Science, Shanghai University, Shanghai, China
Venue:
HPCA'09 Proceedings of the Second international conference on High Performance Computing and Applications
Year:
2009

Citing 3
Cited 0

Formal methods for performance evaluation

Lectures on formal methods and performance analysis
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm

IEEE Transactions on Parallel and Distributed Systems
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML

PDCAT '07 Proceedings of the Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Hierarchical TCPN model proposed in this paper describes the parallel program and the resources respectively to bring less effect to modify the program structure because of running environment changes. Performance analysis and validation of program correctness can be done based on this model.