10159 search results - page 68 / 2032 » System Design Validation Using Formal Models |
CAV
1990
Springer
14 years 2 days ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
IPMI
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT...
IJIT
2004
13 years 9 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
JSA
2006
13 years 8 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...