Sciweavers

10848 search results - page 21 / 2170
» Programming in Biomolecular Computation
Sort
View
FGCS
2006
135views more  FGCS 2006»
13 years 8 months ago
Scaling applications to massively parallel machines using Projections performance analysis tool
Some of the most challenging applications to parallelize scalably are the ones that present a relatively small amount of computation per iteration. Multiple interacting performanc...
Laxmikant V. Kalé, Gengbin Zheng, Chee Wai ...
JCC
2010
74views more  JCC 2010»
13 years 6 months ago
A first-order system least-squares finite element method for the Poisson-Boltzmann equation
The Poisson-Boltzmann equation is an important tool in modeling solvent in biomolecular systems. In this paper, we focus on numerical approximations to the electrostatic potential...
Stephen D. Bond, Jehanzeb Hameed Chaudhry, Eric C....
FUIN
2007
109views more  FUIN 2007»
13 years 8 months ago
Computing Properties of Numerical Imperative Programs by Symbolic Computation
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
Jacques Carette, Ryszard Janicki
CLUSTER
2003
IEEE
14 years 1 months ago
Parallel Design Pattern for Computational Biology and Scientific Computing Applications
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...
Weiguo Liu, Bertil Schmidt
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 9 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane