Sciweavers

7092 search results - page 345 / 1419
» Parallelizing constraint programs
Sort
View
IPPS
1999
IEEE
15 years 7 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
EUROPAR
1997
Springer
15 years 7 months ago
A Relational Approach to the Compilation of Sparse Matrix Programs
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...
Vladimir Kotlyar, Keshav Pingali, Paul Stodghill
HICSS
1995
IEEE
105views Biometrics» more  HICSS 1995»
15 years 6 months ago
A parallel algorithm for calculating the potential energy in DNA
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...
John S. Conery, Warner L. Peticolas, Thomas Rush I...
BMCBI
2008
73views more  BMCBI 2008»
15 years 3 months ago
Parallel and serial computing tools for testing single-locus and epistatic SNP effects of quantitative traits in genome-wide ass
Background: Genome-wide association studies (GWAS) using single nucleotide polymorphism (SNP) markers provide opportunities to detect epistatic SNPs associated with quantitative t...
Li Ma, H. Birali Runesha, Daniel Dvorkin, John R. ...
PROCEDIA
2010
66views more  PROCEDIA 2010»
15 years 1 months ago
Parallel signal processing with S-Net
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
Frank Penczek, Stephan Herhut, Clemens Grelck, Sve...