152 search results - page 13 / 31 » Full Abstraction for Reduced ML |
SASP
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
IEEEPACT
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In order to harness the full compute power of manycore processors, future designs must focus on effective utilization of on-chip cache and bandwidth resources. In this p...
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We introduce a value-based noise reduction method for DualEnergy CT applications. It is based on joint intensity statistics estimated from high- and low-energy CT scans o...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...