dblp.uni-trier.dewww.uni-trier.de

Peter Frey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
10EEPeter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander: A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. IEEE Trans. Software Eng. 28(1): 58-78 (2002)
2000
9EEPeter Frey, Radharamanan Radhakrishnan: Parallel mixed-technology simulation. PADS 2000: 7-14
1999
8EEPeter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. HICSS 1999
7 Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: A Formal Framework for Specifying and Verifying Time Warp Optimizations. IPPS/SPDP Workshops 1999: 1228-1242
1998
6EEJohn Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey: Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23
5EEPeter Frey, Radharamanan Radhakrishnan: Optimistic Synchronization of Mixed-Mode Simulators. IPPS/SPDP 1998: 694-699
4EEPeter Frey, Kathiresan Nellayappan, Vasudevan Sahnmugasundaram, Ramesh Sankaran Mayiladuthurai, Chetput L. Chandrashekar, Harold W. Carter: SEAMS: Simulation Environment for VHDL-AMS. Winter Simulation Conference 1998: 539-546
1997
3EEPeter Frey, Harold W. Carter, Philip A. Wilsey: Parallel Synchronization of Continuous Time Discrete Event Simulators. ICPP 1997: 227-
2EEVijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazaleh, Philip A. Wilsey: A Framework for Performance Analysis of Parallel Discrete Event Simulators. Winter Simulation Conference 1997: 429-436
1996
1 Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey: Formal Specification and Verification of the pGVT Algorithm. FME 1996: 405-424

Coauthor Index

1Nael B. Abu-Ghazaleh [2]
2Perry Alexander [1] [6] [7] [8] [10]
3Vijay Balakrishnan [2]
4Harold W. Carter [3] [4] [7] [8] [10]
5Chetput L. Chandrashekar [4]
6Victoria Chernyakhovsky [7]
7Balakrishnan Kannikeswaran [1]
8Dale E. Martin [6]
9Ramesh Sankaran Mayiladuthurai [4]
10Kathiresan Nellayappan [4]
11John Penix [6]
12Radharamanan Radhakrishnan [1] [5] [7] [8] [9] [10]
13Ramanan Radhakrishnan [6]
14Vasudevan Sahnmugasundaram [4]
15Philip A. Wilsey [1] [2] [3] [6] [7] [8] [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)