5964 search results - page 1 / 1193 » A theory of speculative computation |
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
CORR
2002
Springer
13 years 4 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...
BIRTHDAY
2010
Springer
13 years 5 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...
DAC
2009
ACM
14 years 5 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...
PROCEDIA
2010
13 years 3 months 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 ...