检索结果-内蒙古大学图书馆

Optical fiber interconnection for the scalable parallel computing system

PROCEEDINGS OF THE IEEE 2000年第6期88卷 856-863页

作者： Zhou, G Zhang, YM Liu, W Tianjin Univ Coll Precis Instrument & Optoelect Engn Optoelect Informat Sci & Technol Lab Tianjin 300072 Peoples R China

In this paper, we discuss the optical fiber interconnection technologies applied in the two types of parallel processing systems: 1) a backplane interconnection in a parallel processor array system and 2) a computing cluster network. We have set up a parallel processor array system using optical fiber to make point-to-point interconnection between processor elements and are developing a low-cost virtual parallel optical fiber interconnection link (VPOFLink) complying with peripheral component interconnect (PCI) local bus specifications for the computing cluster. VPOFLink is integrated with the popular PCI bus interface in order to make the link hold the same bandwidth as that of the PCI bus. It was fabricated as an available peripheral device that can been inserted into the bus slots of commercial computers directly and can operate under the control of PCI bus. Also in this paper, we demonstrate the optical fiber link for a ring network and the architecture of the ring network.

关键词： computer interconnection network computing cluster optical fiber link optical interconnection PCI local bus scalable parallel computing

来源：评论

学校读者我要写书评

暂无评论

Verified scalable parallel computing with Why3 21st

Verified Scalable Parallel Computing with Why3

引用

21st International Workshop on Software Engineering and Formal Methods (SEFM)

作者： Proust, Olivia Loulergue, Frederic Univ Orleans INSA CVL LIFO EA 4022 Orleans France

ISBN: (纸本)9783031471148;9783031471155

BSML is a pure functional library for the multi-paradigm language OCaml. BSML embodies the principles of the Bulk Synchronous parallel (BSP) model, a model of scalable parallel computing. We propose a formalization of BSML primitives with WhyML, the specification language of Why3 and specify and prove the correctness of most of the BSML standard library. Finally, we develop and verify the correctness of a small BSML application.

关键词： scalable parallel computing functional programming deductive verification interactive theorem proving

来源：评论

学校读者我要写书评

暂无评论

SyDPaCC: A Framework for the Development of Verified scalable parallel Functional Programs 12th

SyDPaCC: A Framework for the Development of Verified Scalabl...

引用

12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Loulergue, Frederic Ischard, Jordan Univ Orleans INSA CVL LIFO EA 4022 Orleans France

ISBN: (纸本)9783031753794;9783031753800

The SyDPaCC framework supports the development of scalable parallel functional programs with COQ and helps the developers to write correct-by-construction programs with respect to specifications written as simple (and possibly very inefficient) functional programs. parallel programs are built from specifications using verified program transformations offered by SyDPaCC. Leveraging the COQ extraction mechanism, compilable code can be obtained and executed on shared-memory or large scale distributed memory parallel machines. This paper presents the usage of SyDPaCC via an example, explains the internals of SyDPaCC and gives a tour of the program transformations provided by the framework.

关键词： scalable parallel computing functional programming interactive theorem proving program transformation COQ

来源：评论

学校读者我要写书评

暂无评论

Comparison of the capabilities of GPU clusters and general-purpose supercomputers for solving 3D inverse problems of ultrasound tomography

引用

JOURNAL OF parallel AND DISTRIBUTED computing 2019年 133卷 77-92页

作者： Goncharsky, A. V. Romanov, S. Yu. Seryozhnikov, S. Yu. Lomonosov Moscow State Univ Moscow Russia

This study focuses on developing the algorithms for solving 3D inverse problems of ultrasound tomography using GPU clusters and general-purpose supercomputers. The computing capabilities of these supercomputer architectures in application to wave tomography are compared via numerical simulations. parallel gradient-based iterative algorithms designed to solve coefficient inverse problems for the wave equation are proposed. We show that layer-by-layer wave tomography can be efficiently performed using both CPU- and CPU-based supercomputers. Solving 3D coefficient inverse problems is much more computationally expensive. A general-purpose (CPU-based) system capable of reconstructing 3D images should be equipped with either a sufficient number of memory access channels or a large number of computing cores with large cache memory and high-speed communication network. Such a system would be very large and expensive. Therefore, the most promising solution is to develop dedicated GPU-based supercomputers. From the applications perspective, this study focuses on problems of developing ultrasound tomography devices for breast cancer diagnosis. Computer simulations show that a GPU cluster capable of performing 3D image reconstruction within reasonable time fits in a single rack and can be incorporated into medical ultrasound tomography facilities. (C) 2019 Elsevier Inc. All rights reserved.

关键词： scalable parallel computing Supercomputer technologies GPU clusters Ultrasonic tomography Wave equation

来源：评论

学校读者我要写书评

暂无评论

THE GPU computing ERA

引用

IEEE MICRO 2010年第2期30卷 56-69页

作者： Nickolls, John Dally, William J. NVIDIA GPU Comp Santa Clara CA 95050 USA

GPU computing is at a tipping point, becoming more widely used in demanding consumer applications and high-performance computing. this article describes the rapid evolution of gpu architectures-from graphics processors to massively parallel many-core multiprocessors, recent developments in GPU computing architectures, and how the enthusiastic adoption of CPU+GPU coprocessing is accelerating parallel applications.

关键词： CUDA Fermi GPU architecture GPU computing GPU coprocessing NVIDIA. Tesla GPU architecture heterogeneous CPU& x002B scalable parallel computing GRAPPER PICK UP parallel PROCESSING (COMPUTERS) Graphics Processing Unit

来源：评论

学校读者我要写书评

暂无评论

A meshfree contact-detection algorithm

引用

COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING 2001年第24-25期190卷 3271-3292页

作者： Li, SF Qian, D Liu, WK Belytschko, T Northwestern Univ Inst Technol Dept Mech Engn Evanston IL 60208 USA

A new contact-detection algorithm is proposed, which is based on the moment matrix of the meshfree interpolation. This new contact-detection algorithm has several advantages over conventional contact-detection algorithms;they are ease of implementation, accuracy in detection. It is scalable in parallel computations. and applicable to a wide variety of problems. Because the moment matrix is computed in constructing meshfree approximation, the algorithm is very suitable for meshfree computations. though it can be used in finite element computations as well. Moreover. such contact-detection algorithm can be conveniently implemented to detect self-contact. Both algorithmic and mathematical aspects of the contact algorithm are discussed in the paper. To validate the proposed contact algorithm. the Taylor bar problem is computed using both meshfree method and finite element method (FEM) to simulate a viscoplastic projectile impacting with a rigid target at high speed. Numerical results obtained with the meshfree contact algorithm show that this new contact algorithm can accurately predict the contact as well as separation of projectile and target. In addition, the numerical results obtained show distinct and detailed shear band formations occurring in the impact event. (C) 2001 Elsevier Science B.V. All rights reserved.

关键词： contact-impact finite element methods meshfree methods shear band formation scalable parallel computing viscoplasticity

来源：评论

学校读者我要写书评

暂无评论

Early Prediction of the Cost of HPC Application Execution in the Cloud 16

Early Prediction of the Cost of HPC Application Execution in...

引用

16th International Symposium on Symbolic and Numeric Algorithms for Scientific computing (SYNASC)

作者： Rak, Massimiliano Turtur, Mauro Villano, Umberto Univ Naples 2 Dept Ind & Informat Engn Aversa Italy Univ Sannio Dept Engn Benevento Italy

ISBN: (纸本)9781479984480

Even if clouds are not fit for high-end HPC applications, they could be profitably used to bring the power of economic and scalable parallel computing to the masses. But this requires both simple development environments, able to exploit cloud scalability, and the capability to easily predict the cost of HPC application runs. This paper presents a framework built on the top of a cloud-aware programming platform (mOSAIC) for the development of bag-of-tasks scientific applications. The framework integrates a cloud-based simulation environment able to predict the behavior of the developed applications. Simulations enable the developer to predict at an early development stage performance and cloud resource usage, and so the infrastructure lease cost on a public cloud. The paper sketches the framework organization and discusses the approach followed for application development. Moreover, some validation tests of prediction results are presented.

关键词： cloud computing parallel processing HPC application execution cost prediction bag-of-tasks scientific applications cloud aware programming platform cloud resource usage cloud-based simulation environment mOSAIC public cloud scalable parallel computing Benchmark testing Cloud computing Computational modeling Corporate acquisitions Load modeling Prediction algorithms Predictive models Cloud computing bag of tasks mosaic performance prediction scientific applications simulation Cloud computing parallel PROCESSING (COMPUTERS) corporate acquisitions Benchmark testing mosaic pattern Prediction algorithms Load modeling performance prediction Computational modeling Prediction models Clouds Patchy burn Mosaic CLOUDS High Performance computing

来源：评论

学校读者我要写书评

暂无评论

Verified High Performance computing: The SyDPaCC Approach 16th

Verified High Performance Computing: The SyDPaCC Approach

引用

16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)

作者： Loulergue, Frederic Ed-Dbali, Ali Univ Orleans INSA CVL LIFO EA 4022 Orleans France

ISBN: (纸本)9783031497360;9783031497377

The SYDPACC framework for the COQ proof assistant is based on a transformational approach to develop verified efficient scalable parallel functional programs from specifications. These specifications are written as inefficient (potentially with a high computational complexity) sequential programs. We obtain efficient parallel programs implemented using algorithmic skeletons that are higher-order functions implemented in parallel on distributed data structures. The output programs are constructed step-by-step by applying transformation theorems. Leveraging COQ type classes, the application of transformation theorems is partly automated. The current version of the framework is presented and exemplified on the development of a parallel program for the maximum segment sum problem. This program is experimented on a parallel machine.

关键词： program transformation scalable parallel computing functional programming interactive theorem proving

来源：评论

学校读者我要写书评

暂无评论

A framework for cloud-aware development of bag-of-tasks scientific applications

A framework for cloud-aware development of bag-of-tasks scie...

引用

International Journal of Grid and Utility computing

作者： De Benedictis, Alessandra Rak, Massimiliano Turtur, Mauro Villano, Umberto Università di Napoli Federico II DIETI Napoli Italy Seconda Universita di Napoli DII Aversa Italy Università del Sannio DING Benevento Italy

The potential of cloud computing is still underutilised in the scientific computing field. Even if clouds probably are not fit for high-end HPC applications, they could be profitably used to bring the power of low-cost and scalable parallel computing to the masses. But this requires simple and friendly development environments, able to exploit cloud scalability and to provide fault tolerance. This paper presents a framework built on the top of a cloud-aware platform (mOSAIC) for the development of bag-of-tasks scientific applications. The architecture of the framework is thoroughly described, and the results of performance tests on a combinatorial optimisation application are discussed, evaluating the overhead introduced by the platform and by the cloud environment. Copyright © 2016 Inderscience Enterprises Ltd.

关键词： Fault tolerance Cloud computing Combinatorial optimization Natural sciences computing Bag of tasks Cloud environments Development environment Low costs Performance tests scalable parallel computing Scientific applications

来源：评论

学校读者我要写书评

暂无评论

THE CUBE-OF-RINGS INTERCONNECTION NETWORK

引用

International Journal of Foundations of Computer Science 1998年第1期9卷 25-37页

作者： THOMAS J. CORTINA ZHIWEI XU Department of Computer and Information Science Polytechnic University 5 MetroTech Center Brooklyn New York 11201 USA National Center for Intelligent Computing Systems Chinese Academy of Sciences P.O. Box 2704 Beijing 100080 China

We present a family of interconnection networks named the Cube-Of-Rings (COR) networks along with their basic graph-theoretic properties. Aspects of group graph theory are used to show the COR networks are symmetric and optimally fault tolerant. We present a closed-form expression of the diameter and optimal one-to-one routing algorithm for any member of the COR family. We also discuss the suitability of the COR networks as the interconnection network of scalable parallel computers.

关键词： Interconnection networks Cayley graphs scalable parallel computing fault tolerance

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：