The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Frey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Peter Frey, Radharamanan Radhakrishnan
    Optimistic Synchronization of Mixed-Mode Simulators. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1998, pp:694-699 [Conf]
  7. Peter Frey, Radharamanan Radhakrishnan
    Parallel mixed-technology simulation. [Citation Graph (0, 0)][DBLP]
    PADS, 2000, pp:7-14 [Conf]
  8. 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]
  9. 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]
  10. 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]

  11. Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002