3342 search results - page 151 / 669 » Automating Abstract Interpretation |
117
click to vote
AMTA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...
102
click to vote
FPL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Function evaluation is at the core of many compute-intensive applications which perform well on reconfigurable platforms. Yet, in order to implement function evaluation ...
SPLC
2007
15 years 12 days ago
2007
Abstract—Product-line architectures (PLAs) designed for mobile devices create a unique challenge for automated product variant selection engines since variants must be derived on...
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
ICDE
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— Performance of proxy caches for database federations that serve a large number of users is crucially dependent on its physical design. Current techniques, automated or ...