851 search results - page 97 / 171 » History Effects and Verification |
125
click to vote
FMOODS
2006
15 years 3 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 ...
115
click to vote
WSC
2001
15 years 3 months ago
2001
Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...
114
click to vote
ROOM
2000
15 years 3 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
130
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
106
Voted
ETS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...