1017 search results - page 21 / 204 » Register computations on ordinals |
BSL
2006
13 years 7 months ago
2006
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
ICS
1998
Tsinghua U.
13 years 12 months ago
1998
Tsinghua U.
ICS
1992
Tsinghua U.
13 years 11 months ago
1992
Tsinghua U.
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Register files are in the critical path of most high-performance processors and their latency is one of the most important factors that limit their size. Our goal is to develop er...