8347 search results - page 1466 / 1670 » Performance testing of software systems |
202
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
185
click to vote
DAC
2008
ACM
15 years 8 months ago
2008
ACM
The problem attacked in this paper is one of automatically mapping an application onto a Network-on-Chip (NoC) based chip multiprocessor (CMP) architecture in a locality-aware fas...
183
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Ab initio protein structure prediction methods generate numerous structural candidates, which are referred to as decoys. The decoy with the most number of neighbors of...
192
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Determining beforehand specific positions to align (anchor points) has proved valuable for the accuracy of automated multiple sequence alignment (MSA) software. This f...
180
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The decrease in cost for sequencing and improvement in technologies has made it easier and more common for the re-sequencing of large genomes as well as parallel seque...