3742 search results - page 16 / 749 » On the Use of Formal Techniques for Validation |
SAJ
2000
14 years 11 months ago
2000
BMCBI
2010
14 years 11 months ago
2010
Background: It is hypothesized that common, complex diseases may be due to complex interactions between genetic and environmental factors, which are difficult to detect in high-di...
209
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
ICCD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
MICCAI
2002
Springer
16 years 17 days ago
2002
Springer
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...