Sciweavers

1806 search results - page 1 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
ARITH
2005
IEEE
13 years 11 months ago
Some Functions Computable with a Fused-Mac
The fused multiply accumulate instruction (fused-mac) that is available on some current processors such as the Power PC or the Itanium eases some calculations. We give examples of...
Sylvie Boldo, Jean-Michel Muller
CIE
2006
Springer
13 years 9 months ago
Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions
In this paper we first survey recent advances on phase transition phenomena which are related to natural subclasses of the recursive functions. Special emphasis is put on descent ...
Andreas Weiermann
JUCS
2002
79views more  JUCS 2002»
13 years 4 months ago
Some Notes on Fine Computability
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
Vasco Brattka
BSL
2006
109views more  BSL 2006»
13 years 5 months ago
Computing with functionals - computability theory or computer science?
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...
Dag Normann