4171 search results - page 88 / 835 » Distributed Data Structure Design for Scientific Computation |
133
click to vote
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
123
click to vote
BMCBI
2010
2010
Orientation-dependent backbone-only residue pair scoring functions for fixed backbone protein design
15 years 3 months ago
Background: Empirical scoring functions have proven useful in protein structure modeling. Most such scoring functions depend on protein side chain conformations. However, backbone...
114
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
127
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
119
click to vote
ICDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we describe the design and implementation of an integrated architecture for cache systems that scale to hundreds or thousands of caches with thousands to millions o...