Sciweavers

4074 search results - page 207 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 10 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
GRAPHICSINTERFACE
2003
15 years 8 months ago
Interactive Deformation Using Modal Analysis with Constraints
Modal analysis provides a powerful tool for efficiently simulating the behavior of deformable objects. This paper shows how manipulation, collision, and other constraints may be ...
Kris K. Hauser, Chen Shen, James F. O'Brien
ICIP
1994
IEEE
16 years 8 months ago
Theory, Simulation and Compensation of Physiological Motion Artifacts in Functional MRI
Mapping the location of brain activity is a new and exciting application of magnetic resonance imaging (MRI). This application area has already seen the use of a variety of magnet...
Douglas C. Noll, Walter Schneider
WSC
2008
15 years 8 months ago
Stochastic kriging for simulation metamodeling
We extend the basic theory of kriging, as applied to the design and analysis of deterministic computer experiments, to the stochastic simulation setting. Our goal is to provide fl...
Bruce E. Ankenman, Barry L. Nelson, Jeremy Staum
WSC
2008
15 years 8 months ago
An experimental study of an iterative simulation-optimization algorithm for production planning
It is well known from queueing and simulation models that cycle times in capacitated production systems increase nonlinearly with resource utilization, which poses considerable di...
Durmus Fatih Irdem, Necip Baris Kacar, Reha Uzsoy