CC
2015
Springer
8 years 3 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...
CC
2015
Springer
8 years 3 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...
CBSE
2015
Springer
8 years 3 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...
CBSE
2015
Springer
8 years 3 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...
CBSE
2015
Springer
8 years 3 months ago
2015
Springer
The emerging area of (smart) Cyber Physical Systems (sCPS) triggers demand for new methods of design, development, and deployment of architecturally dynamic distributed systems. C...
CBSE
2015
Springer
8 years 3 months ago
2015
Springer
During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specia...
CBSE
2015
Springer
8 years 3 months ago
2015
Springer
CBSE
2015
Springer
8 years 3 months ago
2015
Springer
The aggregation of network traffic has been shown to enhance the performance of wireless sensor networks. By reducing the number of packets that are transmitted, energy consumptio...
SBCCI
2015
ACM
8 years 3 months ago
2015
ACM
CBMS
2015
IEEE
8 years 3 months ago
2015
IEEE
—Cardiopulmonary exercise testing is a non-invasive method widely used to monitor various physiological signals, describing the cardiac and respiratory response of the patient to...