Peter Frey

12 papers B 2Misc 3Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2010 Misc conf
High level synthesis of a Front End filter and DSP engine for analog to digital conversion - a case study.
VTS
Jose G. Mena, Richard Deken, James E. Coker, Mark S. Johnstone, Sergio R. Ramirez, Peter Frey
2002 J jnl
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.
IEEE Trans. Software Eng.
Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander
2000 B conf
Parallel mixed-technology simulation.
PADS
Peter Frey, Radharamanan Radhakrishnan
2000 — conf
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules.
BMAS
Peter Frey, Donald O'Riordan
1999 — conf
A Formal Framework for Specifying and Verifying Time Warp Optimizations.
IPPS/SPDP Workshops
Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter
1999 — conf
An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.
HICSS
Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter
1998 — conf
Experiences in verifying parallel simulation algorithms.
FMSP
John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
1998 — conf
Optimistic Synchronization of Mixed-Mode Simulators.
IPPS/SPDP
Peter Frey, Radharamanan Radhakrishnan
1998 Misc conf
SEAMS: Simulation Environment for VHDL-AMS.
WSC
Peter Frey, Kathiresan Nellayappan, Vasudevan Sahnmugasundaram, Ramesh Sankaran Mayiladuthurai, Chetput L. Chandrashekar, Harold W. Carter
1997 Misc conf
A Framework for Performance Analysis of Parallel Discrete Event Simulators.
WSC
Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazaleh, Philip A. Wilsey
1997 B conf
Parallel Synchronization of Continuous Time Discrete Event Simulators.
ICPP
Peter Frey, Harold W. Carter, Philip A. Wilsey
1996 — conf
Formal Specification and Verification of the pGVT Algorithm.
FME
Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey