6434 search results - page 86 / 1287 » Model Transformations with Reference Models |
99
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
102
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
86
Voted
ECEASST
2008
15 years 1 months ago
2008
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
87
Voted
GTTSE
2007
Springer
15 years 7 months ago
2007
Springer
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...
147
Voted
JAR
2008
15 years 1 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...