CC
2015
Springer
9 years 11 months ago
2015
Springer
The Static Single Assignment (SSA) form is a predominant technology in modern compilers, enabling powerful and fast program optimizations. Despite its great success in the implemen...
105
click to vote
CC
2015
Springer
9 years 11 months ago
2015
Springer
This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of...
642
click to vote
CBSE
2015
Springer
9 years 11 months ago
2015
Springer
We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be...
123
click to vote
CBSE
2015
Springer
9 years 11 months ago
2015
Springer
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two t...