1054 search results - page 111 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we present a novel method for building a 4D statistical atlas describing the cardiac anatomy and how the cardiac anatomy changes during the cardiac cycle. T...
SAFECOMP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
130
click to vote
GPC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
FMSD
2000
14 years 9 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...