10870 search results - page 1949 / 2174 » Model Checking Programs |
172
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
181
click to vote
CP
2008
Springer
15 years 7 months ago
2008
Springer
Rectangle (square) packing problems involve packing all squares with sizes 1 × 1 to n × n into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a...
200
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...
189
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Accurate sequence alignments are essential for homology searches and for building three-dimensional structural models of proteins. Since structure is better conserved ...
168
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...