6274 search results - page 769 / 1255 » Proofs, Programs, Processes |
175
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Whole-genome sequence alignment is an essential process for extracting valuable information about the functions, evolution, and peculiarities of genomes under investig...
204
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
188
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...
320
click to vote
TPDS
2008
15 years 6 months ago
2008
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper, we consider the problem of scheduling applications ...
215
click to vote
DEDS
2000
15 years 6 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...