4716 search results - page 775 / 944 » Iterative-free program analysis |
127
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
The circuit tuning problem is best approached by means of gradient-based nonlinear optimization algorithms. For large circuits, gradient computation can be the bottleneck in the o...
143
click to vote
JELIA
1990
Springer
15 years 8 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
211
Voted
ECRTS
2010
IEEE
15 years 5 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
220
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
151
click to vote
BIODATAMINING
2008
15 years 4 months ago
2008
During the past two decades, the field of human genetics has experienced an information explosion. The completion of the human genome project and the development of high throughpu...