12289 search results - page 466 / 2458 » computing 2006 |
147
click to vote
MSCS
2006
15 years 6 months ago
2006
It is shown that for any 2-computably enumerable Turing degree l, any computably enumerable degree a, and any Turing degree s, if l = 0 , l < a, s 0 , and s is c.e. in a, then...
134
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
149
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
In this research we investigate an approach for adaptive dynamic instruction set extension, tuning processors to specific applications after fabrication. Categories and Subject De...