2918 search results - page 417 / 584 » Design tools for reliability analysis |
135
Voted
MSR
2006
ACM
15 years 9 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
148
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Microarray devices permit a genome-scale evaluation of gene function. This technology has catalyzed biomedical research and development in recent years. As many import...
154
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
163
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
128
Voted
PEPM
2010
ACM
16 years 16 days ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...