6960 search results - page 1331 / 1392 » Continuity Analysis of Programs |
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
108
click to vote
SPIESR
2003
14 years 11 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
ISMB
1994
14 years 11 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
BMCBI
2010
14 years 10 months ago
2010
Background: Selective pressure in molecular evolution leads to uneven distributions of amino acids and nucleotides. In fact one observes correlations among such constituents due t...
BMCBI
2010
14 years 10 months ago
2010
Background: An important problem in genomics is the automatic inference of groups of homologous proteins from pairwise sequence similarities. Several approaches have been proposed...