4083 search results - page 150 / 817 » The EvA2 Optimization Framework |
131
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
152
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
159
click to vote
SIGMOD
2003
ACM
16 years 4 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...
142
click to vote
ISSTA
2004
ACM
15 years 10 months 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...
148
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
We present global routing optimization methods which are not based on rip-up and re-route framework. In particular, the routing optimization is based on trunk decomposition [13] o...