591 search results - page 38 / 119 » Simulation Input Updating Using Bayesian Techniques |
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
The developments in wavelet theory have given rise to the wavelet thresholding method, for extracting a signal from noisy data [1,2]. Multiwavelets, wavelets with several scaling ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ICCAD
1995
IEEE
14 years 2 days ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
IISWC
2008
IEEE
14 years 2 months ago
2008
IEEE
As multiprocessors become mainstream, techniques to address efficient simulation of multi-threaded workloads are needed. Multi-threaded simulation presents a new challenge: non-d...