65 search results - page 7 / 13 » Controlled sequential bifurcation for software reliability s... |
127
Voted
TR
2010
14 years 9 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
145
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...
109
Voted
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
131
Voted
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
99
Voted
DAC
2007
ACM
15 years 6 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...