In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are...
详细信息
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal...
详细信息
Since the publication, in April, 1971, of the Data Base Task Group (DBTG) report (ref . 1 ) to the CODASYL programming Language (=COBOL) Committee (PLC) several committees and task gncups of the CODASYL organisation h...
详细信息
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic;i.e., apart from a small static core, the significant functionality is dynamically loaded. In this paper, we expl...
详细信息
The development of web services and especially semantic web services is a tremendous task for people who are not familiar with all language constructs. Especially with the growing mass of several semantic web service ...
详细信息
ISBN:
(纸本)9789898111005
The development of web services and especially semantic web services is a tremendous task for people who are not familiar with all language constructs. Especially with the growing mass of several semantic web service approaches a language-independent service development is needed. This gap can be filled by using model-driven software development. Therefore, in this paper we introduce a meta-model for semantic web services and show the benefits of automatic code generation on the basis of a small example.
Association of context for an instance of a routine has been achieved through the use of control information created by the monitor or furnished to the monitor via program conventions. The organization of the control ...
Program optimization on multi-core systems must preserve the program memory consistency. This paper studies TSO-preserving binary optimization. We introduce a novel approach to formally model TSO-preserving binary opt...
详细信息
For scientists, it is advantageous to use a high level of abstraction for programming their simulations, so that they can focus on the problem at hand instead of struggling with low-level details. However, current HPC...
详细信息
ISBN:
(纸本)9781467362399
For scientists, it is advantageous to use a high level of abstraction for programming their simulations, so that they can focus on the problem at hand instead of struggling with low-level details. However, current HPC clusters with multiple GPUs per node only offer explicit communication to and from the GPUs, require manual work to keep the data consistent, and often need explicit kernel programming. Moreover, known GPU programming frameworks are limited to a single GPU or a single machine and also rarely support objects. Our system removes the above restrictions. With a slight but necessary change in Java's semantics, we achieve automatic distribution and efficient use of objects and arrays of objects on multiple GPUs in a cluster. On benchmarks that distribute arrays of objects over five machines with 10 GPUs, we achieve speedups of up to 4.9 compared to one node.
As multi-core processors with tens or hundreds of cores begin to proliferate, system optimization issues once faced only by the high-performance computing (HPC) community will become important to all programmers. Howe...
详细信息
Self-healing is a key functionality of Self-Organizing Networks (SON). There have already been promising research results on Degradation Detection and Root Cause Diagnosis. However, the complex task of Recovery Select...
详细信息
暂无评论