Sciweavers

10054 search results - page 378 / 2011
» On the Complexity of Function Learning
Sort
View
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
15 years 10 months ago
Functional Coverage Driven Test Generation for Validation of Pipelined Processors
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
Prabhat Mishra, Nikil D. Dutt
SECRYPT
2007
121views Business» more  SECRYPT 2007»
15 years 5 months ago
Using Steganography to Improve Hash Functions' Collision Resistance
Lately, hash function security has received increased attention. Especially after the recent attacks that were presented for SHA-1 and MD5, the need for a new and more robust hash...
Emmanouel Kellinis, Konstantinos Papapanagiotou
CSDA
2007
87views more  CSDA 2007»
15 years 4 months ago
Estimation and inference in functional mixed-effects models
Functional mixed-effects models are very useful in analyzing functional data. A general functional mixed-effects model that inherits the flexibility of linear mixed-effects model...
Anestis Antoniadis, Theofanis Sapatinas
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
16 years 1 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
ISSAC
2007
Springer
153views Mathematics» more  ISSAC 2007»
15 years 10 months ago
On exact and approximate interpolation of sparse rational functions
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
Erich Kaltofen, Zhengfeng Yang