The Affinity Platform is an innovative Software as a Service orchestration system designed for building Service-Oriented software solutions. It challenges the modularity of regular software frameworks and microservice...
详细信息
ISBN:
(纸本)9781450380768
The Affinity Platform is an innovative Software as a Service orchestration system designed for building Service-Oriented software solutions. It challenges the modularity of regular software frameworks and microservice architectures by abstracting the connectivity layer between two services. The main benefit of utilizing this approach is that components designed to communicate through a specific interface can be easily routed to handle this communication over a different medium. A service could extract health data from a smartwatch, use Bluetooth connectivity to send it to a smartphone for pre-processing, and the result can then be transmitted over HTTP to a server for centralization (Figure 1). All this would be possible without requiring services to agree on a specific communication protocol or data format. The capabilities of the platform were enhanced to assist the development of a multi-modal solution for monitoring patients in a constantly changing environment.
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applications designed with UWE. It builds upo...
详细信息
ISBN:
(纸本)9783642028175
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applications designed with UWE. It builds upon a set of models and domain specific annotations in particular an abstract and a concrete presentation model. It is completely integrated in Eclipse, implemented as a set of plugins supporting model transformations and fully automatic code generation.
General purpose compilers aim to extract the best average performance for all possible user applications. Due to the lack of specializations for different types of computations, compiler attained performance often lag...
详细信息
ISBN:
(纸本)9781479969982
General purpose compilers aim to extract the best average performance for all possible user applications. Due to the lack of specializations for different types of computations, compiler attained performance often lags behind those of the manually optimized libraries. In this paper, we demonstrate a new approach, programmable composition, to enable the specialization of compiler optimizations without compromising their generality. Our approach uses a single pass of source-level analysis to recognize a common pattern among dense matrix computations. It then tags the recognized patterns to trigger a sequence of general-purpose compiler optimizations specially composed for them. We show that by allowing different optimizations to adequately communicate with each other through a set of coordination handles and dynamic tags inserted inside the optimized code, we can specialize the composition of general-purpose compiler optimizations to attain a level of performance comparable to those of manually written assembly code by experts, thereby allowing selected computations in applications to benefit from similar levels of optimizations as those manually applied by experts.
This study considers our thinking is comprised of the set of something. Something in this study is cited as existences resident in our mind. This study considers the existences can be defined by certain rules. What ar...
详细信息
ISBN:
(纸本)9781586035563
This study considers our thinking is comprised of the set of something. Something in this study is cited as existences resident in our mind. This study considers the existences can be defined by certain rules. What are they? In this study, they are what cannot be negated, nor affirmed. The rules are introduced to the limits of our thinking, by using Whole, Part, Static, Dynamic, Synchronous, Asynchronous, Memory, Assimilation, Awareness and Mind, as axiom. In this study, these concepts are defined but their rationality cannot be verified by humans. This study proposes a hypothesis of the world comprised Of Such rules. By the rules of this world, how Software is introduced by human intelligence is observed theoretically. "Lyee" is meant to be this theoretical axiomatic observation. With this theoretical observation, we expect a new awareness of software is established. With this effect, for example, we can obtain universal algorithm independent of programming languages and programs. With this algorithm, we can realize automatic programming language conversion and program's diagnosis. In this paper, a theoretical observation of Lyee is proposed. Other rules and examples of concrete cases not discussed herein can be referred to other papers.
Multilinear algebra kernel performance on modern massively-parallel systems is determined mainly by data movement. However, deriving data movement-optimal distributed schedules for programs with many high-dimensional ...
详细信息
ISBN:
(纸本)9781665454445
Multilinear algebra kernel performance on modern massively-parallel systems is determined mainly by data movement. However, deriving data movement-optimal distributed schedules for programs with many high-dimensional inputs is a notoriously hard problem. State-of-the-art libraries rely on heuristics and often fall back to suboptimal tensor folding and BLAS calls. We present Deinsum, an automated framework for distributed multilinear algebra computations expressed in Einstein notation, based on rigorous mathematical tools to address this problem. Our framework automatically derives data movement-optimal tiling and generates corresponding distributed schedules, further optimizing the performance of local computations by increasing their arithmetic intensity. To show the benefits of our approach, we test it on two important tensor kernel classes: Matricized Tensor Times Khatri-Rao Products and Tensor Times Matrix chains. We show performance results and scaling on the Piz Daint supercomputer, with up to 19x speedup over state-of-the-art solutions on 512 nodes.
Numerical control originated with the employment of digital computer programs for the computation of machining points, and feedback control systems for automatically responding to the numerical commands. The subsequen...
详细信息
All mainstream languages ship with libraries implementing lists, maps, sets, trees, and other common data structures. These libraries are sufficient for some use cases, but other applications need specialized data str...
详细信息
ISBN:
(纸本)9781450342186
All mainstream languages ship with libraries implementing lists, maps, sets, trees, and other common data structures. These libraries are sufficient for some use cases, but other applications need specialized data structures with different operations. For such applications, the standard libraries are not enough. I propose to develop techniques to automatically synthesize data structure implementations from high-level specifications. My initial results on a large class of collection data structures demonstrate that this is possible and lend hope to the prospect of general data structure synthesis. Synthesized implementations can save programmer time and improve correctness while matching the performance of handwritten code.
In recent Years a lot of automatic programming techniques have developed. A typical example of automatic programming is Genetic programming (GP), and various extensions and representations for GP have been proposed so...
详细信息
ISBN:
(纸本)9781595936974
In recent Years a lot of automatic programming techniques have developed. A typical example of automatic programming is Genetic programming (GP), and various extensions and representations for GP have been proposed so far. However, it seems that more improvements are necessary to obtain complex programs automatically. lit this paper we proposed a new method called Graph Structured Program Evolution (GRAPE). The representation of GRAPE is graph structure, therefore it can represent complex programs (e.g. branches and loops) using its graph structure. Each program is constructed as an arbitrary directed graph of nodes and data set. The GRAPE program handles multiple data types rising the data set for each type, and the genotype of GRAPE is the form of a linear string of integers. We apply GRAPE to four test problems, factorial, Fibonacci sequence, exponentiation and reversing a list, and demonstrate that the optimum solution in each problem is obtained by the GRAPE system.
We describe and illustrate an approach to the automatic configuration of component-based multimedia applications. The approach is based on the deployment of a run-time application model that mirrors the active applica...
详细信息
We describe and illustrate an approach to the automatic configuration of component-based multimedia applications. The approach is based on the deployment of a run-time application model that mirrors the active application components, enabling changes to the configuration to be applied and evaluated in the model before they are deployed. The model employs a composite component structure, enabling complexity to be concealed except when detail is required. Constraints and QoS specifications are embedded in the model.
暂无评论