|
Search the dblp DataBase
Peter Frey:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey
Formal Specification and Verification of the pGVT Algorithm. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:405-424 [Conf]
- John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
Experiences in verifying parallel simulation algorithms. [Citation Graph (0, 0)][DBLP] FMSP, 1998, pp:16-23 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] HICSS, 1999, pp:- [Conf]
- Peter Frey, Harold W. Carter, Philip A. Wilsey
Parallel Synchronization of Continuous Time Discrete Event Simulators. [Citation Graph (0, 0)][DBLP] ICPP, 1997, pp:227-0 [Conf]
- Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter
A Formal Framework for Specifying and Verifying Time Warp Optimizations. [Citation Graph (0, 0)][DBLP] IPPS/SPDP Workshops, 1999, pp:1228-1242 [Conf]
- Peter Frey, Radharamanan Radhakrishnan
Optimistic Synchronization of Mixed-Mode Simulators. [Citation Graph (0, 0)][DBLP] IPPS/SPDP, 1998, pp:694-699 [Conf]
- Peter Frey, Radharamanan Radhakrishnan
Parallel mixed-technology simulation. [Citation Graph (0, 0)][DBLP] PADS, 2000, pp:7-14 [Conf]
- Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazaleh, Philip A. Wilsey
A Framework for Performance Analysis of Parallel Discrete Event Simulators. [Citation Graph (0, 0)][DBLP] Winter Simulation Conference, 1997, pp:429-436 [Conf]
- Peter Frey, Kathiresan Nellayappan, Vasudevan Sahnmugasundaram, Ramesh Sankaran Mayiladuthurai, Chetput L. Chandrashekar, Harold W. Carter
SEAMS: Simulation Environment for VHDL-AMS. [Citation Graph (0, 0)][DBLP] Winter Simulation Conference, 1998, pp:539-546 [Conf]
- Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2002, v:28, n:1, pp:58-78 [Journal]
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|