5964 search results - page 66 / 1193 » A theory of speculative computation |
152
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
114
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Several message passing-based parallel solvers have been developed for general (non-symmetric) sparse LU factorization with partial pivoting. Due to the fine-grain synchronizatio...
184
click to vote
SIGECOM
2011
ACM
14 years 7 months ago
2011
ACM
Recent results in complexity theory suggest that various economic theories require agents to solve computationally intractable problems. However, such results assume the agents ar...
138
click to vote
PC
2000
15 years 4 months ago
2000
A short overview is presented of the density functional theory and molecular dynamics (DFT