565 search results - page 80 / 113 » A Guided Monte Carlo Approach to Optimization Problems |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...
SBRN
2000
IEEE
15 years 2 months ago
2000
IEEE
One of the main obstacles to the widespread use of artijcial neural networks is the difJiculty of adequately define valuesfor their free parameters. This article discusses how Rad...
ICCD
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a novel on-chip voltage drop reduction technique for on-chip power delivery networks of VLSI systems in the presence of variational leakage current sourc...
170
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...