Author:
Cheng Bin,Wang Xingang,Li Ying,Tong Weiqin
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Ferscha, A.: Modelling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model. In: Girault, C., Cosnard, M. (eds.) Proc. of the IFIP WG 10.3 Working Conf. on Decentralized Systems, pp. 349–362 (1990)
2. Balbo, G., Chiola, G., Bruell, S.C., Chen, P.: An Example of Modelling and Evaluation of a Concurrent Program using Coloured Stochastic Petri Nets: Lamport’s Fast Mutual Exclusion Algorithm. IEEE Transactions on Parallel and Distributed Systems 3(2), 221–240 (1992)
3. Ferscha, A., Kotsis, G.: Optimum Interconnection Topologies for the Compute-Aggregate-Broadcast Operation on a Transputer Network. In: Proceedings of the TRANSPUTER 1992 Conference, pp. 307–326. IOS Press, Amsterdam (1992)
4. Ferscha, A.: A Petri Net Approach for Performance Oriented Parallel Program Design. Journal of Parallel and Distributed Computing 15(3), 188–206 (1992)
5. Herzog, U.: Formal methods for performance evaluation. Springer Lectures on Formal Methods and Performance Analysis, 1–37 (2002)