1611 search results - page 188 / 323 » A Library for Self-Adjusting Computation |
168
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
227
click to vote
CNHPCA
2009
Springer
16 years 1 months ago
2009
Springer
This paper is a report on experiences in benchmarking I/O performance on leading computational facilities on the NSF TeraGrid network with a large scale scientific application. In...
190
click to vote
HIPC
2005
Springer
16 years 2 days ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
147
click to vote
HIPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Cosmic Microwave Background (CMB) is a snapshot of the Universe some 400,000 years after the Big Bang. The pattern of anisotropies in the CMB carries a wealth of info...
155
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...