868 search results - page 39 / 174 » Debugging for Model Expansion |
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
ASPDAC
2012
ACM
12 years 5 months ago
2012
ACM
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
CORR
2008
Springer
13 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...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
In dynamic data driven applications modeling accurately the uncertainty of various inputs is a key step of the process. In this paper, we first review the basics of the Karhunen-L...
SIAMAM
2010
13 years 8 months ago
2010
We study vesicles formed by lipid bilayers that are governed by an elastic bending energy and on which the lipids laterally separate forming two different phases. The energy laden...