5387 search results - page 185 / 1078 » Generating generic functions |
235
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
193
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
177
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
139
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
The task of finding the optimum of some function f(x) is commonly accomplished by generating and testing sample solutions iteratively, choosing each new sample x heuristically on t...
188
click to vote
IS
2008
15 years 6 months ago
2008
XQuery is a powerful XML query language with many features and syntactic constructs. For many common queries we do not need all the expressive power of XQuery. We investigate the ...