Search results: Found 70

Listing 1 - 10 of 70 << page
of 7
>>
Sort by
Configurable Software Performance Completions through Higher-Order Model Transformations

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866449909 Year: Volume: 8 Pages: XII, 447 p. DOI: 10.5445/KSP/1000033385 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable variability of transformations using chain of generators based on the Higher-Order Transformation (HOT). HOTs target different goals, such as template instantiation or transformation composition. In addition, we discuss state-dependent behavior in prediction models and quality of model transformations.

Application of the cohesive zone model to the analysis of rotors with a transverse crack

Author:
Book Series: Schriftenreihe des Instituts für Technische Mechanik, Karlsruher Institut für Technologie ISSN: 16143914 ISBN: 9783866447912 Year: Volume: 16 Pages: XVII, 183 p. DOI: 10.5445/KSP/1000025401 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

Ein Riss im Rotor ruft eine lokale Steifigkeitsänderung hervor. Die vorliegende Arbeit ermittelt die Steifigkeitsänderung einer angerissenen Welle. Dazu wird ein Kohäsivzonenmodell eingesetzt. Das Modell wurde für die erste Rissöffnungsmode bei ebenem Verzerrungszustand in Abhängigkeit der Mehrachsigkeit des Spannungszustandes (Triaxialität) entwickelt. Außerdemwird das Kohäsivzonenmodell bei einem eindimensionalen Kontinuumsrotor als FE Modell ausgeführt.

Coupled model transformations for QoS enabled component-based software design

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866442719 Year: Volume: 1 Pages: XVI, 297 S DOI: 10.5445/KSP/1000009095 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This thesis presents the Palladio Component Model and its accompanying transformations for component-based software design with predictable performance attributes. The use of transformations results in a deterministic relationship between the model and its implementation. The introduced Coupled Transformations method uses this relationship to include implementation details into predictions to get better predictions. The approach is validated in several case studies showing the increased accuracy.

Modellunterstützte Beurteilung der Verkehrsqualität auf Netzabschnitten von Bundesautobahnen

Author:
Book Series: Schriftenreihe des Instituts für Verkehrswesen, Karlsruher Institut für Technologie ISSN: 03415503 ISBN: 9783731508687 Year: Volume: 73 Pages: XVII, 173 p. DOI: 10.5445/KSP/1000087900 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: General and Civil Engineering
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

An efficient highway capacity design is becoming an increasingly important topic, thanks to recurring congestions and unreliable travel times in the German highway network. This work provides a new methodology for the analysis of oversaturated freeway facilities. A Cell Transmission Model was used as an underlying traffic flow model for modeling oversaturated freeway facilities and tailor-fitted to represent the HBS manual faithfully.

Mediale Hochschul-Perspektiven 2020 in Baden-Württemberg : empirische Untersuchung im Rahmen der Allianz ""Forward IT""

Author:
ISBN: 9783731506232 Year: Pages: 124 p. DOI: 10.5445/KSP/1000064688 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Education
Added to DOAB on : 2019-07-30 19:59:17
License:

Loading...
Export citation

Choose an application

Abstract

The study explores digitization in higher education from the organizational perspective of a university as a “model”, illustrated through specific case studies of the Karlsruhe Institute of Technology and the University of Stuttgart. It is assumed that the key factors affecting digitization in higher education are the widespread adoption and usage of digital technology in science, the digital interconnectedness of higher education systems and the media usage habits of instructors and students.

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

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

Loading...
Export citation

Choose an application

Abstract

Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).

On the Use of Model Order Reduction Techniques for the Elastohydrodynamic Contact Problem

Author:
Book Series: Schriftenreihe des Instituts für Technische Mechanik, Karlsruher Institut für Technologie ISSN: 16143914 ISBN: 9783731503699 Year: Volume: 27 Pages: XXXII, 125 p. DOI: 10.5445/KSP/1000046871 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

The objective of this work is to develop a method which solves the nonlinear elastohydrodynamic contact problem in a fast and precise way using model order reduction techniques. The reduction procedure is based on a projection onto a low-dimensional subspace using different hyper-reduction procedures. The method provides fast and highly accurate reduced order models for stationary and transient, Newtonian and Non-Newtonian EHD line and point contact problems.

Process Measurement in Business Process Management : Theoretical Framework and Analysis of Several Aspects

Author:
ISBN: 9783866447899 Year: Pages: XIV, 244 p. DOI: 10.5445/KSP/1000025397 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Process measurement deals with the quantification of business process models using process model metrics. This book presents a theoretical framework for the prediction of external process model attributes (as, for example, error-proneness and understandabiltiy) based on internal (structural) attributes. The properties of proposed metrics are analyzed. A visualization technique for metric values is introduced and metrics for process model understandability and granularity are evaluated.

Tool-supported identification of functional concerns in object-oriented code

Author:
ISBN: 9783866444942 Year: Pages: XIV, 196 p. DOI: 10.5445/KSP/1000016551 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

Concern identification aims to find the implementation of a functional concern in existing source code. In this work, concerns are described, using the Hierarchic Concern Model, as gray-boxes containing subconcerns, inputs, and outputs. The inputs and outputs are used as concern seeds to identify data-oriented abstractions of concern implementations, called concern skeletons. The identification approach is based on context free language reachability and supported by a tool, called CoDEx.

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Author:
ISBN: 9783866448858 Year: Pages: XXI, 412 p. DOI: 10.5445/KSP/1000028867 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

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Listing 1 - 10 of 70 << page
of 7
>>
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (70)


License

CC by-sa (49)

CC by-nc-nd (21)


Language

english (39)

german (31)


Year
From To Submit

2019 (4)

2018 (8)

2017 (13)

2016 (8)

2015 (7)

2014 (5)

2013 (4)

2012 (6)

2011 (4)

2010 (3)

More...
-->