3667 search results - page 367 / 734 » Software Rejuvenation - Modeling and Analysis |
176
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In current comparative proteomics studies, the large number of images generated by 2D gels is currently compared using spot matching algorithms. Unfortunately, differe...
190
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Protein-protein, protein-DNA and protein-RNA interactions are of central importance in biological systems. Quadrapole Time-of-flight (Q-TOF) mass spectrometry is a sen...
162
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
169
click to vote
IVIC
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes our work in examining the question of whether providing a visual informatics application in an educational scenario, in particular, providing video content ana...
162
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...