Sciweavers

1043 search results - page 18 / 209
» Using Function Generalization to Design a Cosequential Proce...
Sort
View
DAC
2003
ACM
14 years 9 months ago
Coverage directed test generation for functional verification using bayesian networks
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Shai Fine, Avi Ziv
ACSD
2006
IEEE
148views Hardware» more  ACSD 2006»
14 years 2 months ago
Functional Model Exploration for Multimedia Applications via Algebraic Operators
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
Shinjiro Kakita, Yosinori Watanabe, Douglas Densmo...
TCAD
2010
150views more  TCAD 2010»
13 years 3 months ago
Voltage and Temperature Aware Statistical Leakage Analysis Framework Using Artificial Neural Networks
Artificial neural networks (ANNs) have shown great promise in modeling circuit parameters for computer aided design applications. Leakage currents, which depend on process paramete...
Janakiraman Viraraghavan, Bharadwaj Amrutur, V. Vi...
NPL
2000
138views more  NPL 2000»
13 years 8 months ago
Neural Net Based Hybrid Modeling of the Methanol Synthesis Process
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...
Primoz Potocnik, Igor Grabec, Marko Setinc, Janez ...
BMCBI
2007
194views more  BMCBI 2007»
13 years 8 months ago
Kernel-imbedded Gaussian processes for disease classification using microarray gene expression data
Background: Designing appropriate machine learning methods for identifying genes that have a significant discriminating power for disease outcomes has become more and more importa...
Xin Zhao, Leo Wang-Kit Cheung