762 search results - page 25 / 153 » Conditionally correct superoptimization |
CAV
1999
Springer
14 years 2 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
BMCBI
2011
13 years 5 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...
IEAAIE
2010
Springer
13 years 8 months ago
2010
Springer
In the proposed work a method for generating HDR images based on exposure blending is described. Using three differently exposed images a single image with recovered details in sha...
ECTEL
2010
Springer
13 years 8 months ago
2010
Springer
We investigate whether erroneous examples in the domain of fractions can help students learn from common errors of other students presented in a computer-based system. Presenting t...
VSGAMES
2010
13 years 8 months ago
2010
—Games, and serious games especially, revolve around learning new material and integrating this into a mental model. However, playing games can be cognitively demanding and novic...