Sciweavers

8398 search results - page 143 / 1680
» Optimal Software Testing
Sort
View
146
Voted
ACL
2011
14 years 6 months ago
Better Hypothesis Testing for Statistical Machine Translation: Controlling for Optimizer Instability
In statistical machine translation, a researcher seeks to determine whether some innovation (e.g., a new feature, model, or inference algorithm) improves translation quality in co...
Jonathan H. Clark, Chris Dyer, Alon Lavie, Noah A....
124
Voted
ISLPED
2004
ACM
139views Hardware» more  ISLPED 2004»
15 years 8 months ago
Eliminating voltage emergencies via microarchitectural voltage control feedback and dynamic optimization
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
Kim M. Hazelwood, David Brooks
125
Voted
GD
2006
Springer
15 years 6 months ago
Planarity Testing and Optimal Edge Insertion with Embedding Constraints
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the so-called planarized graph, can be combined with state-o...
Carsten Gutwenger, Karsten Klein, Petra Mutzel
124
Voted
CC
2002
Springer
131views System Software» more  CC 2002»
15 years 2 months ago
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
Global variable promotion, i.e. allocating unaliased globals to registers, can significantly reduce the number of memory operations. This results in reduced cache activity and less...
Andrea G. M. Cilio, Henk Corporaal
CPAIOR
2009
Springer
15 years 9 months ago
Using Model Counting to Find Optimal Distinguishing Tests
Stefan Heinz, Martin Sachenbacher