Peter Frey

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

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) (2002)
Peter Frey, Radharamanan Radhakrishnan
Parallel mixed-technology simulation. PADS (2000)
Peter Frey, Donald O'Riordan
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules. BMAS (2000)
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)
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)
Peter Frey, Kathiresan Nellayappan, Vasudevan Sahnmugasundaram, Ramesh Sankaran Mayiladuthurai, Chetput L. Chandrashekar, Harold W. Carter
SEAMS: Simulation Environment for VHDL-AMS. WSC (1998)
John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
Experiences in verifying parallel simulation algorithms. FMSP (1998)
Peter Frey, Radharamanan Radhakrishnan
Optimistic Synchronization of Mixed-Mode Simulators. IPPS/SPDP (1998)
Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazaleh, Philip A. Wilsey
A Framework for Performance Analysis of Parallel Discrete Event Simulators. WSC (1997)
Peter Frey, Harold W. Carter, Philip A. Wilsey
Parallel Synchronization of Continuous Time Discrete Event Simulators. ICPP (1997)
Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey
Formal Specification and Verification of the pGVT Algorithm. FME (1996)