5964 search results - page 407 / 1193 » A theory of speculative computation |
180
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
A new randomized algorithm is presented for computing the characteristic polynomial of an n × n matrix over a field. Over a sufficiently large field the asymptotic expected com...
229
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
178
click to vote
PODC
2006
ACM
16 years 1 months ago
2006
ACM
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...
200
click to vote
GCC
2003
Springer
16 years 24 days ago
2003
Springer
Guided by the cooperation theory, this paper puts forward an interactive and cooperative learning environment design that is based on the self-learning mode and cooperative learnin...
163
click to vote
CIE
2010
Springer
16 years 12 days ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...