CAV
2010
Springer
14 years 18 days ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
CAV
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
CAV
2010
Springer
14 years 18 days ago
2010
Springer
ECMDAFA
2007
Springer
14 years 19 days ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
ECBS
2007
IEEE
14 years 19 days ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
ECBS
2007
IEEE
14 years 19 days ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
DSD
2007
IEEE
14 years 19 days ago
2007
IEEE
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
DSD
2007
IEEE
14 years 19 days ago
2007
IEEE
We compare the complexity of "internal" and "external" equivalence checking. The former is meant for proving the correctness of a synthesis transformation by w...
DSD
2007
IEEE
14 years 19 days ago
2007
IEEE
In this study, we investigate different cache fault tolerance techniques to determine which will be most effective when on-chip memory cell defect probabilities exceed those of cu...
DEPCOS
2007
IEEE
14 years 19 days ago
2007
IEEE
State automata are implemented in numerous ways and technologies