7262 search results - page 295 / 1453 » Reversible Computer Hardware |
130
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
134
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
102
click to vote
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a hardware mechanism which dynamically detects uniform and affine vectors used in Graphics Processing Units, to minimize pressure on the register file and redu...
105
Voted
ARITH
2009
IEEE
15 years 10 months ago
2009
IEEE
In this work we propose new decimal floating-point CORDIC algorithms for transcendental function evaluation. We show how these algorithms are mapped to a state of the art Decimal...
117
click to vote
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...