4565 search results - page 404 / 913 » Time Optimal Self-Stabilizing Algorithms |
206
click to vote
TCAD
2008
15 years 6 months ago
2008
The relatively poor scaling of interconnect in modern digital circuits necessitates a number of design optimizations, which must typically be iterated several times to meet the spe...
197
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Most relational query optimizers make use of information about the costs of accessing tuples and data structures on various storage devices. This information can at times be off b...
177
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
201
click to vote
ISSTA
2004
ACM
16 years 7 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
160
click to vote
ICCAD
1997
IEEE
15 years 11 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...