2002 |
10 | EE | 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 | EE | Peter Frey,
Radharamanan Radhakrishnan:
Parallel mixed-technology simulation.
PADS 2000: 7-14 |
1999 |
8 | EE | 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 | EE | 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 | EE | Peter Frey,
Radharamanan Radhakrishnan:
Optimistic Synchronization of Mixed-Mode Simulators.
IPPS/SPDP 1998: 694-699 |
4 | EE | 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 | EE | Peter Frey,
Harold W. Carter,
Philip A. Wilsey:
Parallel Synchronization of Continuous Time Discrete Event Simulators.
ICPP 1997: 227- |
2 | EE | 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 |