![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Correction to: Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes
-
Chapter and Conference Paper
Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes
Code instrumentation is the primary method for collecting fine-grained performance data. As instrumentation introduces an inherent runtime overhead, it is essential to measure only those regions of the code wh...
-
Chapter and Conference Paper
Automatic Partitioning of MPI Operations in MPI+OpenMP Applications
The new MPI 4.0 standard includes a new chapter about partitioned point-to-point communication operations. These partitioned operations allow multiple actors of one MPI process (e.g. multiple threads) to contr...
-
Chapter and Conference Paper
Automatic Low-Overhead Load-Imbalance Detection in MPI Applications
Load imbalances are a major reason for efficiency loss in highly parallel applications. Hence, their identification is of high relevance in performance analysis and tuning. We present a low-overhead approach t...
-
Chapter and Conference Paper
Compiler-Assisted Type-Safe Checkpointing
TyCart is a tool for type-safe checkpoint/restart and extends the memory allocation sanitizer tool TypeART with type asserts. Type asserts let the developer specify type requirements on memory regions, and, in...
-
Chapter and Conference Paper
Automatic Detection of MPI Assertions
The 2019 MPI standard draft specification includes the addition of defined communicator info hints. These hints are assertions that an application makes to an MPI implementation, so that a more optimized imple...
-
Chapter and Conference Paper
A Comparison of the Scalability of OpenMP Implementations
OpenMP implementations must exploit current and upcoming hardware for performance. Overhead must be controlled and kept to a minimum to avoid low performance at scale. Previous work has shown that overheads do...
-
Article
Open AccessVirtualising redundancy of power equipment controllers using software-defined networking
Power system automation is heavily dependent on the reliable interconnection of power system field equipment and centralised control applications. Particularly important to achieve reliability in automated pow...
-
Article
The influence of two modern compiler infrastructures on the energy consumption of the HPCG benchmark
As energy consumption plays a more and more critical role in high-performance computing installations, investigating the influence of the different system components and their share w.r.t. energy consumption i...
-
Chapter and Conference Paper
p3Enum: A New Parameterizable and Shared-Memory Parallelized Shortest Vector Problem Solver
Due to the advent of quantum computers, quantum-safe cryptographic ...
-
Article
A virtual receiver concept and its application to curved aircraft-landing procedures and advanced LEO positioning
Kinematic positioning of highly dynamic platforms by a global navigation satellite system (GNSS) often suffers from fast-changing satellite visibility and signal obstruction. This is especially true for curved...
-
Chapter and Conference Paper
Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver
We introduce algorithmic differentiation (AD) to the C++ Universal Laminar Flame (ULF) solver code. ULF is used for solving generic laminar flame configurations in the field of combustion engineering. We describe...
-
Chapter and Conference Paper
A Vectorized, Cache Efficient LLL Implementation
This paper proposes a vectorized, cache efficient implementation of a floating-point version of the Lenstra-Lenstra-Lovász (LLL) algorithm, which is a key algorithm in many fields of computer science. We propo...
-
Chapter and Conference Paper
Automatic Performance Modeling of HPC Applications
Many existing applications suffer from inherent scalability limitations that will prevent them from running at exascale. Current tuning practices, which rely on diagnostic experiments, have drawbacks because (...
-
Chapter and Conference Paper
Centralized Approach for a Unified Wireless Network Access
In this paper, a concept is presented that allows to deploy a unified wireless network access for all employees in organizations with heterogeneous network environments. It is designed to be easy to implement ...
-
Chapter and Conference Paper
How Many Threads will be too Many? On the Scalability of OpenMP Implementations
Exascale systems will exhibit much higher degrees of parallelism both in terms of the number of nodes and the number of cores per node. OpenMP is a widely used standard for exploiting parallelism on the level ...
-
Chapter and Conference Paper
Exploiting Structural Properties During Carbon Nanotube Simulation
In this paper, we present a novel matrix-free algorithm for the simulation of the mechanical behavior of carbon nanotubes (CNTs). For small deformations, this algorithm is capable of exploiting the inherent sy...
-
Chapter and Conference Paper
Nearest Planes in Practice
The learning with errors (LWE) problem is one of the most attractive problems that lattice-based cryptosystems base their security on. Thus, assessing the hardness in theory and practice is of prime importance...
-
Chapter
Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation
Operator overloading in Matlab allows for user-defined types to semantically augment existing Matlab codes without changes. However, given sufficient knowledge about types and operand semantics, operator overl...
-
Chapter and Conference Paper
Tuning GaussSieve for Speed
The area of lattice-based cryptography is growing ever-more prominent as a paradigm for quantum-resistant cryptography. One of the most important hard problem underpinning the security of lattice-based cryptos...