Sciweavers

3 search results - page 1 / 1
» Post's Programme for the Ershov Hierarchy
Sort
View
LOGCOM
2007
72views more  LOGCOM 2007»
13 years 3 months ago
Post's Programme for the Ershov Hierarchy
This paper extends Post’s programme to finite levels of the Ershov hierarchy of ∆2 sets. Our initial characterisation, in the spirit of Post [27], of the degrees of the immune...
Bahareh Afshari, George Barmpalias, S. Barry Coope...
ACMMSP
2006
ACM
260views Hardware» more  ACMMSP 2006»
13 years 9 months ago
Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
Michael D. Adams, David S. Wise
VALUETOOLS
2006
ACM
167views Hardware» more  VALUETOOLS 2006»
13 years 9 months ago
Detailed cache simulation for detecting bottleneck, miss reason and optimization potentialities
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
Jie Tao, Wolfgang Karl