1901 search results - page 315 / 381 » Predicting Program Properties from |
132
Voted
BMCBI
2010
15 years 20 days ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
82
Voted
BMCBI
2010
15 years 20 days ago
2010
Background: Estimation of DNA duplex hybridization free energy is widely used for predicting cross-hybridizations in DNA computing and microarray experiments. A number of software...
98
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: In sequence analysis the multiple alignment builds the fundament of all proceeding analyses. Errors in an alignment could strongly influence all succeeding analyses an...
138
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
113
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...