Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Frey
@inproceedings{DBLP:conf/vts/MenaDCJRF10,
author = {Jose G. Mena and
Richard Deken and
James E. Coker and
Mark S. Johnstone and
Sergio R. Ramirez and
Peter Frey},
title = {High level synthesis of a Front End filter and {DSP} engine for analog
to digital conversion - a case study},
booktitle = {28th {IEEE} {VLSI} Test Symposium, {VTS} 2010, April 19-22, 2010,
Santa Cruz, California, {USA}},
pages = {252},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VTS.2010.5469564},
doi = {10.1109/VTS.2010.5469564},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/MenaDCJRF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FreyRCWA02,
author = {Peter Frey and
Radharamanan Radhakrishnan and
Harold W. Carter and
Philip A. Wilsey and
Perry Alexander},
title = {A Formal Specification and Verification Framework for Time Warp-Based
Parallel Simulation},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {1},
pages = {58--78},
year = {2002},
url = {https://doi.org/10.1109/32.979989},
doi = {10.1109/32.979989},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FreyRCWA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmas/FreyO00,
author = {Peter Frey and
Donald O'Riordan},
title = {Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules},
booktitle = {2000 {IEEE/ACM} International Workshop on Behavioral Modeling and
Simulation, {BMAS} 2000, Orlando, Florida, USA, 18-20 October 2000},
pages = {103--108},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/BMAS.2000.888372},
doi = {10.1109/BMAS.2000.888372},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmas/FreyO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/FreyR00,
author = {Peter Frey and
Radharamanan Radhakrishnan},
editor = {Lorenzo Donatiello and
Stephen John Turner and
David Bruce},
title = {Parallel mixed-technology simulation},
booktitle = {Proceedings of the 14th Workshop on Parallel and Distributed Simulation,
{PADS} 2000, Bologna, Italy, May 28-31, 2000},
pages = {7--14},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PADS.2000.847139},
doi = {10.1109/PADS.2000.847139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pads/FreyR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FreyRWC99,
author = {Peter Frey and
Radharamanan Radhakrishnan and
Philip A. Wilsey and
Perry Alexander and
Harold W. Carter},
title = {An Extensible Formal Framework for the Specification and Verification
of an Optimistic Simulation Protocol},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.772888},
doi = {10.1109/HICSS.1999.772888},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/FreyRWC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ChernyakhovskyFRWAC99,
author = {Victoria Chernyakhovsky and
Peter Frey and
Radharamanan Radhakrishnan and
Philip A. Wilsey and
Perry Alexander and
Harold W. Carter},
editor = {Jos{\'{e}} D. P. Rolim and
Frank Mueller and
Albert Y. Zomaya and
Fikret Er{\c{c}}al and
Stephan Olariu and
Binoy Ravindran and
Jan Gustafsson and
Hiroaki Takada and
Ronald A. Olsson and
Laxmikant V. Kal{\'{e}} and
Peter H. Beckman and
Matthew Haines and
Hossam A. ElGindy and
Denis Caromel and
Serge Chaumette and
Geoffrey C. Fox and
Yi Pan and
Keqin Li and
Tao Yang and
G. Ghiola and
Gianni Conte and
Luigi V. Mancini and
Dominique M{\'{e}}ry and
Beverly A. Sanders and
Devesh Bhatt and
Viktor K. Prasanna},
title = {A Formal Framework for Specifying and Verifying Time Warp Optimizations},
booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
in Conjunction with the 13th International Parallel Processing Symposium
and 10th Symposium on Parallel and Distributed Processing, San Juan,
Puerto Rico, USA, April 12-16, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1586},
pages = {1228--1242},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0098005},
doi = {10.1007/BFB0098005},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ChernyakhovskyFRWAC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/PenixMFRAW98,
author = {John Penix and
Dale E. Martin and
Peter Frey and
Ramanan Radhakrishnan and
Perry Alexander and
Philip A. Wilsey},
editor = {Mark A. Ardis and
Joanne M. Atlee},
title = {Experiences in verifying parallel simulation algorithms},
booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
March 4-5, 1998, Clearwater Beach, Florida, {USA}},
pages = {16--23},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/298595.298600},
doi = {10.1145/298595.298600},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmsp/PenixMFRAW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FreyR98,
author = {Peter Frey and
Radharamanan Radhakrishnan},
title = {Optimistic Synchronization of Mixed-Mode Simulators},
booktitle = {12th International Parallel Processing Symposium / 9th Symposium on
Parallel and Distributed Processing {(IPPS/SPDP} '98), March 30 -
April 3, 1998, Orlando, Florida, USA, Proceedings},
pages = {694--699},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/IPPS.1998.670002},
doi = {10.1109/IPPS.1998.670002},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/FreyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/FreyNSMCC98,
author = {Peter Frey and
Kathiresan Nellayappan and
Vasudevan Sahnmugasundaram and
Ramesh Sankaran Mayiladuthurai and
Chetput L. Chandrashekar and
Harold W. Carter},
editor = {Deborah J. Medeiros and
Edward F. Watson and
John S. Carson II and
Mani S. Manivannan},
title = {{SEAMS:} Simulation Environment for {VHDL-AMS}},
booktitle = {Proceedings of the 30th conference on Winter simulation, {WSC} 1998,
Washington DC, USA, December 13-16, 1998},
pages = {539--546},
publisher = {{WSC}},
year = {1998},
url = {https://doi.org/10.1109/WSC.1998.745032},
doi = {10.1109/WSC.1998.745032},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/FreyNSMCC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/FreyCW97,
author = {Peter Frey and
Harold W. Carter and
Philip A. Wilsey},
title = {Parallel Synchronization of Continuous Time Discrete Event Simulators},
booktitle = {1997 International Conference on Parallel Processing {(ICPP} '97),
August 11-15, 1997, Bloomington, IL, USA, Proceedings},
pages = {227--233},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICPP.1997.622649},
doi = {10.1109/ICPP.1997.622649},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/FreyCW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BalakrishnanFAW97,
author = {Vijay Balakrishnan and
Peter Frey and
Nael B. Abu{-}Ghazaleh and
Philip A. Wilsey},
editor = {Sigr{\'{u}}n Andrad{\'{o}}ttir and
Kevin J. Healy and
David H. Withers and
Barry L. Nelson},
title = {A Framework for Performance Analysis of Parallel Discrete Event Simulators},
booktitle = {Proceedings of the 29th conference on Winter simulation, {WSC} 1997,
Atlanta, GA, USA, December 7-10, 1997},
pages = {429--436},
publisher = {{ACM}},
year = {1997},
url = {https://doi.ieeecomputersociety.org/10.1109/WSC.1997.640438},
doi = {10.1109/WSC.1997.640438},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/BalakrishnanFAW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KannikeswaranRFAW96,
author = {Balakrishnan Kannikeswaran and
Radharamanan Radhakrishnan and
Peter Frey and
Perry Alexander and
Philip A. Wilsey},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Formal Specification and Verification of the pGVT Algorithm},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {405--424},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_99},
doi = {10.1007/3-540-60973-3\_99},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KannikeswaranRFAW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
