16859 search results - page 3074 / 3372 » Generative software development |
213
click to vote
INFSOF
2010
15 years 4 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
185
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
178
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: During meiosis, homologous chromosomes exchange segments via the formation of crossovers. This phenomenon is highly regulated; in particular, crossovers are distribute...
219
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Cross-platform analysis of gene express data requires multiple, intricate processes at different layers with various platforms. However, existing tools handle only a s...
207
Voted
SIAMCOMP
2011
15 years 1 months ago
2011
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...