5964 search results - page 1 / 1193 » A theory of speculative computation |
86
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
109
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
92
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
101
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...
104
Voted
PROCEDIA
2010
15 years 18 days ago
2010
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...