5247 search results - page 526 / 1050 » Frequency Optimized Computation Methods |
143
click to vote
SIAMJO
2000
15 years 4 months ago
2000
Abstract. We propose a BFGS primal-dual interior point method for minimizing a convex function on a convex set defined by equality and inequality constraints. The algorithm generat...
132
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy co...
128
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Power minimization under variability is formulated as a rigorous statistical robust optimization program with a guarantee of power and timing yields. Both power and timing metrics...
133
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The success of evolutionary algorithms (EAs) depends crucially on finding suitable parameter settings. Doing this by hand is a very time consuming job without the guarantee to ...
154
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...