5964 search results - page 247 / 1193 » A theory of speculative computation |
128
click to vote
ICCS
2003
Springer
16 years 13 days ago
2003
Springer
We illustrate the flow behaviour of fluids with isotropic and anisotropic microstructure (internal length, layering with bending stiffness) by means of numerical simulations of ...
190
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
200
click to vote
JUCS
2010
15 years 2 months ago
2010
Abstract: We investigate the Weihrauch-degree of several solution concepts from noncooperative game theory. While the consideration of Nash equilibria forms the core of our work, a...
193
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
161
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...