4074 search results - page 214 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
199
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
144
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...
189
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We propose a method for atrophy simulation in structural MR images based on finite-element methods, providing data for objective evaluation of atrophy measurement techniq...
203
click to vote
ISCI
2008
15 years 6 months ago
2008
This paper considers nonlinear modeling based on a limited amount of experimental data and a simulator built from prior knowledge. The problem of how to best incorporate the data ...
178
click to vote
WSC
2008
15 years 8 months ago
2008
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...