Runtime Infrastructure Optimisation in Cloud IaaS Structures

2013 ◽  
Author(s):  
Kleopatra Chatziprimou ◽  
Kevin Lano ◽  
Steffen Zschaler
Keyword(s):  
Runtime Infrastructure

Pattern-driven green adaptation of process-based applications and their runtime infrastructure

Computing ◽  
2012 ◽  
Vol 94 (6) ◽  
pp. 463-487 ◽  
Author(s):  
Alexander Nowak ◽  
Tobias Binz ◽  
Christoph Fehling ◽  
Oliver Kopp ◽  
Frank Leymann ◽  
...  
Keyword(s):  
Runtime Infrastructure

Applications of HLA on Platform of Complex Product’s Cooperative Design & Simulation

2009 ◽  
Vol 628-629 ◽  
pp. 269-274 ◽  
Author(s):  
Yi Nan Lai ◽  
Su Yan Liu ◽  
Yong Qiu Chen
Keyword(s):  
Design Process ◽  
Component Technology ◽  
High Level Architecture ◽  
Cooperative Design ◽  
Mechanical Field ◽  
Component Design ◽  
Docking Mechanism ◽  
Runtime Infrastructure ◽  
Function Module ◽  
High Level

Take “Research on minitype universal autonomous docking mechanism” as an example, the paper studied on the platform of complex product’s cooperative design and simulation of mechanical field. The process of mechanical component design was introduced. The paper put forward the bottleneck problem in the design process of data transmission and gave the solution. A new method that uses HLA/RTI (High Level Architecture/Runtime Infrastructure) for function module communication was given. By using component technology and integrating all the function module of current commercial software based on the design process, this platform expands easily and the simulation sub-system can plug and play.

scholarly journals A Compiler and Runtime Infrastructure for Automatic Program Distribution

2005 ◽  
Author(s):  
Roxana E. Diaconescu ◽  
Lei Wang ◽  
Zachary Mouri ◽  
Matt Chu
Keyword(s):  
Automatic Program ◽  
Runtime Infrastructure

scholarly journals ESM-Tools Version 4.0: A modular infrastructure for stand-alone and coupled Earth System Modelling (ESM)

2020 ◽  
Author(s):  
Dirk Barbi ◽  
Nadine Wieters ◽  
Paul Gierz ◽  
Fatemeh Chegini ◽  
Sara Khosravi ◽  
...  
Keyword(s):  
Land Surface ◽  
High Performance ◽  
Surface Model ◽  
System Modelling ◽  
Climate Modelling ◽  
Earth System ◽  
Coupled Models ◽  
Wide Range ◽  
Runtime Infrastructure ◽  
Earth System Modelling

Abstract. Earth system and climate modelling involves the simulation of processes on a wide range of scales and within and across various components of the Earth system. In practice, component models are often developed independently by different research groups and then combined using a dedicated coupling software. This procedure not only leads to a strongly growing number of available versions of model components and coupled setups but also to model- and system-dependent ways of obtaining and operating them. Therefore, implementing these Earth System Models (ESMs) can be challenging and extremely time-consuming, especially for less experienced modellers, or scientists aiming to use different ESMs as in the case of inter-comparison projects. To assist researchers and modellers by reducing avoidable complexity, we developed the ESM-Tools software, which provides a standard way for downloading, configuring, compiling, running and monitoring different models - coupled ESMs and stand-alone models alike - on a variety of High-Performance Computing (HPC) systems. (The ESM-Tools are equally applicable and helpful for stand-alone as for coupled models. In fact, the ESM-Tools are used as standard compile and runtime infrastructure for FESOM2, and currently also applied for ECHAM and ICON standalone simulations. As coupled ESMs are technically the more challenging tasks, we will focus on coupled setups, always implying that stand-alone models can benefit in the same way.) With the ESM-Tools, the user is only required to provide a short script consisting of only the experiment specific definitions, while the software executes all the phases of a simulation in the correct order. The software, which is well documented and easy to install and use, currently supports four ocean models, three atmosphere models, two biogeochemistry models, an ice sheet model, an isostatic adjustment model, a hydrology model and a land-surface model. ESM-Tools has been entirely re-coded in a high-level programming language (Python) and provides researchers with an even more user-friendly interface for Earth system modelling lately. The ESM-Tools were developed within the framework of the project Advanced Earth System Model Capacity, supported by the Helmholtz Association.

scholarly journals Craig Interpolation for the Integers: Results, Implementation, and Experiences

10.29007/9rxz ◽  
2018 ◽  
Author(s):  
Philipp Rümmer
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Safety Analysis ◽  
Craig Interpolation ◽  
Integer Arithmetic ◽  
Theorem Provers ◽  
Smt Solvers ◽  
Versatile Tool ◽  
Runtime Infrastructure

Craig interpolation is a versatile tool in formal verification, in particular for generating intermediate assertions in safety analysis and model checking. Over the last years, a variety of interpolation procedures for linear integer arithmetic (and extensions) have been developed. I will give an overview of the existing algorithms and design choices, and then discuss implementations of such procedures within theorem provers and SMT solvers. In particular, I will describe an implementation done using the multi-paradigm language Scala, which is built on top of the Java runtime infrastructure, and evaluate performance and engineering aspects.

Elastic-DF: Scaling Performance of DNN Inference in FPGA Clouds through Automatic Partitioning

2022 ◽  
Vol 15 (2) ◽  
pp. 1-34
Author(s):  
Tobias Alonso ◽  
Lucian Petrica ◽  
Mario Ruiz ◽  
Jakoba Petri-Koenig ◽  
Yaman Umuroglu ◽  
...  
Keyword(s):  
Neural Network ◽  
Field Programmable Gate Array ◽  
Resource Partitioning ◽  
Deep Neural Network ◽  
Peer To Peer ◽  
Performance Difference ◽  
Performance Portability ◽  
Field Programmable ◽  
Runtime Infrastructure ◽  
Roll Out

Customized compute acceleration in the datacenter is key to the wider roll-out of applications based on deep neural network (DNN) inference. In this article, we investigate how to maximize the performance and scalability of field-programmable gate array (FPGA)-based pipeline dataflow DNN inference accelerators (DFAs) automatically on computing infrastructures consisting of multi-die, network-connected FPGAs. We present Elastic-DF, a novel resource partitioning tool and associated FPGA runtime infrastructure that integrates with the DNN compiler FINN. Elastic-DF allocates FPGA resources to DNN layers and layers to individual FPGA dies to maximize the total performance of the multi-FPGA system. In the resulting Elastic-DF mapping, the accelerator may be instantiated multiple times, and each instance may be segmented across multiple FPGAs transparently, whereby the segments communicate peer-to-peer through 100 Gbps Ethernet FPGA infrastructure, without host involvement. When applied to ResNet-50, Elastic-DF provides a 44% latency decrease on Alveo U280. For MobileNetV1 on Alveo U200 and U280, Elastic-DF enables a 78% throughput increase, eliminating the performance difference between these cards and the larger Alveo U250. Elastic-DF also increases operating frequency in all our experiments, on average by over 20%. Elastic-DF therefore increases performance portability between different sizes of FPGA and increases the critical throughput per cost metric of datacenter inference.

Sign in / Sign up

Export Citation Format

Share Document