- Modeling and Simulation of Active Networks Dhananjai M. Rao and Philip A. Wilsey
- A Study of the Cost of Extending SAVANT to the SUAVE Language
- A Model for the Dynamic Semantics of VHDL for CAD Tool
- Relaxing Causal Constraints in PDES \Lambda Narayanan V. Thondugulam, Dhananjai Madhava Rao,
- Improving the Communication Subsystem Performance of WARPED
- IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 8, NO. 4, APRIL 1997 1 J:\PRODUCTION\TPDS\2INPROD\D95262\D95262_1.DOC regularpaper97.dot JT 27,136 01/21/97 12:04
- Parallel Synchronization of Continuous Time Discrete Event Simulators \Lambda Peter Frey, Harold W. Carter and Philip A. Wilsey
- APPLYING MULTILEVEL PARTITIONING TO PARALLEL LOGIC SIMULATION
- Event List Management In Distributed Simulation Jorgen Dahl
- Accepted for publication in Proceedings of Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '98). 1998 IEEE. Personal use of this material is permitted. However, permission to reprint/r
- IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. XX, NO. Y, MONTH 1999 1 VHDL Semantics and Validating Transformations
- System Modeling, Performance Analysis, and Evolutionary Prototyping with Hardware Description Languages
- The Concurrent Execution of Non-communicating Programs on SIMD Processors
- SCHEDULING TIME WARP PROCESSES USING ADAPTIVE CONTROL TECHNIQUES Avinash C. Palaniswamy
- Comparative Analysis of Periodic State Saving Techniques in Time Warp Simulators \Lambda
- FWNS: A FRAMEWORK FOR WEBBASED NETWORK SIMULATION \Lambda
- Rollback Relaxation: A Technique for Reducing Rollback Costs in
- Performance Benefits of Optimism in Fossil Collection \Lambda Christopher H. Young, Nael B. AbuGhazaleh,
- Proceedings of the 2002 Winter Simulation Conference Dhananjai M. Rao and Philip A. Wilsey
- UNSYNCHRONIZED PARALLEL DISCRETE EVENT SIMULATION Dhananjai Madhava Rao, Narayanan V. Thondugulam,
- An Active Networks Simulation Environment Dhananjai M. Rao and Philip A. Wilsey
- Online Configuration of a Time Warp Parallel Discrete Event Simulator \Lambda Radharamanan Radhakrishnan, Nael AbuGhazaleh,
- An ObjectOriented Time Warp Simulation Kernel ?
- graze: A TOOL FOR PERFORMANCE VISUALIZATION AND ANALYSIS \Lambda
- [50] A. Vladimirescu, K. Zhang, A.R. Newton, D.O. Pederson, and A. Sangiovanni Vencen telli. SPICE User's Manual. University of California, Berkeley, CA, 1981.
- Modifications to the pGVT Algorithm to Eliminate Acknowledgement Messages and Improve the GVT Broadcast Frequency 1
- SAVANT/TyVIS/WARPED: Components for the Analysis and Simulation of VHDL \Lambda
- Optimizing Costs of Webbased Modeling and Simulation Dhananjai M. Rao,
- Study of a Multilevel Approach to Partitioning for Parallel Logic Simulation Swaminathan Subramanian, Dhananjai M. Rao, and Philip A. Wilsey
- Analysis and Simulation of Mixed-Technology VLSI Systems
- Simulation of FLOAT18 GVT Algorithm mgvt EGV T \Gamma GV T (fsec) M (kbytes) Ncycles Tsim (sec)
- A Formal Model of Digital Systems Compatible with VHDL \Lambda Philip A. Wilsey, Sheetanshu L. Pandey and Kothanda Umamageswaran
- A Formal Framework for Specifying and Verifying Time Warp Optimizations
- 21. Owre, S., Rushby, J., Shankar, N., and von Henke, F. Formal verification for faulttolerant architectures: Prolegomena to the design of pvs. IEEE Transactions
- Optimizing Message Delivery in Asynchronous Distributed Applications ?
- Exploiting SIMD Computers for General Purpose Computation
- Accepted for publication in IEEE Design and Test of Computers. 1998 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for
- The Design of a Time Warp Synchronized VHDL Simulation Kernel
- Optimism: Not Just For Event Execution Anymore \Lambda Christopher H. Young, Radharamanan Radhakrishnan, and Philip A. Wilsey
- Coordinating Joint Cost/NoCost Rights for Software Developed with SBIR Funding \Lambda
- WEB-BASED ANALYSIS AND DISTRIBUTED IP Philip A. Wilsey
- Large Scale Active Networks Simulation ? Karthik Swaminathan, Radharamanan Radhakrishnan,
- Accepted for publication in IEEE Design and Test of Computers. 1998 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for
- BENCHMARK: S111 NUMBER OF PROCESSORS: 3
- Dynamic Cancellation: A Heuristic for Selecting Cancellation
- Causality Representation and Cancellation Mechanism in Time Warp Simulations
- A Performance and Scalability Analysis Framework for Parallel Discrete Event Simulators
- ObjectOriented Intermediate
- Time Warp Simulation on Clumps \Lambda Girindra D. Sharma, Radharamanan Radhakrishnan,
- An Active Layer Extension to MPI ? Malolan Chetlur, Girindra D. Sharma, Nael Abu-Ghazaleh,
- ANSE : An Active Networks Simulation Environment
- Process Combination to Increase Event Granularity in Parallel Logic Simulation \Lambda
- WESE: A WEBBASED ENVIRONMENT FOR SYSTEMS ENGINEERING Dhananjai Madhava Rao, Victoria Chernyakhovsky, and Philip A. Wilsey
- Optimizing Communication in TimeWarp Simulators \Lambda Malolan Chetlur, Nael AbuGhazaleh,
- Feedback Control in Time Warp Synchronized Parallel Simulators \Lambda Philip A. Wilsey
- Unsynchronized Parallel Discrete Event Simulation
- Submitted for publication in IEEE Design and Test of Computers. This work has been submitted to the IEEE for possible publication. Copyright may
- warped: A Time Warp Simulation Kernel for Analysis and Application Development \Lambda
- A FRAMEWORK FOR PERFORMANCE ANALYSIS OF PARALLEL DISCRETE EVENT SIMULATORS
- An Analytical Comparison of Periodic Checkpointing and Incremental State Saving \Lambda
- Addressing Communication Latency Issues on Clusters for Fine Grained Asynchronous
- includes modification of a RISC C compiler for execution of this paradigm on the MasPar. Since
- DYNAMIC COMPONENT SUBSTITUTION IN WEB-BASED SIMULATION Dhananjai Madhava Rao and Philip A. Wilsey
- System Modeling, HardwareSoftware Codesign, and Mixed Modeling with Hardware Description Languages \Lambda
- WARPED Redesigned: An API and Implementation for Discrete Event Simulation Analysis and Application Development
- A Framework for Performance Evaluation of Parallel Discrete Event
- An Object-Oriented Framework for Parallel Simulation of Ultra-large Communication
- An Ultra-large Scale Simulation Framework 1 Dhananjai M. Rao and Philip A. Wilsey
- Optimistic Fossil Collection for Time Warp Simulation \Lambda Christopher H. Young and Philip A. Wilsey
- Shared Control Multiprocessors A Paradigm for Supporting
- A Shared Control Parallel Architecture Model \Lambda Nael B. AbuGhazaleh, and Philip A. Wilsey
- A Comparative Analysis of Various Time Warp Algorithms Implemented in the WARPED Simulation Kernel \Lambda
- Parallel Co-simulation of Conventional and Active Networks Dhananjai Madhava Rao and Philip A. Wilsey
- The Impact of Abstract Data Types on the Digital System Description and Simulation Environments
- Copyright 1998 IEEE. Published in the Proceedings of the Hawai'i International Conference On System Sciences, January 6-9, 1998, Kona, Hawaii. Personal use of this material is permitted. However, permission to reprint/republish this material for advertisi
- Gravity: An ObjectOriented Framework for Hardware/Software Tool Integration \Lambda
- OFC: A Distributed FossilCollection Algorithm for TimeWarp ?
- A Framework for Visualizing Performance Data in a Graphical Design Environment \Lambda
- Portable, Internal, Intermediate Representation (IIR) 1 Intermediate
- Threaded Dynamic Memory Management in Many-Core A dissertation submitted to the
- A Model of VHDL for the Analysis, Transformation, and Optimization of Digital System Designs \Lambda
- An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol
- have also found additional synthesized operations that are useful. These addi tional operations are not shown because either they are simply variants of those
- NOTE: This is a preliminary release of an article accepted by the ACM Transac tions on Modeling and Computer Simulation. The definitive version is currently in
- Event List Management In Distributed Simulation ? orgen Dahl 1 , Malolan Chetlur 2?? , and Philip A. Wilsey 1
- A Semantic Model of VHDL for Validating Rewriting Algebras \Lambda Sheetanshu L. Pandey, Kothanda R. Subramanian and Philip A. Wilsey
- A Framework for Proving Equivalences of VHDL Descriptions using PVS
- Rapid System Prototyping, System Modeling, and Analysis in a HardwareSoftware Codesign Environment \Lambda
- Ruminations on the Implications of MultiResolution Modeling on DIS/HLA Radharamanan Radhakrishnan and Philip A. Wilsey
- Variable Instruction Issue for Efficient MIMD Interpretation on SIMD Machines
- Reducing Communication Overhead in Asynchronous Distributed Applications
- Philip A. Wilsey Dept of ECE Voice: (513) 556-4779
- Threaded Dynamic Memory Management in Many-Core Processors
- Accepted for publication in Proceedings of Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '98). 1998 IEEE. Personal use of this material is permitted. However, permission to reprint/r
- Optimistic Parallel Discrete Event Simulation on a Beowulf Cluster of Multi-core Machines
- Dynamically Switching between Lazy and Aggressive Cancellation in a Time Warp Parallel Simulator \Lambda
- Optimistic Synchronization of MixedMode Simulators \Lambda Peter Frey, Radharamanan Radhakrishnan,
- External Adjustment of Runtime Parameters in Time Warp Synchronized Parallel Simulators \Lambda
- Simulation of Ultralarge Communication Networks Dhananjai Madhava Rao and Philip A. Wilsey
- Parallel MixedTechnology Simulation Cadence Design Systems,
- [80] R. M. Fujimoto, J. Tsai, and G. C. Gopalakrishnan, ``Design and evaluation of the rollback chip: Special purpose hardware for time warp,'' IEEE Trans. on
- Time Warp Simulator Designs for Clusters of SMPs
- Research Statement Philip A. Wilsey
- Secure Block Storage A dissertation submitted to the
