Searching for authors named "Peter Frey" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Parallel Mixed-Technology Simulation
- …Parallel Mixed-Technology Simulation Peter Frey Cadence Design Systems, 2655 Seely Avenue, San…
- Cited by 2 (1 self) – Add To MetaCart
-
Optimistic synchronization of mixed-mode simulators
- … be obtained from the IEEE. Optimistic Synchronization of Mixed-Mode Simulators Peter Frey, Radharamanan…
- Cited by 6 (4 self) – Add To MetaCart
-
A Formal Framework for Specifying and Verifying Time Warp Optimizations
- …, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander and Harold W. Carter…
- Cited by 4 (3 self) – Add To MetaCart
-
An extensible formal framework for the specification and verification of an optimistic simulation protocol
- … Simulation Protocol Peter Frey \Lambda , Radharamanan Radhakrishnan\Lambda \Lambda , Philip A. Wilsey…
- Cited by 4 (4 self) – Add To MetaCart
-
Experiences in Verifying Parallel Simulation Algorithms
- …Experiences in Verifying Parallel Simulation Algorithms John Penix, Dale Martin, Peter Frey…
- Cited by 5 (5 self) – Add To MetaCart
-
A Framework for Performance Analysis of Parallel Discrete Event Simulators
- …(lefttothetasteofthetester), it isdifficulttogetdirectlycomparablespeedupfigures. Thisisespeciallytrueifthemodelsundercomparison VijayBalakrishnan Peter Frey Nael B. Abu…
- Cited by 6 (4 self) – Add To MetaCart
-
A formal specification and verification framework for time warp based parallel simulation
- … and Verification Framework for Time Warp-Based Parallel Simulation Peter Frey, Radharamanan Radhakrishnan, Harold W…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 7.
