5964 search results - page 221 / 1193 » A theory of speculative computation |
168
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
171
click to vote
JCSS
2007
15 years 7 months ago
2007
We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.
180
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
189
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
180
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Simultaneous Multithreading (SMT) attempts to keep a dynamically scheduled processor's resources busy with work from multiple independent threads. Threads with longlatency st...