2266 search results - page 200 / 454 » Generalizing parametric timing analysis |
142
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
133
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an equation-based transistor size optimizer that minimizes delay of custom circuits. Our method uses static timing analysis to find the critical paths and numerical met...
131
click to vote
ICANN
1997
Springer
15 years 7 months ago
1997
Springer
The processing or the recognition of non stationary process with neural networks is a challenging and yet unsolved issue. The paper discuss the general pattern recognition framewor...
100
click to vote
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
The computation of curvature and other differential properties of surfaces is essential for many techniques in analysis and rendering. We present a finite-differences approach for...
123
click to vote
ESANN
2006
15 years 4 months ago
2006
Mutual information may be used to select the embedding lag of a time series. However, this lag selection is usually limited to the analysis of the mutual information between a pair...