4716 search results - page 386 / 944 » Iterative-free program analysis |
170
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
212
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
194
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Accurate peptide identification is important to high-throughput proteomics analyses that use mass spectrometry. Search programs compare fragmentation spectra (MS/MS) o...
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
193
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: The identification of local similarities between two protein structures can provide clues of a common function. Many different methods exist for searching for similar ...