Philip Wilsey

Philip A. Wilsey

Professor

Rhodes Hall

836

CEAS - Elec Eng & Computer Science - 0030

Dept of EECS
836 Rhodes Hall
Cincinnati, Ohio 45221-0030

Professional Summary

My research is primarily in High Performance Computing with applications to Data Science and Parallel Discrete-Event Simulation.  I also have interests in Privacy Preserving Data Mining, Embedded Systems, and Point-of-Care medical devices.  I have been working with Partitioning, Parallelism, and Approximate Methods to improve the performance of Topological Data Analysis (TDA), specifically persistent homology.  Because TDA algorithms have exponential time and space complexity, decomposing and partitioning the data into regional subspaces has dramatic impact on the overall performance.  In Big Data Clustering, I have been working to combine random projection hashing with locality sensitive hashing to implement high performance, distributed privacy preserving data mining.  The projection and hashing approach permits us to perform clustering on distributed data sets by exchanging only hash keys between the distributed nodes.  We are promoting these techniques to enable clustering and nearest neighbor search across HIPAA protected medical databases.  In addition, I have been working extensively for many years to advance the field of Parallel and Distributed Simulation (PDES) using the Time Warp mechanism.  Most recently we have been studying the design of solutions for the pending event set problem for high performance simulation on multi-core and many-core platforms.  I have also initiated studies to extract profile data from discrete event simulation models to obtain quantitative data that I plan to use to focus my algorithm development for parallel simulation.  Finally, I sometimes work with the local BioSensors group and the College of Medicine to develop point-of-care medical devices to assist patient monitoring, diagnosis, and treatment.

Education

Ph.D, University of Louisiana Lafayette, 1987 (Computer Science)

M.S., University of Louisiana Lafayette, 1985 (Computer Science)

B.S., Illinois State University Normal, IL, 1981 (Mathematics)

Positions and Work Experience

1987 - Professor, University of Cincinnati, Cincinnati, OH

Research and Practice Interests

High Performance Computing, Big Data Analysis, Topological Data Analysis, Parallel and Distributed Simulation, application specific O/S services, computer systems, small-form-factor computing, embedded systems, point-of-care medical devices.

Research Support

Grant: #DABT6396C0055/P00009 Investigators:Wilsey, Philip 09-16-1996 -01-15-2000 Department of the Army A Verification Environment for High Assurance Network Performance Prediction Role:PI $748,975.00 Closed Level:Federal

Grant: #U54 EB007954 Investigators:Air, Dorothy; Beyette, Fred; Bishop, Paul; Broderick, Joseph; Clark, Joseph; Haridas, Balakrishna; Helmicki, Arthur; Jauch, Edward; Kanter, Daniel; Pancioli, Arthur; Papautsky, Ian; Privitera, Mary Beth; Shutter, Lori; Steckl, Andrew; Todd, Anita; Tomsick, Thomas; Wilsey, Philip 09-30-2007 -06-30-2014 National Institute of Biomedical Imaging and Bioengineering Point of Care-Care Center for Emerging Neurotechnologies Role:Collaborator $9,416,342.00 Active Level:Federal

Grant: #CNS-0915337 Investigators:Wilsey, Philip 09-01-2009 -08-31-2014 National Science Foundation CSR: Small: Collaborative Research: Combining Static Analysis and Dynamic Run-time Optimization for Parallel Discrete Event Simulation in Many-Core Environments Role:PI $166,911.00 Active Level:Federal

Grant: #SRS 007743 Investigators:Purdy, Carla; Wilsey, Philip 10-01-2011 -09-30-2014 L-3 Fuzing & Ordnance Systems Studies to Minimize Failures in Embedded Systems Software Role:PI $313,172.00 Active Level:Industry

Grant: #SRS 007902 Investigators:Wilsey, Philip 02-01-2012 -05-31-2013 HeathCo LLC College Themed Door Chime Role:PI $50,500.00 Active Level:Industry

Grant: #226-6273-NDL \ FA8650-12-C-6273 Investigators:Beyette, Fred; Choi, Seokheun; Heikenfeld, Jason; Papautsky, Ian; Wilsey, Philip 06-01-2012 -06-10-2013 Air Force Research Laboratory Arrayed Volatile Organic Sensors: System-Level Proof of Concept Role:Collaborator $51,500.00 Active Level:Federal

Grant: #ACI-1440420 Investigators:Wilsey, Philip 09-01-2014 -08-31-2019 National Science Foundation Scalable Big Data Clustering by Random Projection Hashing Role:PI $498,127.00

Grant: #R21ES024717 Investigators:Bhattacharya, Amit; Haynes, Erin; Heineman, William; Papautsky, Ian; Wilsey, Philip; Xie, Changchun 03-01-2015 -02-28-2017 National Institute of Environmental Health Sciences Validation and Demonstration of Point-of-Care Sensor for Multi-Metal Exposure Assessment Role:Collaborator $197,708.00 Awarded Level:Federal

Grant: #S-000749 / FA9550-15-1-0384 Investigators:Wilsey, Philip 09-01-2015 -08-31-2019 Air Force Research Laboratory Parallel Discrete Event Simulation on Emerging High-Performance Multicore Clusters Role:PI $97,889.00

Grant: #NSF IIS 1909096 Investigators:Wilsey, Philip 10-01-2019 -09-30-2022 National Science Foundation III: Small: Partitioning Big Data for the High Performance Computation of Persistent Homology Role:PI $499,344.00 Awarded Level:Federal

Publications

Peer Reviewed Publications

Beyette, Fred R; Booher, Blaine; Drennan, James; Carraher, Lee; Butler, Josh; Bowman, Peggy S; Clark, Joseph F; Wilsey, Philip A (2011. )Device for quantification of bilirubin in cerebral spinal fluid.IEEE transactions on bio-medical engineering, ,58 (3 ),773-6

Pettigrew, David B; Morgan, Chad J; Anderson, R Brian; Wilsey, Philip A; Kuntz, Charles (2010. )Virtual preoperative measurement and surgical manipulation of sagittal spinal alignment using a novel research and educational software program.Neurosurgical focus, ,28 (3 ),E2

Beyette, Fred R; Booher, Blaine; Drennan, James; Carraher, Lee; Butler, Josh; Bowman, Peggy; Clark, Joseph F; Wilsey, Philip A (2010. )Development of a point-of-care device for the quantification of bilirubin in cerebral spinal fluid.Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference, ,2010 ,915-8

Malott N.; Moitra A.; Wilsey P. (01-22-2019. )Cluster-based Data Reduction for Persistent Homology.Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018, ,327-334

Lockhart J.; Purdy C.; Wilsey P. (01-22-2019. )Error analysis and reliability metrics for software in safety critical systems.Midwest Symposium on Circuits and Systems, ,2018-August ,512-515

Lockhart J.; Purdy C.; Wilsey P. (01-01-2019. )Critical embedded systems development using formal methods and statistical reliability metrics.Advances in Science, Technology and Engineering Systems, ,4 (1 ),231-247

Carraher L.; Dey S.; Moitra A.; Wilsey P. (01-01-2019. )Clustering Data in Secured, Distributed Datasets.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,11624 LNCS ,557-572

Barnes P.; Crawford P.; Eidenbenz S.; Wilsey P. (05-14-2018. )Sampling simulation model profile data for analysis.SIGSIM-PADS 2018 - Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, ,17-28

Lockhart J.; Purdy C.; Wilsey P. (01-24-2018. )The use of automated theorem proving for error analysis and removal in safety critical embedded syst.Proceedings of the IEEE National Aerospace Electronics Conference, NAECON, ,2017-June ,358-361

Barnes P.; Crawford P.; Eidenbenz S.; Wilsey P. (01-04-2018. )Some properties of communication behaviors in discrete-event simulation models.Proceedings - Winter Simulation Conference, ,1025-1036

Gupta S.; Wilsey P. (05-16-2017. )Quantitative driven optimization of a Time Warp kernel.SIGSIM-PADS 2017 - Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, ,27-38

Cai W.; Jin D.; Teo Y.; Wilsey P. (05-16-2017. )Message from the conference chairs .SIGSIM-PADS 2017 - Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, ,iii-iv

Abu-Ghazaleh N.; Ponomarev D.; Williams B.; Wilsey P. (05-16-2017. )Performance characterization of Parallel Discrete Event Simulation on Knights Landing processor.SIGSIM-PADS 2017 - Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, ,121-132

Lockhart J.; Purdy C.; Wilsey P. (03-02-2017. )Error analysis and reliability metrics for software in safety critical systems.Midwest Symposium on Circuits and Systems, ,

Carraher L.; Dey S.; Moitra A.; Wilsey P. (01-30-2017. )Random Projection Clustering on Streaming Data.IEEE International Conference on Data Mining Workshops, ICDMW, ,708-715

Carraher L.; Franklin J.; Quasem S.; Wenke S.; Wilsey P. (12-06-2016. )StreamingRPHash: Random projection clustering of high-dimensional data in a MapReduce framework.Proceedings - IEEE International Conference on Cluster Computing, ICCC, ,168-169

Wilsey P. (05-15-2016. )Some properties of events executed in discrete-event simulation models.SIGSIM-PADS 2016 - Proceedings of the 2016 Annual ACM Conference on Principles of Advanced Discrete Simulation, ,165-176

Carraher L.; Dey S.; Moitra A.; Wilsey P. (12-22-2015. )Multi-probe random projection clustering to secure very large distributed datasets.Proceedings - 2015 IEEE International Conference on Big Data, IEEE Big Data 2015, ,1891-1900

Putnam P.; Wilsey P.; Zhang G. (12-12-2015. )Clotho: Addressing the scalability of forward time population genetic simulation.BMC Bioinformatics, ,16 (1 ),

Hay J.; Wilsey P. (06-10-2015. )Experiments with hardware-based transactional memory in parallel simulation.SIGSIM-PADS 2015 - Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, ,75-86

Alt A.; Wilsey P. (01-01-2015. )Profile driven partitioning of parallel simulation models.Proceedings - Winter Simulation Conference, ,2015-January ,2750-2761

Magato W.; Wilsey P. (01-01-2014. )LlamaOS: A solution for virtualized high-performance computing clusters.Proceedings of the International Parallel and Distributed Processing Symposium, IPDPS, ,1140-1149

Gupta S.; Wilsey P. (01-01-2014. )Lock-free pending event set management in time warp.SIGSIM-PADS 2014 - Proceedings of the 2014 ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, ,15-26

Lockhart J.; Purdy C.; Wilsey P. (01-01-2014. )Formal methods for safety critical system specification.Midwest Symposium on Circuits and Systems, ,201-204

Putnam P.; Wilsey P.; Zhang G. (12-21-2013. )A comparison study of succinct data structures for use in GWAS.BMC Bioinformatics, ,14 (1 ),

Beyette F.; Subbian V.; Wilsey P. (12-01-2013. )Heuristic evaluation of user interface for point-of-care diagnosis and rehabilitation of mild Trauma.International IEEE/EMBS Conference on Neural Engineering, NER, ,1250-1253

Beyette F.; Subbian V.; Wilsey P. (12-01-2013. )Design and development of a robotic system for clinical assessment of motor deficits.Midwest Symposium on Circuits and Systems, ,1275-1277

Beyette F.; Subbian V.; Wilsey P. (10-31-2013. )Development and evaluation of hardware for Point-of-Care assessment of upper-limb motor performance.Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, ,938-940

Dickman T.; Gupta S.; Wilsey P. (06-11-2013. )Event pool structures for PDES on many-core Beowulf clusters.SIGSIM-PADS 2013 - Proceedings of the 2013 ACM SIGSIM Principles of Advanced Discrete Simulation, ,103-114

Annexstein F.; Carraher L.; Wilsey P. (01-01-2013. )A GPGPU algorithm for c-Approximate r-nearest neighbor search in high dimensions.Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013, ,2079-2088

Beyette F.; Subbian V.; Wilsey P. (12-14-2012. )Design and usability of a medical computing system for diagnosis of mild traumatic brain injury.Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, ,996-999

Child R.; Wilsey P. (12-01-2012. )Using DVFS to optimize time Warp simulations.Proceedings - Winter Simulation Conference, ,

Child R.; Wilsey P. (11-26-2012. )Dynamically adjusting core frequencies to accelerate time warp simulations in many-core processors.Proceedings - 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, PADS 2012, ,35-43

Manian K.; Putnam P.; Wilsey P. (11-01-2012. )Core frequency adjustment to optimize Time Warp on many-core processors.Simulation Modelling Practice and Theory, ,28 ,55-64

Herrmann E.; Janga P.; Wilsey P. (11-07-2011. )Pre-computing function results in multi-core and many-core processors.Proceedings of the International Conference on Parallel Processing Workshops, ,437-446

Gorodetsky D.; Wilsey P. (11-01-2011. )Advantages of modal decomposition for efficient scaling of parallel FDTD computations.International Journal of Numerical Modelling: Electronic Networks, Devices and Fields, ,24 (6 ),507-514

Chang H.; Cho S.; Kim M.; Lee J.; Park M.; Park Y.; Wilsey P. (07-26-2010. )Design and performance evaluation of binary code packing for protecting embedded software against re.ISORC 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ,1 ,80-86

Kuchi C.; Wilsey P. (07-16-2010. )Multi-view and pause-view in a second life client.2010 International Symposium on Collaborative Technologies and Systems, CTS 2010, ,133-142

Herrmann E.; Wilsey P. (05-31-2010. )Threaded dynamic memory management in many-core processors.CISIS 2010 - The 4th International Conference on Complex, Intelligent and Software Intensive Systems, ,931-936

Chetlur M.; Wilsey P. (10-09-2009. )Local fossil identification in time warp simulations.International Journal of Simulation and Process Modelling, ,5 (2 ),95-103

Chetlur M.; Wilsey P. (08-10-2009. )Causality information and proactive cancellation mechanisms.Concurrency Computation Practice and Experience, ,21 (11 ),1483-1503

Anderson R.; Borowczak M.; Wilsey P. (08-29-2008. )The use of device simulation in development of USB storage devices.Proceedings - Simulation Symposium, ,220-226

Beyette F.; Fearing C.; Hickey D.; Wilsey P. (08-01-2008. )Characterization of the PHOCI™ data integrated video sensor technology.Analog Integrated Circuits and Signal Processing, ,56 (1-2 ),61-69

Rao D.; Wilsey P. (01-01-2008. )Predicting Performance Impacts due to Resolution Changes in Parallel Simulations.SIMULATION, ,84 (10-11 ),535-555

Chetlur M.; Wilsey P. (08-02-2007. )Working set based scheduling in time warp simulations.Proceedings - Simulation Symposium, ,221-228

Gorodetsky D.; Wilsey P. (05-01-2007. )Generation of 3-D finite-difference time-domain macromodels for faster simulation.International Journal of RF and Microwave Computer-Aided Engineering, ,17 (3 ),326-334

Rao D.; Wilsey P. (12-01-2006. )Applying parallel, dynamic-resolution simulations to accelerate VLSI power estimation.Proceedings - Winter Simulation Conference, ,694-702

Chetlur M.; Wilsey P. (12-01-2006. )Causality information and fossil collection in timewarp simulations.Proceedings - Winter Simulation Conference, ,987-994

Gorodetsky D.; Wilsey P. (12-01-2006. )Reduction of FDTD simulation time with modal methods .PIERS 2006 Cambridge - Progress in Electromagnetics Research Symposium, Proceedings, ,510-513

Chetlur M.; Wilsey P. (12-01-2006. )Causality and proactive cancellation.Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT, ,193-200

Gorodetsky D.; Wilsey P. (12-01-2006. )Interfacing multiple macromodels constructed with the FDTD method.4th International IEEE North-East Workshop on Circuits and Systems, NEWCAS 2006 - Conference Proceedings, ,293-296

Rao D.; Wilsey P. (12-01-2006. )Predicting performance of resolution changes in parallel simulations.Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS, ,2006 ,45-52

Hickey D.; Hoekstra R.; Hutchinson S.; Keiter E.; Russo T.; Wilsey P. (10-24-2006. )Mixed-signal simulation with the Simbus backplane.Proceedings - Simulation Symposium, ,2006 ,223-229

Rao D.; Wilsey P. (01-01-2006. )Accelerating ATM Simulations Using Dynamic Component Substitution (DCS).Simulation, ,82 (4 ),235-253

Gorodetsky D.; Wilsey P. (12-01-2005. )A signal processing approach to finite-difference time-domain computations.Midwest Symposium on Circuits and Systems, ,2005 ,750-753

Gorodetsky D.; Wilsey P. (12-01-2005. )Innovative approaches to parallelizing finite-difference time-domain computations .Proceedings of Xth International Seminar/Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory, DIPED-2005, ,2005 ,43-47

Beyette F.; Fearing C.; Hickey D.; Wilsey P. (12-01-2005. )Characterization of the PHOCI™data integrated video sensor technology.Midwest Symposium on Circuits and Systems, ,2005 ,380-383

Rao D.; Wilsey P. (11-10-2005. )Accelerating spatially explicit simulations of spread of Lyme disease.Proceedings - Simulation Symposium, ,251-258

Hoekstra R.; Hutchinson S.; Keiter E.; Martin D.; Russo T.; Wilsey P. (12-01-2004. )Mixed-signal simulation by way of the simbus backplane .BMAS 2004 - Proceedings of the 2004 IEEE International Behavioral Modeling and Simulation Conference, ,74-79

Beyette F.; Dieckman D.; Fearing C.; Martin D.; Wilsey P. (08-16-2004. )Design and demonstration of a data integrated video sensor.Proceedings of SPIE - The International Society for Optical Engineering, ,5363 ,65-76

Hoekstra R.; Hutchinson S.; Keiter E.; Martin D.; Russo T.; Waters L.; Wilsey P. (07-26-2004. )Scheduling optimization on the simbus backplane .Proceedings of the IEEE Annual Simulation Symposium, ,231-237

Fearing C.; Hickey D.; Tomko K.; Wilsey P. (01-01-2004. )Performance issues in the implementation of the M-VIA communication software.Advances in Parallel Computing, ,13 (C ),509-516

Hoekstra R.; Hutchinson S.; Keiter E.; Martin D.; Russo T.; Waters L.; Wilsey P. (01-01-2003. )Redesigning the WARPED simulation kernel for analysis and application development.Proceedings - Simulation Symposium, ,2003-January ,216-223

Rao D.; Wilsey P. (11-01-2002. )An ultra-large-scale simulation framework.Journal of Parallel and Distributed Computing, ,62 (11 ),1670-1693

Abu-Ghazaleh N.; Wilsey P. (01-01-2002. )On the structure of concurrent interpreters.Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002, ,249

Radhakrishnan R.; Wilsey P. (01-01-2002. )Software control systems for parallel simulation.Proceedings - 16th Workshop on Parallel and Distributed Simulation, PADS 2002, ,122-129

Rao D.; Wilsey P. (01-01-2002. )Performance prediction of dynamic component substitutions.Winter Simulation Conference Proceedings, ,1 ,816-824

Rao D.; Wilsey P. (01-01-2002. )An active networks simulation environment.SIMULATION, ,78 (7 ),447-460

Alexander P.; Carter H.; Frey P.; Radhakrishnan R.; Wilsey P. (01-01-2002. )A formal specification and verification framework for time warp-based parallel simulation.IEEE Transactions on Software Engineering, ,28 (1 ),58-78

Chetlur M.; Martin D.; Radhakrishnan R.; Rao D.; Subramani K.; Wilsey P. (01-01-2002. )Analysis and simulation of mixed-technology VLSI systems.Journal of Parallel and Distributed Computing, ,62 (3 ),468-493

Hoekstra R.; Hutchinson S.; Keiter E.; Martin D.; Russo T.; Waters L.; Wilsey P. (01-01-2002. )Integrating multiple parallel simulation engines for mixed-technology parallel simulation.Proceedings - Simulation Symposium, ,2002-January ,45-52

Abu-Ghazaleh N.; Balakrishnan V.; Radhakrishnan R.; Rao D.; Wilsey P. (07-15-2001. )A performance and scalability analysis framework for parallel discrete event simulators.Simulation Practice and Theory, ,8 (8 ),529-553

Abu-Ghazaleh N.; Wilsey P. (06-01-2001. )The Shared Control Parallel Architecture Model.Journal of Parallel and Distributed Computing, ,61 (6 ),767-783

Wilsey P. (01-01-2001. )Message from the program chair .Proceedings of the Workshop on Parallel and Distributed Simulation, PADS, ,

Peterson G.; Wilsey P. (01-01-2001. )Requirements for object-oriented systems modeling with STEAMS.Proceedings of the IEEE International Workshop on Behavioral Modeling and Simulation, BMAS, ,2001-January ,45-52

Rao D.; Wilsey P. (01-01-2001. )Modeling and simulation of active networks.Proceedings of the IEEE Annual Simulation Symposium, ,177-184

Rao D.; Wilsey P. (01-01-2001. )Multi-resolution network simulations using dynamic component substitution .IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings, ,142-149

Chetlur M.; Wilsey P. (01-01-2001. )Causality representation and cancellation mechanism in Time Warp simulations .Proceedings of the Workshop on Parallel and Distributed Simulation, PADS, ,165-172

Carter H.; Rao D.; Wilsey P. (01-01-2001. )Optimizing costs of web-based modeling and simulation.Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001, ,1782-1789

Abu-Ghazaleh N.; Rangan K.; Wilsey P. (01-01-2001. )A distributed multiple-SIMD processor in memory.Proceedings of the International Conference on Parallel Processing, ,2001-January ,507-514

Chetlur M.; Dahl J.; Wilsey P. (01-01-2001. )Event list management in distributed simulation .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,2150 ,466-475

Abu-Ghazaleh N.; Pisolkar N.; Rangan K.; Wilsey P. (01-01-2001. )Architectural support for data-intensive applications.Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001, ,2076-2083

Abu-Ghazaleh N.; Pisolkar N.; Rangan K.; Wilsey P. (01-01-2001. )PPIM-SIM: An efficient simulator for a parallel processor in memory .Proceedings of the IEEE Annual Simulation Symposium, ,117-124

Rao D.; Wilsey P. (12-01-2000. )Dynamic Component Substitution in Web-based simulation .Winter Simulation Conference Proceedings, ,2 ,1840-1848

Radhakrishnan R.; Wilsey P. (01-01-2000. )Fine-tuning optimistic simulation.IEEE Potentials, ,19 (2 ),30-33

Rao D.; Wilsey P. (01-01-2000. )Parallel co-simulation of conventional and active networks .IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings, ,291-298

Radhakrishnan R.; Rao D.; Wilsey P. (01-01-2000. )Web-Based Network Analysis and Design.ACM Transactions on Modeling and Computer Simulation, ,10 (1 ),18-38

Rao D.; Subramanian S.; Wilsey P. (01-01-2000. )Study of a multilevel approach to partitioning for parallel logic simulation .Proceedings of the International Parallel Processing Symposium, IPPS, ,833-838

Wilsey P. (12-01-1999. )Web-based analysis and distributed IP .Winter Simulation Conference Proceedings, ,2 ,1445-1453

Abu-Ghazaleh N.; Wilsey P. (12-01-1999. )Managing Control Asynchrony on SIMD Machines-a Survey.Advances in Computers, ,49 (C ),239-302

Rao D.; Wilsey P. (12-01-1999. )Simulation of ultra-large communication networks .IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings, ,112-119

Abu-Ghazaleh N.; Rajasekaran U.; Sharma G.; Wilsey P. (12-01-1999. )Optimizing message delivery in asynchronous distributed applications .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1685 LNCS ,1204-1208

Radhakrishnan R.; Wilsey P. (01-01-1999. )Ruminations on the implications of multi-resolution modeling on DIS/HLA.Proceedings - 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, DiS-RT 1999, ,101-108

Rao D.; Wilsey P. (01-01-1999. )An object-oriented framework for parallel simulation of ultra-large communication networks .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1732 ,37-48

Ashenden P.; Wilsey P. (01-01-1999. )Principles for language extensions to VHDL to support high-level modeling.VLSI Design, ,10 (2 ),217-235

Pandey S.; Umamageswaran K.; Wilsey P. (01-01-1999. )VHDL semantics and validating transformations.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ,18 (7 ),936-955

Radhakrishnan R.; Rajan R.; Wilsey P. (01-01-1999. )Dynamic cancellation: selecting time warp cancellation strategies at runtime.VLSI Design, ,9 (3 ),237-251

Radhakrishnan R.; Wilsey P.; Young C. (01-01-1999. )Optimism: not just for event execution anymore .Proceedings of the Workshop on Parallel and Distributed Simulation, PADS, ,136-143

Abu-Ghazaleh N.; Radhakrishnan R.; Wilsey P.; Young C. (01-01-1999. )Performance benefits of optimism in fossil collection .Proceedings of the Hawaii International Conference on System Sciences, ,317

Radhakrishnan R.; Rao D.; Thondugulam N.; Wilsey P. (01-01-1999. )Relaxing causal constraints in PDES .Proceedings of the International Parallel Processing Symposium, IPPS, ,696-700

Dieckman D.; Martin D.; Moore L.; Wilsey P. (01-01-1999. )Distributed web-based simulation for protecting intellectual property .Proceedings of SPIE - The International Society for Optical Engineering, ,3696 ,44-53

Chetlur M.; Radhakrishnan R.; Rajasekaran U.; Sharma G.; Wilsey P. (01-01-1999. )Addressing communication latency issues on clusters for fine grained asynchronous applications - A c.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1586 ,1145-1162

Alexander P.; Carter H.; Frey P.; Radhakrishnan R.; Wilsey P. (01-01-1999. )Extensible formal framework for the specification and verification of an optimistic simulation proto .Proceedings of the Hawaii International Conference on System Sciences, ,121

Abu-Ghazaleh N.; Radhakrishnan R.; Rajasekaran U.; Sharma G.; Wilsey P. (01-01-1999. )Time warp simulation on clumps .Proceedings of the Workshop on Parallel and Distributed Simulation, PADS, ,174-181

Alexander P.; Carter H.; Chernyakhovsky V.; Frey P.; Radhakrishnan R.; Wilsey P. (01-01-1999. )A formal framework for specifying and verifying time warp optimizations.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1586 ,1228-1242

Abu-Ghazaleh N.; Wilsey P. (12-01-1998. )Shared control - Supporting control parallelism using a SIMD-like architecture .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1470 LNCS ,1089-1099

Hirsch H.; Martin D.; Wilsey P. (12-01-1998. )SAVANT project .National Aerospace and Electronics Conference, Proceedings of the IEEE, ,537-544

Radhakrishnan R.; Rao D.; Thondugulam N.; Wilsey P. (12-01-1998. )Unsynchronized parallel discrete event simulation .Winter Simulation Conference Proceedings, ,2 ,1563-1570

Abu-Ghazaleh N.; Wilsey P. (07-10-1998. )Models for Control Unit Synchronization on Shared Control Architectures.Journal of Parallel and Distributed Computing, ,52 (1 ),69-81

Ashenden P.; Martin D.; Wilsey P. (04-01-1998. )SUAVE: Extending VHDL to improve data modeling support.IEEE Design and Test of Computers, ,15 (2 ),34-44

Ashenden P.; Wilsey P. (01-01-1998. )Considerations on system-level behavioural and structural modeling extensions to VHDL .Proceedings - IEEE International Verilog HDL Conference, ,42-50

Ashenden P.; Wilsey P. (01-01-1998. )Extensions to VHDL for abstraction of concurrency and communication .IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings, ,301-308

Ashenden P.; Wilsey P. (01-01-1998. )Comparison of alternative extensions for data modeling in VHDL .Proceedings of the Hawaii International Conference on System Sciences, ,3 ,207-215

Dieckman D.; Martin D.; Wilsey P. (01-01-1998. )DISCOE: Distributed design and analysis to preserve intellectual property.1998 IEEE Information Technology Conference: Information Environment for the Future, IT 1998, ,1998-September ,57-60

Abu-Ghazaleh N.; Wilsey P.; Young C. (01-01-1998. )OFC: A distributed fossil-collection algorithm for time-warp .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1499 ,408-418

Martin D.; Subramani K.; Wilsey P. (01-01-1998. )SAVANT/TyVIS/warped: components for the analysis and simulation of VHDL .Proceedings - IEEE International Verilog HDL Conference, ,195-201

Carter H.; Frey P.; Radhakrishnan R.; Wilsey P. (01-01-1998. )Optimistic synchronization of mixed-mode simulators.Proceedings of the 1st Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing, IPPS/SPDP 1998, ,1998-March ,694-699

Abu-Ghazaleh N.; Chetlur M.; Radhakrishnan R.; Wilsey P. (01-01-1998. )On-line configuration of a time warp parallel discrete event simulator.Proceedings of the International Conference on Parallel Processing, ,28-35

Alexander P.; Radhakrishnan R.; Swaminathan K.; Wilsey P. (01-01-1998. )Large scale active networks simulation .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1541 ,537-542

Carter H.; Frey P.; Radhakrishnan R.; Wilsey P. (01-01-1998. )Optimistic synchronization of mixed-mode simulators .Proceedings of the International Parallel Processing Symposium, IPPS, ,694-699

Abu-Ghazaleh N.; Chetlur M.; Radhakrishnan R.; Wilsey P. (01-01-1998. )Optimizing communication in Time-Warp simulators .Proceedings of the Workshop on Parallel and Distributed Simulation, PADS, ,64-71

Alexander P.; Subramani K.; Umamageswaran K.; Wilsey P. (01-01-1998. )Formal verification and empirical analysis of rollback relaxation.Journal of Systems Architecture, ,44 (6-7 ),473-495

Chetlur M.; Martin D.; Radhakrishnan R.; Rao D.; Wilsey P. (01-01-1998. )An object-oriented time warp simulation kernel .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1505 ,13-23

Abu-Ghazaleh N.; Chetlur M.; Rajasekaran U.; Sharma G.; Wilsey P. (01-01-1998. )An active layer extension to MPI.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1497 ,97-104

Alexander P.; Frey P.; Martin D.; Penix J.; Radhakrishnan R.; Wilsey P. (01-01-1998. )Experiences in verifying parallel simulation algorithms .Proceedings of the Workshop on Formal Methods in Software Practice, ,16-23

Ashenden P.; Martin D.; Wilsey P. (12-01-1997. )SUAVE: painless extension for an object-oriented VHDL .Proceedings of the VHDL International Users Forum Fall Conference, VIUF, ,60-67

Ashenden P.; Martin D.; Wilsey P. (12-01-1997. )Reuse through genericity in SUAVE .Proceedings of the VHDL International Users Forum Fall Conference, VIUF, ,170-177

Abu-Ghazaleh N.; Balakrishnan V.; Frey P.; Wilsey P. (12-01-1997. )Framework for performance analysis of parallel discrete event simulators .Winter Simulation Conference Proceedings, ,429-436

Abu-Ghazaleh N.; Fan X.; Hensgen D.; Wilsey P. (12-01-1997. )Synthesizing variable instruction issue interpreters for implementing functional parallelism on SIMD.IEEE Transactions on Parallel and Distributed Systems, ,8 (4 ),412-423

Wilsey P. (01-01-1997. )Feedback control in time warp synchronized parallel simulators.Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT, ,31-38

Abu-Ghazaleh N.; Wilsey P. (01-01-1997. )Variable instruction scheduling for MIMD interpretation on pipelined SIMD machines and for compositi.Concurrency Practice and Experience, ,9 (1 ),21-39

Carter H.; Frey P.; Wilsey P. (01-01-1997. )Parallel synchronization of continuous time discrete event simulators .Proceedings of the International Conference on Parallel Processing, ,227-231

Moore L.; Radhakrishnan R.; Wilsey P. (01-01-1997. )External adjustment of runtime parameters in Time Warp synchronized parallel simulators .Proceedings of the International Parallel Processing Symposium, IPPS, ,260-266

Alexander P.; Penix J.; Rangarajan M.; Wilsey P. (01-01-1997. )Gravity: An object-oriented framework for hardware/software tool integration .Proceedings of the IEEE Annual Simulation Symposium, ,24-30

Martin D.; Wilsey P. (10-01-1996. )SIMD processors.IEEE Potentials, ,15 (4 ),26-28

Palaniswamy A.; Wilsey P. (09-15-1996. )Parameterized Time Warp (PTW): An integrated adaptive solution to optimistic PDES.Journal of Parallel and Distributed Computing, ,37 (2 ),134-145

Wilsey P.; Young C. (08-26-1996. )A distributed method to bound rollback lengths for fossil collection in time warp simulators.Information Processing Letters, ,59 (4 ),191-196

Wilsey P.; Young C. (01-01-1996. )Optimistic fossil collection for time warp simulation.Proceedings of the Annual Hawaii International Conference on System Sciences, ,1 ,364-372

Martin D.; McBrayer T.; Wilsey P. (01-01-1996. )Warped: A time warp simulation kernel for analysis and application development.Proceedings of the Annual Hawaii International Conference on System Sciences, ,1 ,383-386

Alexander P.; Frey P.; Kannikeswaran B.; Radhakrishnan R.; Wilsey P. (01-01-1996. )Formal specification and verification of the pGVT algorithm .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,1051 ,405-424

Balakrishnan V.; Chetlur M.; McBrayer T.; Radhakrishnan R.; Subramani K.; Wilsey P. (01-01-1996. )Comparative analysis of various time warp algorithms implemented in the WARPED simulation kernel .Proceedings of the IEEE Annual Simulation Symposium, ,107-116

Mohanty S.; Wilsey P. (12-01-1995. )System modeling, Hardware-software codesign, and mixed modeling with hardware description languages .European Design Automation Conference - Proceedings, ,322-327

Mohanty S.; Wilsey P. (12-01-1995. )Rapid system prototyping, system modeling, and analysis in a hardware-software codesign environment .Proceedings of the International Workshop on Rapid System Prototyping, ,154-160

Benz D.; Pandey S.; Wilsey P. (12-01-1995. )Model of VHDL for the analysis, transformation, and optimization of digital system designs .Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, ,611-616

Abu-Ghazaleh N.; Fan X.; Wilsey P. (08-15-1995. )On the Complexity of Scheduling MIMD Operations for SIMD Interpretation.Journal of Parallel and Distributed Computing, ,29 (1 ),91-95

Rajan R.; Wilsey P. (01-01-1995. )Dynamically switching between lazy and aggressive cancellation in a time warp parallel simulator.Proceedings of the 28th Annual Simulation Symposium, ANSS 1995, ,22-30

McBrayer T.; Wilsey P. (01-01-1995. )Process combination to increase event granularity in parallel logic simulation .IEEE Symposium on Parallel and Distributed Processing - Proceedings, ,572-578

Fleischmann J.; Wilsey P. (01-01-1995. )Comparative analysis of periodic state saving techniques in time warp simulators .Parallel and Distributed Simulation, Workshop Proceedings, ,50-58

Rajan R.; Wilsey P. (01-01-1995. )Dynamically switching between lazy and aggressive cancellation in a time warp parallel simulator .Proceedings of the IEEE Annual Simulation Symposium, ,22-30

Krishnaswamy V.; Mohanty S.; Wilsey P. (01-01-1995. )System modeling, performance analysis, and evolutionary prototyping with hardware description langua.Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, ,312-318

Palaniswamy A.; Wilsey P. (12-01-1994. )Scheduling time warp processes using adaptive control techniques .Winter Simulation Conference Proceedings, ,731-738

Palaniswamy A.; Wilsey P. (01-01-1994. )Adaptive checkpoint intervals in an optimistically synchronized parallel digital system simulator .IFIP Transactions A: Computer Science and Technology, ,(A-42 ),353-362

Abu-Ghazaleh N.; Bagley R.; Wilsey P. (01-01-1994. )Composing functional unit blocks for efficient interpretation of MIMD code sequences on SIMD process .Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ,854 LNCS ,616-627

Abu-Ghazaleh N.; Fan X.; Hensgen D.; Wilsey P. (01-01-1994. )Variable instruction issue for efficient MIMD interpretation on SIMD machines .Proceedings of the International Conference on Parallel Processing, ,304-310

Palaniswamy A.; Wilsey P. (12-01-1993. )Analytical comparison of periodic checkpointing and incremental state saving .127-134

Aji S.; Palaniswamy A.; Wilsey P. (01-01-1993. )Performance Measures for Several Opt Imitations to A Distributed Digital System Simulator.Proceedings - 26th Annual Simulation Symposium, ANSS 1993, ,21-29

Hensgen D.; Wilsey P. (12-01-1992. )Exploiting SIMD computers for general purpose computation .Proceedings of the International Conference on Parallel Processing, ,675-679

Aji S.; Palaniswamy A.; Wilsey P. (12-01-1992. )Efficient implementation of lazy reevaluation .Proceedings of the 25th Annual Simulation Symposium, ,140-146

Aji S.; Palaniswamy A.; Wilsey P. (04-06-1992. )An efficient implementation of lazy reevaluation .Proceedings of the 25th Annual Symposium on Simulation, ANSS 1992, ,140-146

Hensgen D.; Wilsey P. (01-01-1992. )MINTABS: Early experiences with a new paradigm for programming SIMD computers.Proceedings - International Conference on Distributed Computing Systems, ,1992-June ,110-117

Carter H.; Chawla P.; Wilsey P. (12-01-1990. )An investigation of the performance of a distributed functional digital simulator .Midwest Symposium on Circuits and Systems, ,470-473

Armstrong M.; Conn R.; Feldman M.; Wilsey P. (01-02-1990. )Panel: Ada Sources for Computer Science Educators.ACM SIGCSE Bulletin, ,22 (1 ),263

Dasgupta S.; Wilsey P. (01-01-1990. )A Formal Model of Computer Architectures for Digital System Design Environments.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ,9 (5 ),473-486

Dasgupta S.; Heinanen J.; Wilsey P. (01-01-1986. )Axiomatic Specifications in Firmware Development Systems.IEEE Software, ,3 (4 ),49-58

Other Information

https://scholar.google.com/citations?user=L3lqaIsAAAAJ&hl=en,

Contact Information

Academic - Dept of EECS
836 Rhodes Hall
Cincinnati  Ohio, 45221-0030
Phone: +1 513 556-4779
Fax: +1 513 556-7326
philip.wilsey@uc.edu