Experiences in verifying parallel simulation algorithms

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Experiences in verifying parallel simulation algorithms

Full text

Pdf (988 KB)

Source

Formal Methods in Software Practice archive
Proceedings of the second workshop on Formal methods in software practice table of contents

Clearwater Beach, Florida, United States

Pages: 16 - 23

Year of Publication: 1998

ISBN:0-89791-954-8

Authors

John Penix	Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH
Dale Martin	Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH
Peter Frey	Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH
Ramanan Radhakrishnan	Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH
Perry Alexander	Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH
Philip A. Wilsey	Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 5, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298595.298600 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Richard M. Fujimoto, Parallel discrete event simulation, Communications of the ACM, v.33 n.10, p.30-53, Oct. 1990 [doi>10.1145/84537.84545]
	2	David R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.404-425, July 1985 [doi>10.1145/3916.3988]
	3	H. Bauer and C. Sporrer. Distributed logic simulation and au approach to asynchronous GVT-calculation. In 6th Workshop on Parallel and Distributed Simulation, pages 205-208. Society ~r Computer Simulation, January 1992.
	4	S. Bellenot. Global vixtual time algorithm~ In D/stributed Simulation, pages 122-127. Society for Computes Simulation, January 1990.
	5	Loy M. D'Souza , Xianzhi Fan , Philip A. Wilsey, pGVT: an algorithm for accurate GVT estimation, Proceedings of the eighth workshop on Parallel and distributed simulation, p.102-109, July 06-08, 1994, Edinburgh, Scotland, United Kingdom
	6	Yi-Bing Lin and E. Lazowska. Determln~g the global virtual time in a distributed simulation. In 1990 International Conference on Parallel Proceszlng, pages III- 201-111-209, 1990.
	7	Friedemann Mattern, Efficient algorithms for distributed snapshots and global virtual time approximation, Journal of Parallel and Distributed Computing, v.18 n.4, p.423-434, Aug. 1993 [doi>10.1006/jpdc.1993.1075 ]
	8	Alexander I. Tomlinson , Vijay K. Garg, An algorithm for minimally latent global virtual time, Proceedings of the seventh workshop on Parallel and distributed simulation, p.35-42, May 16-19, 1993, San Diego, California, United States
	9	Balakrishnan Kannikeswaran , Radharamanan Radhakrishnan , Peter Frey , Perry Alexander , Philip A. Wilsey, Formal Specification and Verification of the pGVT Algorithm, Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods, p.405-424, March 18-22, 1996
	10	D.E. Martin, T. McBrayer, and P. A. Wilsey. WAm~gO: A time warp simulation kernel f~r analysis and application development, 1995. (available on the ,,ww at http://v~, ece. uc. edu/'paw/w~-'ped/).
	11	Umamageswartm, K. and Subramaul, K. and Wilsey, P. A. and Alexander, P. Formal Specification and Verification of the Rollback Relaxation Algorithm. Submitted to Journal of Systems Architecture, Special Issue on Distributed Parallel and Distributed Simulation, August 1996.
	12	J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992
	13	Y. Martin. A Course in Mathematical Logic. Springer- Verlag, 1977.

CITED BY 2

	Dhananjai Madhava Rao , Radharamanan Radhakrishnan , Philip A. Wilsey, Web-based network analysis and design, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.10 n.1, p.18-38, Jan. 2000
	P. Frey , R. Radhakrishnan , H. W. Carter , P. A. Wilsey , P. Alexander, A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation, IEEE Transactions on Software Engineering, v.28 n.1, p.58-78, January 2002