549 search results - page 4 / 110 » Constraint Programming in Structural Bioinformatics |
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
14 years 3 months ago
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
As bioinformatics is an emerging application of high performance computing, this paper first evaluates the memory performance of several representative bioinformatics application...
SC
2009
ACM
14 years 2 months ago
2009
ACM
Executing large number of independent tasks or tasks that perform minimal inter-task communication in parallel is a common requirement in many domains. In this paper, we present o...
BMCBI
2011
13 years 4 months ago
2011
Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or ‘workflow’, is a well-defined protocol, with a specific structure defin...
CP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...