enter search term and/or author name
Flexible reference trace reduction for VM simulations
Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson
The unmanageably large size of reference traces has spurred the development of sophisticated trace reduction techniques. In this article we present two new algorithms for trace reduction: Safely Allowed Drop (SAD) and Optimal LRU...
Declaration of unknowns in DAE-based hybrid system specification
D. A. van Beek, V. Bos, J. E. Rooda
The majority of hybrid languages are based on the assumption that discontinuities in differential variables at discrete events are modeled by explicit mappings. When there are algebraic equations restricting the allowed new values of the differential...
Efficient simulation of queues in heavy traffic
Chia-Li Wang, Ronald W. Wolff
When simulating queues in heavy traffic, estimators of quantities such as average delay in queue d converge slowly to their true values. This problem is exacerbated when interarrival and service distributions are irregular. For the...
Modeling methodology for integrated simulation of embedded systems
Akos Ledeczi, James Davis, Sandeep Neema, Aditya Agrawal
Developing a single embedded application involves a multitude of different development tools including several different simulators. Most tools use different abstractions, have their own formalisms to represent the system under development, utilize...