2255 search results - page 439 / 451 » High Assurance Software Systems |
126
Voted
BMCBI
2008
15 years 27 days ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...
194
Voted
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
107
click to vote
PODS
2005
ACM
16 years 27 days ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
113
click to vote
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
94
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...