 | 2002 |
|---|
| 10 |       | Peter 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 |
|---|
| 9 | | Peter Frey,
Radharamanan Radhakrishnan:
Parallel mixed-technology simulation.
PADS 2000: 7-14 |
| 1999 |
|---|
| 8 | | Peter 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 |
|---|
| 6 | | John Penix,
Dale E. Martin,
Peter Frey,
Ramanan Radhakrishnan,
Perry Alexander,
Philip A. Wilsey:
Experiences in verifying parallel simulation algorithms.
FMSP 1998: 16-23 |
| 5 | | Peter Frey,
Radharamanan Radhakrishnan:
Optimistic Synchronization of Mixed-Mode Simulators.
IPPS/SPDP 1998: 694-699 |
| 4 | | Peter 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 |
|---|
| 3 | | Peter Frey,
Harold W. Carter,
Philip A. Wilsey:
Parallel Synchronization of Continuous Time Discrete Event Simulators.
ICPP 1997: 227- |
| 2 | | Vijay 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 |
