Peter Frey

According to our database, Peter Frey authored at least 12 papers between 1996 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

High level synthesis of a Front End filter and DSP engine for analog to digital conversion - a case study.

Jose G. Mena, Richard Deken, James E. Coker, Mark S. Johnstone, Sergio R. Ramirez, Peter Frey

Proceedings of the 28th IEEE VLSI Test Symposium, 2010

2002

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.

Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander

IEEE Trans. Software Eng., 2002

2000

Parallel mixed-technology simulation.

Peter Frey, Radharamanan Radhakrishnan

Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules.

Peter Frey, Donald O'Riordan

Proceedings of the 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation, 2000

1999

A Formal Framework for Specifying and Verifying Time Warp Optimizations.

Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter

Proceedings of the Parallel and Distributed Processing, 1999

An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.

Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

SEAMS: Simulation Environment for VHDL-AMS.

Peter Frey, Kathiresan Nellayappan, Vasudevan Sahnmugasundaram, Ramesh Sankaran Mayiladuthurai, Chetput L. Chandrashekar, Harold W. Carter

Proceedings of the 30th conference on Winter simulation, 1998

Optimistic Synchronization of Mixed-Mode Simulators.

Peter Frey, Radharamanan Radhakrishnan

Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998

Experiences in verifying parallel simulation algorithms.

John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

A Framework for Performance Analysis of Parallel Discrete Event Simulators.

Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazaleh, Philip A. Wilsey

Proceedings of the 29th conference on Winter simulation, 1997

Parallel Synchronization of Continuous Time Discrete Event Simulators.

Peter Frey, Harold W. Carter, Philip A. Wilsey

Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997

1996

Formal Specification and Verification of the pGVT Algorithm.

Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996