Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras-Reference-Cited by-同舟云学术

Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras

Published: Issue: Volume: Page:121-146
ISSN:
Container-title:Performance Evaluation of Computer and Communication Systems
language:
Short-container-title:

Author:

Götz Norbert,Herzog Ulrich,Rettelbach Michael

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0013851

Reference25 articles.

1. M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, 1986.

2. Jos Baeten and Peter Weijland. Process Algebra. Cambridge University Press, 1990.

3. Hu Trung Do. Entwurf von ProzeΒsprachen zur Leistungsbewertung. Diplomarbeit, Universität Erlangen, 1993.

4. D. Ferrari. Considerations on the Insularity of Performance Evaluation. IEEE Transactions on Software Engineering, SE-12(6):678–683, June 1986.

5. Norbert Götz, Ulrich Herzog, and Michael Rettelbach. TIPP — a language for timed processes and performance evaluation. Interner Bericht IMMD7-4/92, Universität Erlangen, March 1992.

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Faster-Than Relation for Semi-Markov Decision Processes;Electronic Proceedings in Theoretical Computer Science;2020-01-20

2. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC;Sibirskie Elektronnye Matematicheskie Izvestiya;2018-12-26

3. Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines;Journal of Logical and Algebraic Methods in Programming;2018-11

4. A Hemimetric Extension of Simulation for Semi-Markov Decision Processes;Quantitative Evaluation of Systems;2018

5. Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines;Electronic Proceedings in Theoretical Computer Science;2017-04-08