Sciweavers

27913 search results - page 400 / 5583
» Simulation
Sort
View
IPPS
1999
IEEE
15 years 8 months ago
Scalable Parallelization of Harmonic Balance Simulation
Abstract. A new approach to parallelizing harmonic balance simulation is presented. The technique leverages circuit substructure to expose potential parallelism in the form of a di...
David L. Rhodes, Apostolos Gerasoulis
SCCC
1999
IEEE
15 years 8 months ago
Using Computational Reflection in Optimistic Distributed Simulations
The recent studies in the distributed simulation area are focused in the High Level Architecture, defined by the DoD/USA, which proposes a standard environment to develop and run ...
Fernando Vardânega, Carlos Maziero
ACSD
1998
IEEE
90views Hardware» more  ACSD 1998»
15 years 8 months ago
Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
Miroslav N. Velev, Randal E. Bryant
DAC
1998
ACM
15 years 8 months ago
Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
Tuyen V. Nguyen, Anirudh Devgan, Ognen J. Nastov
EWSPT
1998
Springer
15 years 8 months ago
Fuzzy Dynamics in Software Project Simulation and Support
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
Juan F. Ramil, M. M. Lehman