Search results: Found 2

Listing 1 - 2 of 2
Sort by
Certifying Software Component Performance Specifications

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731500803 Year: Volume: 11 Pages: XIV, 473 p. DOI: 10.5445/KSP/1000036063 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.

Phase-field modeling of multi-domain evolution in ferromagnetic shape memory alloys and of polycrystalline thin film growth

Author:
Book Series: Schriftenreihe des Instituts für Angewandte Materialien, Karlsruher Institut für Technologie ISSN: 21929963 ISBN: 9783731500094 Year: Volume: 19 Pages: XVIII, 254 p. DOI: 10.5445/KSP/1000034246 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

The phase-field method is a powerful tool in computer-aided materials science as it allows for the analysis of the time-spatial evolution of microstructures on the mesoscale. A multi-phase-field model is adopted to run numerical simulations in two different areas of scientific interest: Polycrystalline thin films growth and the ferromagnetic shape memory effect. FFT-techniques, norm conservative integration and RVE-methods are necessary to make the coupled problems numerically feasible.

Listing 1 - 2 of 2
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (2)


License

CC by-nc-nd (1)

CC by-sa (1)


Language

english (2)


Year
From To Submit

2013 (2)