10159 search results - page 412 / 2032 » System Design Validation Using Formal Models |
151
click to vote
FMOODS
2006
15 years 5 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
140
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
144
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
164
click to vote
TCAD
2008
15 years 4 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
134
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...