746 search results - page 65 / 150 » Formal Analysis of UML-Based Designs |
134
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
161
click to vote
ARITH
2001
IEEE
15 years 7 months ago
2001
IEEE
Design of the leading zero anticipator ( L a ) or detector (LZD) is pivotal to the normalization of results for addition and fused multiplication-addition in highperjormance float...
144
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
153
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
130
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...