5775 search results - page 44 / 1155 » A Rationale-based Analysis Tool |
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
107
click to vote
QEST
2006
IEEE
15 years 5 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
DAC
2006
ACM
16 years 24 days ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...
102
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The increasing availability and diversity of omics data in the post-genomic era offers new perspectives in most areas of biomedical research. Graph-based biological ne...
BMCBI
2007
14 years 12 months ago
2007
Background: Genotype information generated by individual and international efforts carries the promise of revolutionizing disease studies and the association of phenotypes with al...