4167 search results - page 376 / 834 » Regression model checking |
117
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a framework for statistical analysis in large cohorts of structural brain connectivity, derived from diffusion weighted MRI. A brain network is defined betwe...
116
Voted
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
143
Voted
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
135
click to vote
FTCS
1993
15 years 6 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
130
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...