Model Based Performance Prediction For Concurrent Software On Multicore Architectures A Simulation Based Approach

Model Based Performance Prediction For Concurrent Software On Multicore Architectures A Simulation Based Approach Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Model Based Performance Prediction For Concurrent Software On Multicore Architectures A Simulation Based Approach book. This book definitely worth reading, it is an incredibly well-written.

Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach

Author : Frank, Markus Kilian
Publisher : KIT Scientific Publishing
Page : 400 pages
File Size : 42,6 Mb
Release : 2022-07-18
Category : Computers
ISBN : 9783731511465

Get Book

Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach by Frank, Markus Kilian Pdf

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersagen für moderne Architekturen führt. In dieser Arbeit wird ein Multi-Strategie-Ansatz zur Erweiterung von Performancevorhersagemodellen zur Unterstützung von Multicore-Architekturen vorgestellt, in Palladio implementiert und dadurch die Genauigkeit der Vorhersage deutlich verbessert. - Model-based performance prediction is a well-known concept to ensure the quality of software. Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures. We implemented the strategies into Palladio and significantly increased the performance prediction power.

A Reference Structure for Modular Model-based Analyses

Author : Koch, Sandro Giovanni
Publisher : KIT Scientific Publishing
Page : 398 pages
File Size : 41,5 Mb
Release : 2024-04-25
Category : Electronic
ISBN : 9783731513414

Get Book

A Reference Structure for Modular Model-based Analyses by Koch, Sandro Giovanni Pdf

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.

Evaluating Architectural Safeguards for Uncertain AI Black-Box Components

Author : Scheerer, Max
Publisher : KIT Scientific Publishing
Page : 472 pages
File Size : 43,5 Mb
Release : 2023-10-23
Category : Electronic
ISBN : 9783731513209

Get Book

Evaluating Architectural Safeguards for Uncertain AI Black-Box Components by Scheerer, Max Pdf

Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more complex AI components, which increasingly exhibit unreliable behaviour. In this book, we present a model-driven approach to model architectural safeguards for AI components and analyse their effect on the overall system reliability.

Architecture-based Evolution of Dependable Software-intensive Systems

Author : Heinrich, Robert
Publisher : KIT Scientific Publishing
Page : 154 pages
File Size : 50,9 Mb
Release : 2023-06-05
Category : Electronic
ISBN : 9783731512943

Get Book

Architecture-based Evolution of Dependable Software-intensive Systems by Heinrich, Robert Pdf

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.

Consistent View-Based Management of Variability in Space and Time

Author : Ananieva, Sofia
Publisher : KIT Scientific Publishing
Page : 310 pages
File Size : 41,7 Mb
Release : 2022-12-06
Category : Computers
ISBN : 9783731512417

Get Book

Consistent View-Based Management of Variability in Space and Time by Ananieva, Sofia Pdf

Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements

Author : Seifermann, Stephan
Publisher : KIT Scientific Publishing
Page : 412 pages
File Size : 44,8 Mb
Release : 2022-12-09
Category : Computers
ISBN : 9783731512462

Get Book

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements by Seifermann, Stephan Pdf

Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.

Architectural Alignment of Access Control Requirements Extracted from Business Processes

Author : Pilipchuk, Roman
Publisher : KIT Scientific Publishing
Page : 366 pages
File Size : 52,5 Mb
Release : 2023-01-27
Category : Computers
ISBN : 9783731512127

Get Book

Architectural Alignment of Access Control Requirements Extracted from Business Processes by Pilipchuk, Roman Pdf

Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract access control requirements from business processes with the purpose of transforming them into a) access permissions for role-based access control and b) architectural data flow constraints to identify violations of access control in enterprise application architectures.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer
Page : 599 pages
File Size : 47,6 Mb
Release : 2018-10-28
Category : Computers
ISBN : 9783030034184

Get Book

Leveraging Applications of Formal Methods, Verification and Validation. Modeling by Tiziana Margaria,Bernhard Steffen Pdf

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Euro-Par 2022: Parallel Processing

Author : José Cano,Phil Trinder
Publisher : Springer Nature
Page : 443 pages
File Size : 53,7 Mb
Release : 2022-07-31
Category : Computers
ISBN : 9783031125973

Get Book

Euro-Par 2022: Parallel Processing by José Cano,Phil Trinder Pdf

This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022. The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from the smallest to the largest parallel and distributed systems, from fundamental computational problems and models to full-fledged applications, from architecture and interface design and implementation to tools, infrastructures and applications.

QoS-Based Optimization of Runtime Management of Sensing Cloud Applications

Author : Gotin, Manuel
Publisher : KIT Scientific Publishing
Page : 258 pages
File Size : 52,7 Mb
Release : 2022-06-30
Category : Computers
ISBN : 9783731511472

Get Book

QoS-Based Optimization of Runtime Management of Sensing Cloud Applications by Gotin, Manuel Pdf

IoT applications perceive and interact with the environment via smart devices and cloud services. When operating such applications one is faced with the challenge of configuring the smart devices and the cloud services in a manner, which achieves a high data quality at low operational costs. This work supports IoT operators with IoT collection strategies and cost optimization functions for data qualities, which are influenced by the interplay of smart device and cloud service configurations.

Euro-Par 2019: Parallel Processing Workshops

Author : Ulrich Schwardmann,Christian Boehme,Dora B. Heras,Valeria Cardellini,Emmanuel Jeannot,Antonio Salis,Claudio Schifanella,Ravi Reddy Manumachu,Dieter Schwamborn,Laura Ricci,Oh Sangyoon,Thomas Gruber,Laura Antonelli,Stephen L. Scott
Publisher : Springer Nature
Page : 765 pages
File Size : 42,9 Mb
Release : 2020-05-29
Category : Computers
ISBN : 9783030483401

Get Book

Euro-Par 2019: Parallel Processing Workshops by Ulrich Schwardmann,Christian Boehme,Dora B. Heras,Valeria Cardellini,Emmanuel Jeannot,Antonio Salis,Claudio Schifanella,Ravi Reddy Manumachu,Dieter Schwamborn,Laura Ricci,Oh Sangyoon,Thomas Gruber,Laura Antonelli,Stephen L. Scott Pdf

This book constitutes revised selected papers from the workshops held at 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, which took place in Göttingen, Germany, in August 2019. The 53 full papers and 10 poster papers presented in this volume were carefully reviewed and selected from 77 submissions. Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects. Chapter "In Situ Visualization of Performance-Related Data in Parallel CFD Applications" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Progress in Systems Engineering

Author : Henry Selvaraj,Dawid Zydek,Grzegorz Chmaj
Publisher : Springer
Page : 903 pages
File Size : 40,6 Mb
Release : 2014-08-12
Category : Technology & Engineering
ISBN : 9783319084220

Get Book

Progress in Systems Engineering by Henry Selvaraj,Dawid Zydek,Grzegorz Chmaj Pdf

This collection of proceedings from the International Conference on Systems Engineering, Las Vegas, 2014 is orientated toward systems engineering, including topics like aero-space, power systems, industrial automation and robotics, systems theory, control theory, artificial intelligence, signal processing, decision support, pattern recognition and machine learning, information and communication technologies, image processing, and computer vision as well as its applications. The volume’s main focus is on models, algorithms, and software tools that facilitate efficient and convenient utilization of modern achievements in systems engineering.

High Performance Computing for Computational Science – VECPAR 2018

Author : Hermes Senger,Osni Marques,Rogerio Garcia,Tatiana Pinheiro de Brito,Rogério Iope,Silvio Stanzani,Veronica Gil-Costa
Publisher : Springer
Page : 264 pages
File Size : 51,5 Mb
Release : 2019-03-25
Category : Computers
ISBN : 9783030159962

Get Book

High Performance Computing for Computational Science – VECPAR 2018 by Hermes Senger,Osni Marques,Rogerio Garcia,Tatiana Pinheiro de Brito,Rogério Iope,Silvio Stanzani,Veronica Gil-Costa Pdf

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018. The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the following topics: heterogeneous systems, shared memory systems and GPUs, and techniques including domain decomposition, scheduling and load balancing, with a strong focus on computational science applications.

Innovative Research and Applications in Next-Generation High Performance Computing

Author : Hassan, Qusay F.
Publisher : IGI Global
Page : 488 pages
File Size : 53,9 Mb
Release : 2016-07-05
Category : Computers
ISBN : 9781522502883

Get Book

Innovative Research and Applications in Next-Generation High Performance Computing by Hassan, Qusay F. Pdf

High-performance computing (HPC) describes the use of connected computing units to perform complex tasks. It relies on parallelization techniques and algorithms to synchronize these disparate units in order to perform faster than a single processor could, alone. Used in industries from medicine and research to military and higher education, this method of computing allows for users to complete complex data-intensive tasks. This field has undergone many changes over the past decade, and will continue to grow in popularity in the coming years. Innovative Research Applications in Next-Generation High Performance Computing aims to address the future challenges, advances, and applications of HPC and related technologies. As the need for such processors increases, so does the importance of developing new ways to optimize the performance of these supercomputers. This timely publication provides comprehensive information for researchers, students in ICT, program developers, military and government organizations, and business professionals.

OpenMP: Advanced Task-Based, Device and Compiler Programming

Author : Simon McIntosh-Smith,Michael Klemm,Bronis R. de Supinski,Tom Deakin,Jannis Klinkenberg
Publisher : Springer Nature
Page : 244 pages
File Size : 47,7 Mb
Release : 2023-08-30
Category : Computers
ISBN : 9783031407444

Get Book

OpenMP: Advanced Task-Based, Device and Compiler Programming by Simon McIntosh-Smith,Michael Klemm,Bronis R. de Supinski,Tom Deakin,Jannis Klinkenberg Pdf

This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023. The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; and OpenMP Infrastructure and Evaluation.