John Penix, Dale Martin, Peter Frey, Ramanan Radharkrishna, Perry Alexander, Philip A. Wilsey  Home/Search
Context Related
| ukans.edu/courses/800ni...kong1warp.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ukans.edu/courses/...reading_list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Parallelization is a popular technique for improving the performance of discrete event simulation. Due to the complex, distributed nature of parallel simulation algorithms, debugging implemented systems is a daunting, if not impossible task. Developers are plagued with transient errors that prove difficult to replicate and eliminate. Recently, researchers at The University of Cincinnati developed a parallel simulation kernel, warped, implementing a generic parallel discrete event simulator ... (Update)
Context of citations to this paper: More
.... verification for two aspects of the Time Warp algorithm, namely: i) the insertion, deletion, and processing of messages and antimessages [16], and (ii) the pGVT algorithm [10] Herein we report our experiences using formal methods to develop a formal specification and...
.... processes : cleanAllEther(processes(snapshot) #) model in the software development phase has shown some promising results [9, 12]. As many developers today are educated in formal methods, the specification improves the developer s comprehension and the high level overview...
Cited by: More
Ruminations on the Implications of Multi-Resolution.. - Radhakrishnan, Wilsey (1999) (Correct)
A Formal Framework for Specifying and Verifying.. - Chernyakhovsky.. (Correct)
Formal Verification and Empirical Analysis of.. - Umamageswaran.. (1997) (Correct)
Active bibliography (related documents): More All
0.4: Improving the Communication Subsystem Performance of WARPED - Rajasekaran (1998) (Correct)
0.4: The Design of a Time Warp Synchronized VHDL Simulation Kernel - Subramani (1998) (Correct)
0.3: A Framework for Performance Evaluation of Parallel Discrete.. - Balakrishnan (1997) (Correct)
Similar documents based on text: More All
1.0: Non-interfering GTV Computation via Asynchronous Global.. - Srinivasan, Reynolds, Jr. (1993) (Correct)
0.2: Time Warp Simulation on Clumps - Sharma, Radhakrishnan, Rajasekaran.. (1999) (Correct)
0.2: An Integrated Design Environment for Rapid System Prototyping.. - Mohanty (1994) (Correct)
Related documents from co-citation: More All
3: Computer Science Laboratory (context) - Shankar, in et al. - 1993
2: pGVT: An algorithm for accurate gvt estimation (context) - D'Souza, Fan et al. - 1994
2: Computer Science Laboratory (context) - Owre, Shankar et al. - 1997
BibTeX entry: (Update)
John Penix, Dale Martin, Peter Frey, Radharamanan Radhakrishnan, Perry Alexander, and Phillip A. Wilsey. Experiences in verifying parallel simulation algorithms. In Mark Ardis, editor, Second Workshop on Formal Methods in Software Practice (FMSP '98), pages 16--23, Clearwater Beach, FL, March 1998. Association for Computing Machinery. http://citeseer.ist.psu.edu/penix98experiences.html More
@inproceedings{ penix98experiences,
author = "John Penix and Dale Martin and Peter Frey and Radharamanan Radhakrishnan and Perry Alexander and Phillip A. Wilsey",
title = "Experiences in Verifying Parallel Simulation Algorithms",
booktitle = "Second Workshop on Formal Methods in Software Practice ({FMSP} '98)",
address = "Clearwater Beach, FL",
editor = "Mark Ardis",
pages = "16--23",
year = "1998",
url = "citeseer.ist.psu.edu/penix98experiences.html" }
Citations (may not include all citations):434 Parallel discrete event simulation (context) - Fujimoto - 1990
202 ACM Transactions on Programming Languages and Systems (context) - Jefferson - 1985
113 International Series in Computer Science (context) - Spivey, Notation et al. - 1992
46 Global virtual time algorithms (context) - Bellenot - 1990
19 pGVT: An algorithm for accurate GVT estimation (context) - D'Souza, Fan et al. - 1994
18 warped: A time warp simulation kernel for analysis and appli.. (context) - Martin, McBrayer et al. - 1995
17 A Course in Mathematical Logic (context) - Manin - 1977
16 Distributed logic simulation and an approach to asynchronous.. (context) - Bauer, Sporrer - 1992
14 An algorithm for minimally latent global virtual time - Tomlinson, Garg - 1993
6 Formal Specification and Verification of the pGVT Algorithm (context) - Kannikeswaran, Radharkrishna et al. - 1996
6 Determining the global virtual time in a distributed simulat.. (context) - Lin, Lazowska - 1990
5 Effecient algorithms for distributed snapshots and global vi.. (context) - Mattern - 1993
1 Formal Specification and Verification of the Rollback Relaxa.. (context) - Umamageswaran, Subramani et al. - 1996
Documents on the same site (http://www.eecs.ukans.edu/courses/800niehaus/papers/reading_list.html): More
OpenMP for Networks of SMPs - Hu, Lu, Cox, Zwaenepoel (1999) (Correct)
Optimizing the CORBA Component Model for High-performance.. - Wang, Levine, Schmidt (2000) (Correct)
Optimizing Communication in Time-Warp Simulators - Chetlur, Abu-Ghazaleh.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC