2918 search results - page 247 / 584 » Design tools for reliability analysis |
134
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
121
click to vote
SOFTVIS
2006
ACM
15 years 11 months ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
156
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...
130
click to vote
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
151
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...