Publication History



This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Refereed Publications

  1. Lee A. Carraher, Philip A. Wilsey, Anindya Moitra, and Sayantan Dey, "Multi-Probe Random Projection Clustering on Streaming Data," IEEE International Conference on Data Mining (ICDM 2015), November 2015. (submitted).

  2. P. P. Putnam, G. Zhang, and P. A. Wilsey, "Clotho: addressing the scalability of Forward Time Population Genetic Simulation," BMC Bioinformatics, 16:191, June 10, 2015. DOI: 10.1186/s12859-015-0631-z URL: http://www.biomedcentral.com/1471-2105/16/191

  3. Joshua Hay and P. A. Wilsey, "Experiments with Hardware-based Transactional Memory in Parallel Simulation," ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2015), June 2015.

  4. A. J. Alt and P. A. Wilsey, "Profile Driven Partitioning of Parallel Simulation Models," Proceedings of the 2014 Winter Simulation Conference, December 2014.

  5. William A. Magato and P. A. Wilsey, "llamaOS: A Solution for Virtualized High Performance Computing Clusters," Workshop on Parallel and Distributed Scientific and Engineering Computing, May 2014.

  6. Sounak Gupta and Philip A. Wilsey, "Lock-Free Pending Event Set Management in Time Warp," ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2014), May 2014. http://dx.doi.org/10.1145/2601381.2601393

  7. P. P. Putnam, G. Zhang, and P. A. Wilsey, "A Comparison Study of Succinct Data Structures for use in GWAS," BMC Bioinformatics, 14:369, December 21, 2013. DOI: 10.1186/10.1186/1471-2105-14-369 URL: http://www.biomedcentral.com/1471-2105/14/369

  8. Vignesh Subbian, Philip A. Wilsey, and Fred R. Beyette, Jr., "Design and Development of a Robotic System for Clinical Assessment of Motor Deficits," IEEE 56th International Midwest Symposium on Circuits and Systems, 2013.

  9. Vignesh Subbian, Fred R. Beyette Jr., and Philip A. Wilsey, "Development and Evaluation of Hardware for Point-of-Care Assessment of Upper-limb Motor Performance," 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, July 2013.

  10. T. Dickman, S. Gupta, and P. A. Wilsey, "Event Pool Structures for PDES on Many-Core Beowulf Clusters," ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2013), May 2013.

  11. L. Carraher, P. A. Wilsey, and F. Annexstein, "A GPGPU Algorithm for c-Approximate r-Nearest Neighbor Search in High Dimensions," International Workshop on High Performance Data Intensive Computing (HPDIC 2013), May 2013.

  12. R. Child and P. A. Wilsey, "Using DVFS to Optimize Time Warp Simulations," Proceedings of the 2006 Winter Simulation Conference, December 2012.

  13. P. Putnam, P. A. Wilsey, and K. Vadambacheri Manian, "Core Frequency Adjustment to Optimize Time Warp on Many-Core Processors," Simulation Modelling Practice and Theory, 55-64, Volume 28, November 2012.

  14. Vignesh Subbian, Fred R. Beyette Jr., and Philip A. Wilsey, "Design and Usability of a Medical Computing System for Diagnosis of Mild Traumatic Brain Injury," 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Sept 2012.

  15. R. Child and P. A. Wilsey, "Dynamically Adjusting Core Frequencies to Accelerate Time Warp Simulations in Many-Core Processors," 26th Workshop on Principles of Advanced and Distributed Simulation (PADS 2012), July 2012.

  16. K. V. Manian and P. A. Wilsey, "Distributed Simulation on a Many-Core Processor," The Third International Conference on Advances in System Simulation (SIMUL 2011), Oct 2011.

  17. E. C. Herrmann, P. Janga, and P. A. Wilsey, "Pre-computing Function Results in Multi-Core and Many-Core Processors," The Second International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI 2011), Sept 2011.

  18. F. R. Beyette Jr., B. Booher, J. Drennan, L. Carraher, J. Butler, P. S. Bowman, J. F. Clark, and P. A. Wilsey, "Device for Quantification of Bilirubin in Cerebral Spinal Fluid," IEEE Transactions on Biomedical Engineering, 58 (3, 2), 773-776, March 2011.

  19. D. A. Gorodetsky and P. A. Wilsey, "Advantages of Modal Decomposition for Efficient Scaling of Parallel FDTD Computations," International Journal of Numerical Modeling: Electronic Networks, Devices, and Fields, Feb 2011.

  20. Fred R. Beyette Jr., Blaine Booher, James Drennan, Lee Carraher, Josh Butler, Peggy Bowman, Joseph F. Clark, and Philip A. Wilsey, "Development of a Point-Of-Care Device for the Quantification of Bilirubin in Cerebral Spinal Fluid," 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Sept 2010.

  21. C. K. Kuchi and P. A. Wilsey, "Multi-View and Pause-View in a Second Life Client," 2010 Interntaional Symposium on Collaborative Technologies and Systems (CTS 2010), May 2010.

  22. M-J Kim, J-Y Lee, H-Y Chang, S-J Cho, Y. Park, and P. A. Wilsey, "Design and Performance Evaluation of Binary Code Packing for Protecting Embedded Software against Reverse Engineering," Proceedings of the 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, May 2010.

  23. D. B. Pettigrew, C. J. Morgan, R. B. Anderson, P. A. Wilsey, and C. Kuntz, IV, "Virtual Pre-Operative Measurement and Surgical Manipulation of Sagittal Spinal Alignment using a Novel Research and Education Software Program," Neurosurgical Focus, Vol 28, No 3, 565-570, March 2010.

  24. E. C. Herrmann and P. A. Wilsey, "Threaded Dynamic Memory Management in Many-Core Processors," Proc of the 2010 International Workshop on Multi-Core Computing Systems (MuCoCoS 2010), Feb 2010.

  25. M. Chetlur and P. A. Wilsey, "Causality Information and Proactive Cancellation Mechanisms," Concurrency and Computation: Practice and Experience, Volume 21, Issue 11, 1483-1503, August 2009.

  26. M. Chetlur and P. A. Wilsey, "Local Fossil Identification in Time Warp Simulations," Journal of Simulation and Process Modelling (IJSPM), Volume 5, Number 2, 95-103, 2009.

  27. D. M. Rao and P. A. Wilsey, "Predicting Performance of Resolution Changes in Parallel Simulations," SCS Transactions: Simulation Journal, Volume 84, Number 10/11, 535-555, Oct/Nov, 2008.

  28. S. B. Kim, S. J. Cho, and P. A. Wilsey, "Tackling Basic Block-based Anamaly Execution Behaviors," 2008 International Symposium on Consumer Electronics, 2008.

  29. R. Brian Anderson, M. Borowczak, and P. A. Wilsey, "The Use of Device Simulation in Development of USB Storage Devices," Proc. of the 41th Annual Simulation Symposium, 220-226, April 2008.

  30. D. R. Hickey, C. J. Fearing, F. R. Beyette, Jr., and P. A. Wilsey, "Characterization of the PHOCI(TM) Data Integrated Video Sensor Technology," Analog Integrated Circuits and Signal Processing, 61-69, 2007.

  31. D. A. Gorodetsky and P. A. Wilsey, "Generation of 3-D finite-difference time-domain macromodels for faster simulation," International Journal of RF and Microwave Computer-Aided Engineering, 326-334, 2007.

  32. M. Chetlur and P. A. Wilsey, "Working Set Based Scheduling in Time Warp Simulations," Proc. of the 40th Annual Simulation Symposium, 221-230, April 2007.

  33. M. Chetlur and P. A. Wilsey, "Causality Information and Fossil Collection in Time Warp Simulations," Proceedings of the 2006 Winter Simulation Conference, 987-994, December 2006.

  34. D. M. Rao and P. A. Wilsey, "Applying Parallel, Dynamic-Resolution Simulations to Accelerate VLSI Power Estimation," Proceedings of the 2006 Winter Simulation Conference, 694-702, December 2006.

  35. M. Chetlur and P. A. Wilsey, "Causality and Proactive Cancellation," 10th IEEE/ACM International Symposium on Distributed Simulation (DS-RT 2006), 193-200, October 2006.

  36. D. M. Rao and P. A. Wilsey, "Predicting Performance of Resolution Changes in Parallel Simulations," 20th Workshop on Principles of Advanced and Distributed Simulation (PADS 2006), 45-54, May 2006.

  37. D. M. Rao and P. A. Wilsey, "Accelerating ATM Simulations using Dynamic Component Substitution (DCS)" SCS Transactions: Simulation Journal, Volume 82, Number 4, 235-253, 2006.

  38. D. R. Hickey, P. A. Wilsey, R. J. Hoekstra, E. R. Keiter, S. A. Hutchinson, and T. V. Russo, "Mixed-Signal Simulation with the Simbus Backplane," Proc. of the 39th Annual Simulation Symposium, 223-229 April 2006.

  39. D. A. Gorodetsky and P. A. Wilsey, "Reducing the setup time of a one-step FDTD method," International Conference on Parallel and Distributed Processing Techniques and Applications, 431-436, 2006.

  40. D. A. Gorodetsky and P. A. Wilsey, "Interfacing multiple macromodels constructed with the FDTD method," IEEE Northeast Workshop on Circuits and Systems, 293-296, June 2006.

  41. D. A. Gorodetsky and P. A. Wilsey, "Rapid evaluation of macromodel response with the FDTD method," International Conference on Scientific Computing, 267-271, 2006.

  42. D. A. Gorodetsky and P. A. Wilsey, "Innovative approaches to parallelizing finite-difference time-domain computations," IEEE Workshop on Direct and Inverse Problems in Electrodynamics, 43-47, Sept 2005.

  43. D. M. Rao and P. A. Wilsey, "Accelerating Spatially Explicit Simulations of Spread of Lyme Disease," Proc. of the 38th Annual Simulation Symposium, 251-258, April 2005.

  44. D. E. Martin, P. A. Wilsey, R. J. Hoekstra, E. R. Keiter, S. A. Hutchinson, T. V. Russo, and L. J. Waters, "Scheduling Optimization on the Simbus Backplane," Proc. of the 37th Annual Simulation Symposium, 231-237, April 2004.

  45. D. E. Martin, P. A. Wilsey, R. J. Hoekstra, E. R. Keiter, S. A. Hutchinson, T. V. Russo, and L. J. Waters, "Redesigning the WARPED Simulation Kernel for Analysis and Application Development," Proc. of the 36th Annual Simulation Symposium, 216-223, April 2003.

  46. D.M. Rao and P. A. Wilsey, "Performance Prediction of Dynamic Component Substitutions," Proceedings of the Winter Simulation Conference , 2002.

  47. D. M. Rao and P. A. Wilsey, "An Active Networks Simulation Environment,"SCS Transactions: Simulation Journal, Volume 78, Number 7, 447-460, 2002.

  48. D. M. Rao and P. A. Wilsey, "An Ultra-large Scale Simulation Framework" , Journal of Parallel and Distributed Computing, Volume 63, 1670-1693, 2002.

  49. R. Radhakrishnan and P. A. Wilsey, "Software Control Systems for Parallel Simulation," 16th Workshop on Parallel and Distributed Simulation (PADS 2002), 135-142, May 2002.

  50. D. E. Martin, P. A. Wilsey, R. J. Hoekstra, E. R. Keiter, S. A. Hutchinson, and L. J. Waters, "Integrating Multiple Parallel Simulation Engines for Mixed-Technology Parallel Simulation", Proc. of the 35th Annual Simulation Symposium, 45-52, April 2002.

  51. N. B. Abu-Ghazaleh and P. A. Wilsey, "On the Organization of Concurrent Interpreters," Second Workshop on Massively Parallel Processing (WMPP '02), April 2002.

  52. D. E. Martin, R. Radhakrishnan, D. M. Rao, M. Chetlur, K. Subramani, and P. A. Wilsey, "Analysis and Simulation of Mixed-Technology VLSI Systems", Journal of Parallel and Distributed Computing, Volume 62, Number 3, 468-493, March 2002.

  53. P. Frey, R. Radhakrishnan, H. W. Carter, P. Alexander, and P. A. Wilsey, "A Formal Specification and Verification Framework for Time Warp based Parallel Simulation", IEEE Transactions on Software Engineering, Volume 28, Number 1, 58-78, January 2002.

  54. K. K. Rangan, N. B. Abu-Ghazaleh, and P. A. Wilsey, "A Distributed Multiple-SIMD Intelligent Memory," 2001 International Conference on Parallel Processing (ICPP), 507-516, September 2001.

  55. J. Dahl, M. Chetlur, and P. A. Wilsey, "Event List Management In Distributed Simulation," European Parallel Computing Conference (Euro-Par '01), August 2001. [pdf]

  56. D. M. Rao and P. A. Wilsey, "Multi-resolution Network Simulations using Dynamic Component Substitution", In Proceedings of the Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'01) August 2001.

  57. S. Subramanian, D. M. Rao, and P. A. Wilsey, "Applying Multilevel Partitioning to Parallel Logic Simulation" , Parallel and Distributed Computing Practices, Volume 4, Number 1, 37-59, March 2001.

  58. V. Balakrishnan, R. Radhakrishnan, D. M. Rao, N. B. Abu-Ghazaleh, and P. A. Wilsey, "A Performance and Scalability Analysis Framework for Parallel Discrete Event Simulators" , Simulation Practice and Theory, Volume 8, 529-553, 2001

  59. K. K. Rangan, N. B. Abu-Ghazaleh, and P. A. Wilsey, "A Distributed Multiple-SIMD Intelligent Memory", 2001 International Conference on Parallel Processing (ICPP), September 2001.

  60. N. B. Abu-Ghazaleh and P. A. Wilsey, "The Shared Control Parallel Architecture Model", Journal of Parallel and Distributed Computing, Volume 61, Number 6, 767-783, June 2001.

  61. M. Chetlur and P. A. Wilsey, "Causality Representation and Cancellation Mechanism in Time Warp Simulations",15th Workshop on Parallel and Distributed Simulation (PADS '2001), May 2001.

  62. K. K. Rangan, N. Pisolkar, N. B. Abu-Ghazaleh, and P. A. Wilsey, "PPIM-SIM: An Efficient Simulator for a Parallel Processor in Memory", Proc. of the 34th Annual Simulation Symposium, 117-124, April 2001.

  63. D. M. Rao and P. A. Wilsey, "Modeling and Simulation of Active Networks",Proc. of the 34th Annual Simulation Symposium, 177-184, April 2001.

  64. K. K. Rangan, N. Pisolkar, N. B. Abu-Ghazaleh, and P. A. Wilsey, "Architectural Support for Data-Intensive Applications", Workshop on Massively Parallel Processing (WMPP), April 2001.

  65. D. M. Rao, H. W. Carter, and P. A. Wilsey, "Optimizing Costs of Web-based Modeling and Simulation", International Workshop on Internet Computing and E-Commerce (ICEC'01), April 2001.

  66. D. M. Rao and P. A. Wilsey, "Dynamic Component Substitution in Web-Based Simulation," Proceedings of the 2000 Winter Simulation Conference, December 2000.

  67. D. M. Rao and P. A. Wilsey, "Parallel Co-simulation of Conventional and Active Networks," Proceedings of the Eighth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2000), 291-298, August 2000.

  68. P. Frey, R. Radhakrishnan, H. W. Carter, and P. A. Wilsey, "Parallel Mixed-Technology Simulation," 14th Workshop on Parallel and Distributed Simulation (PADS '2000), 7-14, May 2000.

  69. S. Subramanian, D. M. Rao, and P. A. Wilsey, "Study of a Multilevel Approach to Partitioning for Parallel Logic Simulation," International Parallel and Distributed Processing Symposium (IPDPS 2000), 833-838, May 2000.

  70. D. M. Rao, R. Radhakrishnan, and P. A. Wilsey, "Web-based Network Analysis and Design," ACM Transactions on Modeling and Computer Simulation, Volume 10, Number 1, 18-38, January 2000.

  71. D. M. Rao, V. Chernyakhovsky, and P. A. Wilsey, "WESE: A Web-based Environment for Systems Engineering," 2000 International Conference On Web-Based Modelling \& Simulation (WEBSIM 2000), January 2000.

  72. P. J. Ashenden and P. A. Wilsey, "Principles for Language Extensions to VHDL to Support High-Level Modeling," VLSI Design, Volume 10, Number 2, 217-236, 1999.

  73. P. A. Wilsey, "Web-Based Analysis and Distributed IP," Proceedings of the 1999 Winter Simulation Conference, P. A. Farrington, H. B. Nembhard, D. T. Sturrock, and G. W. Evans (eds), 1445-1453, December 1999.

  74. D. M. Rao, and P. A. Wilsey, "An Object Oriented Framework for Parallel Simulation of Ultra-large Communication Networks," The Third International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE '99), (LNCS 1732), S. Matsuoka, R. R. Oldehoeft, and M. Tholburn (eds), 37-48, December 1999.

  75. P. J. Ashenden and P. A. Wilsey, "Protected Shared Variables in VHDL: IEEE Std 1076a," IEEE Design and Test of Computers, Volume 16, Number 4, 74-83, October-December 1999.

  76. R. Radhakrishnan and P. A. Wilsey, " Ruminations on the Implications of Multi-Resolution Modeling on DIS/HLA," Third International Workshop on Distributed Interactive Simulation and Real Time Applications (DiS-RT'99), October 1999.

  77. D. M. Rao and P. A. Wilsey, " Simulation of Ultra-large Communication Networks", Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '99), 112-119, October 1999.

  78. N. B. Abu-Ghazaleh and P. A. Wilsey, "Managing Control Asynchrony on SIMD Machines - A Survey," Advances in Computers, Academic Press, M. Zelkowitz (ed), Volume 49, 239-302, 1999.

  79. G. D. Sharma, N. B. Abu-Ghazaleh, U. K. V. Rajasekaran, and P. A. Wilsey, "Optimizing Message Delivery in Asynchronous Distributed Applications," European Parallel Computing Conference (Euro-Par'99), (LNCS 1685), P Amestoy et al (eds), 1204-1208, September 1999.

  80. S. Pandey, K. Umamageswaran, and P. A. Wilsey, "VHDL Semantics and Validating Transformations," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Volume 18, Number 7, 936-955, July 1999.

  81. G. D. Sharma, R. Radhakrishnan, U. K. V. Rajasekaran, N. B. Abu-Ghazaleh, and P. A. Wilsey, "Time Warp Simulation on Clumps," 13th Workshop on Parallel and Distributed Simulation (PADS'99), 174-181, May 1999.

  82. C. H. Young, R. Radhakrishnan, and P. A. Wilsey, "Optimism: Not Just for Event Execution Anymore," 13th Workshop on Parallel and Distributed Simulation (PADS'99), 136-143, May 1999.

  83. P. J. Ashenden, Robert Esser and P. A. Wilsey, "Communication and Synchronization Using Bounded Channels in SUAVE," Proceedings of International Hardware Description Languages Conference (HDLCON '99), 111-118, April 1999.

  84. V. Chernyakhovsky, P. Frey, R. Radhakrishnan, P. A. Wilsey, P. Alexander, and H. W. Carter, "A Formal Framework for Specifying and Verifying Time Warp Optimizations," Workshop on Formal Methods for Parallel Programming: Theory and Applications, (LNCS 1586), J. Rolim et al (eds), 1228-1242, April 1999.

  85. U. K. V. Rajasekaran, M. Chetlur, G. D. Sharma, R. Radhakrishnan, and P. A. Wilsey, "Addressing Communication Latency Issues on Clusters for Fine Grained Asynchronous Applications - A Case Study," International Workshop on Personal Computer based Networks Of Workstations (PC-NOW'99), (LNCS 1586), J. Rolim et al (eds), 1145-1162, April 1999.

  86. N. V. Thondugulam, D. M. Rao, R. Radhakrishnan, and P. A. Wilsey, "Relaxing Causal Constraints in PDES", 13th International Parallel Processing Symposium (IPPS/SPDP '99), 696-700, April 1999.

  87. R. Rajan, R. Radhakrishnan, and P. A. Wilsey, "Dynamic Cancellation: Selecting Time Warp Cancellation Strategies at Runtime," VLSI Design, Volume 9, Number 3, 237-251, 1999.

  88. D. Madhava Rao, R. Radhakrishnan, and P. A. Wilsey, "FWNS: A Framework for Web-based Network Simulation," 1999 International Conference On Web-Based Modelling & Simulation (WEBSIM 99), A. G. Bruzzone, A. Uhrmacher, E. H. Page (eds), Volume 31, Number 3, 9-14, January 1999.

  89. C. H. Young, N. B. Abu-Ghazaleh, R. Radhakrishnan, and P. A. Wilsey, "Performance Benefits of Optimism in Fossil Collection," 32th Hawaii International Conference on System Sciences (HICSS-32), January 1999.

  90. P. Frey, R. Radhakrishnan, P. A. Wilsey, P. Alexander, and H. W. Carter, "An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol," 32th Hawaii International Conference on System Sciences (HICSS-32), January 1999.

  91. K. Umamageswaran, S. Pandey, and P. A. Wilsey, Formal Semantics and Proof Techniques for Optimizing VHDL Models, Kluwer Academic Publishers, Boston, MA, 1999. (ISBN 0-7923-8375-3).

  92. R. Radhakrishnan, D. E. Martin, M. Chetlur, D. Madhava Rao and P. A. Wilsey, "An Object-Oriented Time Warp Simulation Kernel", Proceedings of the International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE '98), (LNCS 1505), D. Caromel, R. R. Oldehoeft, and M. Tholburn (eds), 13-23, December 1998.

  93. D. Madhava Rao, N. V. Thondugulam, R. Radhakrishnan, and P. A. Wilsey, "Unsynchronized Parallel Discrete Event Simulation," Proceedings of the 1998 Winter Simulation Conference, 1563-1570, December 1998.

  94. D. M. Rao, K. Swaminathan, R. Radhakrishnan, P. A. Wilsey, and P. Alexander, "ANSE: An Active Networks Simulation Environment," Workshop on Distributed and Parallel Systems (DAPSYS 98), 127-131, September 1998.

  95. C. H. Young, N. B. Abu-Ghazaleh, and P. A. Wilsey, "OFC: A Distributed Fossil-Collection Algorithm for Time-Warp," 12th International Symposium on Distributed Computing, DISC '98 (formerly WDAG), (LNCS 1499), S. Kutten (ed), 408-418,September 1998.

  96. M. Chetlur, G. D. Sharma, N. B. Abu-Ghazaleh, U. K. Rajasekaran, and P. A. Wilsey, "An Active Layer Extension to MPI," Euro PVM/MPI '98, (LNCS 1497), V. Alexandrov and J. Dongarra (eds), 97-104, September 1998.

  97. N. B. Abu-Ghazaleh and P. A. Wilsey, "Shared Control - Supporting Control Parallelism using SIMD-like Architectures," European Parallel Computing Conference (Euro-Par '98), (LNCS 1470), D. Pritchard and J. Reeve (eds), 1089-1099, September 1998.

  98. R. Radhakrishnan, N. Abu-Ghazaleh, M. Chetlur, and P. A. Wilsey, "On-line Configuration of a Time Warp Parallel Discrete Event Simulator," 1998 International Conference on Parallel Processing, 28-35, August 1998.

  99. N. B. Abu-Ghazaleh and P. A. Wilsey, "Models for Control Unit Synchronization on Shared Control Architectures," Journal of Parallel and Distributed Computing, Volume 52, Number 1, 69-81, July 1998.

  100. P. J. Ashenden and P. A. Wilsey, "Extensions to VHDL for Abstraction of Concurrency and Communication," Proceedings of the Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '98), 301-308, July 1998. [pdf]

  101. Dieckman, D., P. Alexander, and P. A. Wilsey, "ActiveSPEC: A Framework for the Specification and Verification of Active Network Services and Security Policies," Formal Methods in Security Protocols, June 1998.

  102. K. Swaminathan, R. Radhakrishnan, P. A. Wilsey, and P. Alexander, "Large Scale Active Networks Simulation ," International Workshop on Applied Parallel Computing (PARA98), (LNCS 1541), B. Kagstrom J. Dongarra, E. Elmroth, and J. Wasniewski (eds), 537-542, June 1998.

  103. M. Chetlur, N. B. Abu-Ghazaleh, R. Radhakrishnan, and P. A. Wilsey, "Optimizing Communication in Time Warp Simulators," 12th Workshop on Parallel and Distributed Simulation (PADS '98), 64-71, May 1998.

  104. P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "SUAVE: Extending VHDL to Improve Modeling Support," IEEE Design and Test of Computers, Volume 15, Number 2, 34-44, April-June 1998. [pdf]

  105. K. Umamageswaran, K. Subramani, P. A. Wilsey, and P. Alexander, "Formal Verification and Empirical Analysis of Rollback Relaxation," Journal of Systems Architecture (formerly published as Microprocessing and Microprogramming: the Euromicro Journal), Volume 44, 473-495, 1998.

  106. P. Frey, R. Radhakrishnan, H. W. Carter, and P. A. Wilsey, "Optimistic Synchronization of Mixed-Mode Simulators," 12th International Parallel Processing Symposium (IPPS/SPDP '98), 694-699, April 1998.

  107. J. Penix, D. E. Martin, P. Frey, R. Radhakrishnan, P. Alexander and P. A. Wilsey, "Experiences in Verifying Parallel Simulation Algorithms," Workshop on Formal Methods in Software Practice (FMSP-98), M. Ardis (ed), 16-23, March 1998.

  108. P. J. Ashenden and P. A. Wilsey "A Comparison of Alternative Extensions for Data Modeling in VHDL," 31th Hawaii International Conference on System Sciences (HICSS-31), January 1998. [pdf]

  109. V. Balakrishnan, P. Frey, N. Abu-Ghazaleh, and P. A. Wilsey, "A Framework for Performance Analysis of Parallel Discrete Event Simulators," Proceedings of the 1997 Winter Simulation Conference, 429-436, December 1997.

  110. L. M. D'Souza, X. Fan, and P. A. Wilsey, "Modifications to the pGVT Algorithm to Eliminate Acknowledgement Messages and Improve the GVT Broadcast Frequency," World Congress on Systems Simulation: Conference on Parallel & Distributed Simulation, 288-292, September 1997.

  111. P. Frey, H. W. Carter, and P. A. Wilsey, "Parallel Synchronization of Continuous Time and Discrete Event Simulators," 1997 International Conference on Parallel Processing, 227-231, August 1997.

  112. N. B. Abu-Ghazaleh, P. A. Wilsey, X. Fan, and D. A. Hensgen, "Synthesizing Variable Instruction Issue Interpreters for Implementing Functional Parallelism on SIMD Computers," IEEE Transactions on Parallel and Distributed Systems, Volume 8, Number 4, 412-423, April 1997.

  113. M. Rangarajan, J. Penix, P. Alexander, and P. A. Wilsey, "Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration," Proc. of the 30th Annual Simulation Symposium, 24-30, April 1997.

  114. N. B. Abu-Ghazaleh, and P. A. Wilsey, "Variable Instruction Scheduling for MIMD Interpretation on Pipelined SIMD Machines and for Compositional Instruction Sets," Concurrency-Practice and Experience, Volume 9, Number 1, 31-39, January 1997.

  115. R. Radhakrishnan, L. Moore, and P. A. Wilsey, "External Adjustment of Runtime Parameters in Time Warp Synchronized Parallel Simulators," 11th International Parallel Processing Symposium (IPPS '97), 260-266, April 1997.

  116. P. A. Wilsey, "Feedback Control in Time Warp Synchronized Parallel Simulators," First International Workshop on Distributed Interactive Simulation and Real Time Applications, 31-38, January 1997.

  117. P. A. Wilsey, R. Vemuri, P. J. Ashenden, and N. Mause, "Programmed Monitoring and Digital System Simulation," Current Issues in Electronic Modeling. Volume 8: Hardware/Software Co-Design and Co-Verification, 145-162, December 1996.

  118. A. C. Palaniswamy and P. A. Wilsey, "Parameterized Time Warp (PTW): An Integrated Adaptive Solution to Optimistic PDES," Journal of Parallel and Distributed Computing Volume 37, Number 2, 134-145, September 1996.

  119. S. L. Pandey, K. R. Subramanian, and P. A. Wilsey, "A Semantic Model of VHDL for Validating Rewriting Algebras," EuroMicro '96 (Beyond 2000: Hardware and Software Design Strategies), 167-176, September 1996.

  120. C. H. Young and P. A. Wilsey, "A Distributed Method to Bound Rollback Lengths for Fossil Collection in Time Warp Simulators," Information Processing Letters. Volume 59, Number 4, 191-196, August 1996.

  121. N. B. Abu-Ghazaleh and P. A. Wilsey, "A Shared Control Parallel Architecture Model," Massively Parallel Computing Systems (MPCS '96), 332-337, May 1996.

  122. P. A. Wilsey, N. Mause, and P. J. Ashenden, "Abstract Data Types and the Digital System Description and Simulation Environments," Current Issues in Electronic Modeling. Volume 5: Hardware Component Modeling, 33-53, March 1996.

  123. R. Radhakrishnan, T. J. McBrayer, K. Subramani, M. Chetlur, V. Balakrishnan, and P. A. Wilsey, "A Comparative Analysis of Various Time Warp Algorithms Implemented in the WARPED Simulation Kernel," Proceedings of the 29th Annual Simulation Symposium, 107-116, March 1996.

  124. B. Kannikeswaran, R. Radhakrishnan, P. Frey, P. Alexander, and P. A. Wilsey, "Formal Specification and Verification of the pGVT Algorithm," FME '96: Industrial Benefit and Advances in Formal Methods (LNCS 1051), M-C. Gaudel and J. Woodcock (eds), 405-424, March 1996.

  125. C. H. Young and P. A. Wilsey, " Optimistic Fossil Collection for Time Warp Simulation," 29th Hawaii International Conference on System Sciences (HICSS-29), H. El-Rewini and B. D. Shriver (eds), Volume I, 364-372, January 1996.

  126. D. E. Martin, T. J. McBrayer, and P. A. Wilsey, "warped: A Time Warp Simulation Kernel for Analysis and Application Development," 29th Hawaii International Conference on System Sciences (HICSS-29), H. El-Rewini and B. D. Shriver (eds), Volume I, 383-386, January 1996.

  127. S. Mohanty and P. A. Wilsey, "System Modeling, Hardware-Software Codesign, and Mixed Modeling with Hardware Description Languages," 1995 EURO-DAC Conference, 322-327, September 1995.

  128. P. A. Wilsey, D. M. Benz, and S. L. Pandey, "A Model of VHDL for the Analysis, Transformation, and Optimization of Digital System Designs," Conference on Hardware Description Languages (CHDL '95), 611-616, August 1995.

  129. L. Moore, D. A. Hensgen, D. Charley, V. Krishnaswamy, T. McBrayer, D. E. Martin, and P. A. Wilsey, "graze: A Tool for Performance Visualization and Analysis," 1995 International Conference on Parallel Processing, Volume II Software, C. Polychronopoulos (ed), II-135-II-138, August 1995.

  130. X. Fan, N. B. Abu-Ghazaleh, and P. A. Wilsey, "On the Complexity of Scheduling MIMD Operations for SIMD Interpretation," Journal of Parallel and Distributed Computing, Volume 29, Number 1, 91-95, August 1995.

  131. S. Mohanty and P. A. Wilsey, "Rapid System Prototyping, System Modeling, and Analysis in a Hardware-Software Codesign Environment," IEEE Rapid Systems Prototyping Workshop, R. Lauwereins (ed), 154-160, June 1995.

  132. J. Fleischmann and P. A. Wilsey, "Comparative Analysis of Periodic State Saving Techniques in Time Warp Simulators," Proceedings of the 9th Workshop on Parallel and Distributed Simulation (PADS 95), 50-58, June 1995.

  133. T. McBrayer and P. A. Wilsey, "Process Combination to Increase Event Granularity in Parallel Logic Simulation," 9th International Parallel Processing Symposium (IPPS '95), 572-578, April 1995.

  134. R. Rajan and P. A. Wilsey, "Dynamically Switching between Lazy and Aggressive Cancellation in a Time Warp Parallel Simulator," Proceedings of the 28th Annual Simulation Symposium, 22-30, April 1995.

  135. S. Mohanty, V. Krishnaswamy, and P. A. Wilsey, "System Modeling, Performance Analysis, and Evolutionary Prototyping with Hardware Description Languages," International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '95), P. Dowd and E. Gelenbe (eds), 312-318, January 1995.

  136. V. Krishnaswamy and Philip A. Wilsey, "A Framework for Visualizing Performance Data in a Graphical Design Environment," International Conference on Electronic Hardware Description Languages (ICEHDL), 29-34, January 1995.

  137. P. J. Ashenden and P. A. Wilsey, "Polymorphic Abstract Data Types in VHDL," International Conference on Electronic Hardware Description Languages (ICEHDL), 35-40, January 1995.

  138. A. C. Palaniswamy, and P. A. Wilsey, "Scheduling Time Warp Processes using Adaptive Control Techniques," 1994 Winter Simulation Conference, J. D. Tew, S. Manivannan, D. A. Sadowski, and A. F. Seila (eds), 731-738, December 1994.

  139. R. A. Bagley, P. A. Wilsey, and N. B. Abu-Ghazaleh, "Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors," Parallel Processing: CONPAR 94 - VAPP VI (LNCS 854), B. Buchberger and J. Volkert (eds), 616-627, September 1994.

  140. L. M. D'Souza, X. Fan, and P. A. Wilsey, "pGVT: An Algorithm for Accurate GVT Estimation," Proceedings of the 8th Workshop on Parallel and Distributed Simulation (PADS 94), 102-109, July 1994.

  141. N. B. Abu-Ghazaleh, P. A. Wilsey, X. Fan, and D. A. Hensgen, "Variable Instruction Issue for Efficient MIMD Interpretation on SIMD Machines," 8th International Parallel Processing Symposium (IPPS '94), 304-310, April 1994.

  142. P. A. Wilsey, A. C. Palaniswamy, and S. Aji, "Rollback Relaxation: A Technique for Reducing Rollback Costs in an Optimistically Synchronized Simulation," International Conference on Simulation and Hardware Description Languages, 143-148, January 1994.

  143. A. C. Palaniswamy and P. A. Wilsey, "Adaptive Checkpoint Intervals in an Optimistically Synchronized Parallel Digital System Simulator", VLSI 93, 353-362, September 1993.

  144. A. C. Palaniswamy and P. A. Wilsey, "An Analytical Comparison of Periodic Checkpointing and Incremental State Saving," Proceedings of the 7th Workshop on Parallel and Distributed Simulation (PADS 93), Society for Computer Simulation, 127-134, July 1993.

  145. N. L. Rethman and P. A. Wilsey, "RAPID: A Tool for Hardware/Software Tradeoff Analysis," Proceedings of the Spring 1993 VHDL International Users' Forum, 91-99, April 1993.

  146. A. C. Palaniswamy, S. Aji, and P. A. Wilsey, "Performance Measures for Several Optimizations to a Distributed Digital System Simulator," Proceedings of the 26th Annual Simulation Symposium, 21-29, April 1993.

  147. P. A. Wilsey, D. A. Hensgen, N. B. Abu-Ghazaleh, C. E. Slusher, and D. Y. Hollinden, "The Concurrent Execution of Non-communicating Programs on SIMD Processors," Proceedings of the 4th Symposium on the Frontiers of Massively Parallel Computation, 29-36, October 1992.

  148. C. E. Slusher, P. A. Wilsey, D. A. Hensgen, and D. Y. Hollinden, "The Efficient Compilation, Loading, and Execution of Mutated Programs on SIMD Computers," 5th ISMM International Conference on Parallel and Distributed Computing and Systems, R. Melhem (ed), 100-103, October 1992.

  149. D. Charley, T. McBrayer, D. Hensgen, P. A. Wilsey, and M. Ankola, "Distributed Simulation on a Reconfigurable Network using Non-Uniform Message Passing," 5th ISMM International Conference on Parallel and Distributed Computing and Systems, R. Melhem (ed), 247-250, October 1992.

  150. P. A. Wilsey, "Developing a Formal Semantic Definition of VHDL," in VHDL for Simulation, Synthesis and Formal Proofs of Hardware, J. Mermet (ed), Kluwer Academic Publishers, 245-256, 1992.

  151. D. A. Hensgen and P. A. Wilsey, "MINTABS: Early Experiences with a New Paradigm for Programming SIMD Computers," 12th International Conference on Distributed Computing Systems, 110-117, June 1992.

  152. A. C. Palaniswamy, S. Aji, and P. A. Wilsey, "An Efficient Implementation of Lazy Reevaluation," Proceedings of the 25th Annual Simulation Symposium, 140-146, April 1992.

  153. D. Y. Hollinden, D. A. Hensgen, and P. A. Wilsey, "Experiences Implementing the MINTABS System on a MasPar MP-1," Proceedings 3rd Symposium on Experiences with Distributed and Multiprocessor Systems (SEDMS III), 43-58, March 1992.

  154. P. A. Wilsey and D. A. Hensgen, "Exploiting SIMD Computers for General Purpose Computation," 6th International Parallel Processing Symposium (IPPS '92), 675-679, March 1992.

  155. N. Mause and P. A. Wilsey, "The Impact of Abstract Data Types on the Digital System Description and Simulation Environments," European Conference on Design Automation, 88-96, March 1992.

  156. P. A. Wilsey and N. Mause, "The Use of Abstract Data Types in Hardware Description Languages," Proceedings of the 1992 Western Simulation Multiconference on Simulation in Engineering Education, 101-105, January 1992.

  157. P. A. Wilsey, T. McBrayer, and D. Sims, "Towards A Formal Model of VLSI Systems Compatible with VHDL," VLSI 91, 225-236, August 1991.

  158. H. Carter, R. Vemuri, P. A. Wilsey, J. Aylor, R. Waxman, and T. Hartrum, "High Speed Acceleration of VHDL Simulation, Synthesis, and ATPG: Overview of the QUEST Project," Spring 1991 VHDL Users' Group, 85-90, April 1991.

  159. P. A. Wilsey, "Introducing the Notion of Clocks into the VHDL Description Environment," Spring 1991 VHDL Users' Group, 97-104, April 1991.

  160. P. A. Wilsey, "Developing a Formal Semantic Definition of VHDL," The First European Working Conference on VHDL Methods, September 1990.

  161. P. A. Wilsey, "The Use of Interval Temporal Logic in Specifying Relationships Between Clock Phases," International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, August 1990.

  162. P. A. Wilsey and S. Dasgupta, "A Formal Model of Computer Architectures for Digital System Design Environments," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 9, Number 5, 473-486, May 1990.

  163. P. Chawla, H. W. Carter, and P. A. Wilsey, "An Investigation of the Performance of a Distributed Functional Digital Simulator," Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 470-476, August 1989.

  164. P. A. Wilsey, "Computer Architecture Specification with Interval Temporal Logic," Proceedings 9th International Symposium on Computer Hardware Description Languages, J. A. Darringer and Franz J. Ramming (Ed.), 35-45, June 1989.

  165. P. A. Wilsey and S. Dasgupta, "Functional and Operational Specifications of Computer Architectures," Proceedings 9th International Symposium on Computer Hardware Description Languages, J. A. Darringer and Franz J. Ramming (Ed.), 209-223, June 1989.

  166. P. A. Wilsey and S. Dasgupta, "A Formal Model of Computer Architectures for Computer System Design Environments," in Design Methodologies for VLSI and Computer Architecture, D. A. Edwards (Ed.), 263-278, September 1988.

  167. S. Dasgupta, P. A. Wilsey, and J. Heinanen, "Axiomatic Specifications in Firmware Development Systems," IEEE Software, Volume 3, Number 4, 49-58, July 1986.

Other Articles and Technical Reports

  1. G. D. Peterson and P. A. Wilsey, "Requirements for Object-Oriented Systems Modeling with STEAMS," 2001 IEEE International Workshop on Behavioral Modeling and Simulation Oct 2001.

  2. P. A. Wilsey, "Modeling, Analysis and Simulation of Computer and Telecommunication Systems," Encyclopedia of Computer Science and Technology, Marcel Dekker, A. Kent and J. G. Williams (eds), Volume 41, 147-160, 1999.

  3. D. Dieckman, D. E. Martin, and P. A. Wilsey, "Distributed Web-Based Simulation for Protecting Intellectual Property," Proceedings of SPIE's 13th Annual International Symposium on Aerospace/Defense Sensing, Simulation, and Controls, April 1998.

  4. N. B. Abu-Ghazaleh, P. A. Wilsey, J. Potter, R. Walker, and J. Baker, "Flexible Parallel Processing in Memory: Architecture + Programming Model," The Third PetaFlop Workshop, held in conjunction with Frontiers on Massively Parallel Computing, February 1999.

  5. D. Dieckman, D. E. Martin, and P. A. Wilsey, "DISCOE: Distributed Design & Analysis to Preserve Intellectual Property," IEEE Information Technology Conference, 57-60, September 1998.

  6. P. J. Ashenden, Philip A. Wilsey, and Dale E. Martin, "SUAVE: Object-Oriented and Genericity Extensions to VHDL for High-Level Modeling," Forum on Design Languages, September 1998.

  7. P. A. Wilsey, D. E. Martin, and H. Hirsch, "The SAVANT Project," NAECON '98, June 1998.

  8. P. A. Wilsey, D. E. Martin, and K. Subramani, "SAVANT/TyVIS/WARPED: Components for the Analysis and Simulation of VHDL," VHDL Users' Group Spring 1998 Conference, 195-201, 1998.

  9. P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "Considerations on System-Level Behavioural and Structural Modeling Extensions to VHDL," VHDL Users' Group Spring 1998 Conference, 42-50, 1998. (best paper award).

  10. P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "Reuse Through Genericity in SUAVE," VHDL Users' Group Fall 1997 Conference, 170-177, October 1997.

  11. P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "SUAVE: Painless Extension for an Object-Oriented VHDL," VHDL Users' Group Fall 1997 Conference, 60-67, October 1997.

  12. P. J. Ashenden and P. A. Wilsey, "Considerations on Object-Oriented Extensions to VHDL," VHDL Users' Group Spring 1997 Conference, 109-118, March 1997. [pdf]

  13. L. M. D'Souza, X. Fan, and P. A. Wilsey, "Modifications to the pGVT Algorithm to Eliminate Acknowledgement Messages and Inprove the GVT Broadcast Frequency," Tech. Rept. TR 201-12-96-ECECS, Dept. of Electrical & Computer Engineering and Computer Science, University of Cincinnati, November 1996.

  14. D. E. Martin and P. A. Wilsey, "SIMD Processors: Expanding its Horizons by Emulating Others," IEEE Potentials, 26-28, October/November 1996.

  15. J. C. Willis, P. A. Wilsey, G. D. Peterson, J. Hines, W. H. Dashiell, "Semi-Automated Validation of VHDL and Related Languages," VHDL Users' Group Fall 1996 Conference, 335-342, October 1996.

  16. J. C. Willis, P. A. Wilsey, G. D. Peterson, J. Hines, A. Zamfirescu, D. E. Martin, and R. N. Newshutz, "Advanced Intermediate Representation with Extensibility (AIRE)," VHDL Users' Group Fall 1996 Conference, 33-40, October 1996.

  17. P. A. Wilsey, S. L. Pandey, and K. Umamageswaran, "A Formal Model of Digital Systems Compatible with VHDL," RASSP Digest, Volume 3, 46-48, September 1996.

  18. D. E. Martin, P. A. Wilsey, and P. Chawla, "SAVANT: An Extensible Object-Oriented Intermediate for VHDL," VHDL Users' Group Spring 1996 Conference, 275-281, March 1996.

  19. P. A. Wilsey and D. E. Martin, "Coordinating Joint Cost/No-Cost Rights for Software Developed with SBIR Funding," First Conference on Freely Redistributable Software, 89-94, February 1996.

  20. S. Mohanty, S. Gunning, and P. A. Wilsey, "Abstract Modeling and Performance Analysis with HDLs," Third Asia Pacific Conference on Hardware Description Languages (APCHDL '96), 13-17, January 1996.

  21. D. E. Martin, T. J. McBrayer, and P. A. Wilsey, "Time Warp Parallel Simulation of VHDL Descriptions and the need for Dynamic Parameter Adjustment," VHDL Users' Group Fall 1995 Conference, 7.1-7.10, October 1995.

  22. N. B. Abu-Ghazaleh, P. A. Wilsey, and R. A. Bagley, "Shared Control Multiprocessors," TR 179-12-94-ECECS, Dept. of Electrical and Computer Engineering and Computer Science, University of Cincinnati, Cincinnati, OH, December 1994.

  23. T. McBrayer, V. Krishnaswamy, S. Mohanty, L. Moore, X. Liu, J. Carter, D. Charley, P. A. Wilsey, D. A. Hensgen, H. W. Carter, P. Chawla, J. Collier and S. Bilik "VAST: Time Warp Simulation of VHDL on SMP Workstations," VHDL Users' Group Fall 1994 Conference, November 1994.

  24. L. Moore, D. A. Hensgen, V. Krishnaswamy, and P. A. Wilsey, "The Importance of Dynamic Memory Allocation in Threaded Applications," Technical Report TR 171-6-94-ECE, Dept. of Electrical & Computer Engineering, University of Cincinnati, June 1994.

  25. X. Fan, P. A. Wilsey, and N. B. Abu-Ghazaleh, "On the Complexity of Optimizing Instruction Issue Cycles for SIMD Interpretation of MIMD," Technical Report TR 170-6-94-ECE, Dept. of Electrical & Computer Engineering, University of Cincinnati, June 20, 1994.

  26. P. A. Wilsey, "Post-conference Report: 1994 Simulation MultiConference," Simulation, 1994.

  27. P. A. Wilsey and S. Mohanty, "VHDL Design Libraries for Rapid System Prototyping," Proceedings of the 1994 Western Simulation Multiconference on Simulation in Engineering Education, Society for Computer Simulation, 35-40, January, 1994.

  28. P. A. Wilsey, "Post-conference Report: 1993 Western Multiconference on Computer Simulation," Simulation, 1993.

  29. P. A. Wilsey, "Post-conference Report: 1993 Western Multiconference on Computer Simulation," Robotica, 1993.

  30. S. Aji, A. C. Palaniswamy, and P. A. Wilsey, "Interactions of Optimizations to a Time Warp Synchronized Digital System Simulator," Modeling and Simulation (FSM 93), 593-597, June 1993.

  31. A. C. Palaniswamy and P. A. Wilsey, "Adaptive Bounded Time Windows in an Optimistically Synchronized Simulator," Third Great Lakes Symposium on VLSI, 114-118, March 1993.

  32. N. B. Abu-Ghazaleh, T. Dichiaro, P. A. Wilsey, D. A. Hensgen, and M. M. Cahay, "Parallel Execution of Monte Carlo Simulations on SIMD Processors," Technical Report TR 146-2-93-ECE, Department of Electrical and Computer Engineering, University of Cincinnati, February 1993.

  33. P. A. Wilsey, R. Vemuri, and N. Mause, "Instrumenting the Digital System Simulation Environment" Proceedings of the 1993 Western Simulation Multiconference on Simulation in Engineering Education, 224-229, January 1993.

  34. D. Charley, D. A. Hensgen, T. McBrayer, P. A. Wilsey, and M. Ankola, "High Speed Communication for Simulation of Large VHDL Models," Proceedings of the Fall 1992 VHDL International Users' Forum, 212-216, October 1992.

  35. T. McBrayer, D. Charley, P. A. Wilsey, and D. A. Hensgen, "A Parallel, Optimistically Synchronized VHDL Simulator Executing on a Network of Workstations," Proceedings of the Fall 1992 VHDL International Users' Forum, 218-222, October 1992.

  36. P. A. Wilsey, "Book Review of The Art of Computer Systems Performance Analysis Techniques for Experimental Design, Measurement, Simulation, and Modeling, by R. Jain," International Journal in Computer Simulation, Volume 1, Number 4, pg 427, 1991.

  37. P. A. Wilsey and A. C. Palaniswamy, "Rollback Relaxation," Technical Report TR 135-2-92-ECE, Department of Electrical and Computer Engineering, University of Cincinnati, February 1992.

  38. P. A. Wilsey, D. A. Hensgen, C. E. Slusher, N. B. Abu-Ghazaleh, and D. Y. Hollinden, "Exploiting SIMD Computers for Mutant Program Execution," Technical Report TR 133-11-91-ECE, Department of Electrical and Computer Engineering, University of Cincinnati, November 1991.

  39. P. Chawla and P.A. Wilsey, "Synchronizing Distributed VHDL Simulation," Technical Report TR 131-4-91-ECE, Department of Electrical and Computer Engineering, University of Cincinnati, April 1991.

  40. P. A. Wilsey and S. Dasgupta, "Compiling Axiomatic Descriptions for Imperative Execution," Technical Report TR87-5-1, The Center for Advanced Computer Studies, University of Southwestern Louisiana, July 1987.

  41. P. A. Wilsey, M. T. Wright, S. Dasgupta, J. Heinanen, and J. Wang, "An S*M Execution Environment," Technical Report TR87-3-1, The Center for Advanced Computer Studies, University of Southwestern Louisiana, February 1987.