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

international workshop on Database and Expert Systems Applications

作者： G.R. Ribeiro Justo V.C. de Pania P.R.F. Cunha Centre for Parallel Computing University of Westminster London UK University of Westminster London London GB Department of Informatics UFPE Recife Brazil

As the complexity of software increases, there is a need to describe and evaluate the system structure or software architecture. The software architecture of a distributed system is particularly important when a system is allowed to evolve or be reconfigured during its execution, without major interruption. In this paper, we study the formalisation of evolving distributed software architectures and present a formal framework, based on Z, for the development of this type of software architecture. The paper also includes an example which shows how our framework can be applied to specify properties of evolving distributed software architectures.

关键词： Formal specifications Computer architecture Software architecture Libraries Radio access networks parallel processing Informatics Software systems Data structures Software algorithms

来源：评论

学校读者我要写书评

暂无评论

Rule-based parallel query optimization for OQL using a parallelism extraction technique

Rule-based parallel query optimization for OQL using a paral...

引用

international workshop on Database and Expert Systems Applications

作者： S.F. Mendes P.R. Falcone Sampaio Departmento de Computacao Campus do Pici Universidade Federal do Ceara Fortaleza Brazil Computer Science Department University of Manchester Institute of Science and Technology UK

This work deals with query optimization far parallel object-oriented databases using rule-based optimizers. The solution enacted departs from an existing non-parallel database query optimizer and extends it with a parallelism extraction module that modifies the original query optimizer to generate query plans for a parallel OODBMS architecture. The ideas are applied in the design of a parallel optimizer for OQL. The implementation approach shows that the parallelism extraction technique combined with a rule-based optimizer generator tool can help to produce a parallel optimizer from a non-parallel one with minimum effort.

关键词： Query processing Algebra Design optimization Resource management parallel architectures parallel processing Computer science Read only memory Data models parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

Exploiting the symmetry in the parallelization of the Jacobi method

引用

parallel COMPUTING 1997年第1-2期23卷 137-151页

作者： Daoudi, EM Lakhouaja, A Université Mohamed ler Faculté des Sciences Département de Mathématiques et d'Informatique Oujda Morocco

In this paper, we propose a new parallel algorithm which exploits the symmetry of the Jacobi method for computing the eigenvalues of a real and symmetric square matrix A on a distributed memory multiprocessor.

关键词： Jacobi method eigenvalues problem parallel algorithms distributed memory architectures

来源：评论

学校读者我要写书评

暂无评论

Design of high-speed parallel arithmetic algorithms and architectures 1

Design of high-speed parallel arithmetic algorithms and arch...

引用

1st international workshop on Distributed Interactive Simulation and Real Time Applications, DS-RT 1997

作者： Markova, V. Supercomputer Softvare Department Pr. Lavrentieva 6 Novosibirsk630090 Russia

ISBN: (纸本)0818677732

Presents an algorithm for computing a sum of products, realizing a fundamental compound multiply-and-add operation of high-speed arithmetic. Two new cellular pipelined algorithms and architectures (2D and 3D) are proposed. The initial data and results are binary signed-digit integers. The multipliers are loaded digit-serially, while the multiplicands are loaded in a digit-parallel fashion and the results are produced in the same way. The design is performed in terms of cellular technology, based on an original model of distributed computation (the parallel substitution algorithm). The time- and structural complexity is obtained. © 1997 IEEE.

关键词： parallel architectures

来源：评论

学校读者我要写书评

暂无评论

SCL-Chan: An asynchronous data-parallel language for irregular algorithms

SCL-Chan: An asynchronous data-parallel language for irregul...

引用

2nd international workshop on High-Level parallel Programming Models and Supportive Environments / 11th international parallel Processing Symposium

作者： Melin, E Raffin, B Rebeuf, X Virot, B LIFO - IIIA Universite d'Orleans Orleans France

ISBN: (纸本)0818678836

parallelism suffers from a lack of programming languages both simple to handle and able to take advantage of the power of present parallel computers. If parallelism expression is too high level, compilers have to perform complex optimizations leading often to poor performances. One the other hand, too low level parallelism transfers difficulties reward the programmer. In this paper, we propose a new programming language that integrates both a synchronous data-parallel progamming model and an asynchronous execution model. The synchronous data-parallel programming model allows a safe program designing. The asynchronous execution model yields an efficient execution on present MIMD architectures without any program transformation. Our language relies on a logical instruction ordering exploited by specific send/receive communications. It allows to express only the effective data dependences between processors. This ability is enforced by a possible send/receive unmatching useful for irregular algorithms. A sparse vector computation exemplifies our language potentialities.

关键词： design of parallel programming languages synchronous and data-parallel programming model asynchronous execution model structural clock irregular algorithm

来源：评论

学校读者我要写书评

暂无评论

proceedings - IEEE international Symposium on Distributed Simulation and Real-Time Applications, DS-RT

Proceedings - IEEE International Symposium on Distributed Si...

引用

1st international workshop on Distributed Interactive Simulation and Real Time Applications, DS-RT 1997

ISBN: (纸本)0818677732

The proceedings contain 7 papers. The topics discussed include: high level architecture for simulation;DEVS formalism as a framework for advanced distributed simulation;simulation of fine-grained parallel algorithms with the ALT (animating language tools) system;event synchronization in multi-user virtual reality environments;feedback control in time warp synchronized parallel simulators;COVERS 3.0 - an object-oriented environment for modeling, simulation, and analysis of real-time concurrent systems;design and simulations of cellular neural-like associative memory;and design of high-speed parallel arithmetic algorithms and architectures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparing high-level and low-level implementations of a molecular dynamics algorithm

Comparing high-level and low-level implementations of a mole...

引用

international workshop on High-Level parallel Programming Models and Supportive Environments

作者： G. Travieso Departamento de Física e Informdtica IFSC/USP Brazil

The author addresses through a specific example the question about the overhead incurred with the use of higher abstraction levels for parallel programming. He develops a simple molecular dynamics application in ALWAN... 详细信息

关键词： Heuristic algorithms Topology Programming profession parallel processing Quantum computing Dynamic programming parallel programming parallel architectures parallel algorithms Wide area networks

来源：评论

学校读者我要写书评

暂无评论

Design of high-speed parallel arithmetic algorithms and architectures

Design of high-speed parallel arithmetic algorithms and arch...

引用

international workshop on Distributed Interactive Simulation and Real Time Applications

作者： V. Markova Supercomputer Softvare Department Novosibirsk Russia

关键词： Algorithm design and analysis Arithmetic Computer architecture Hardware Pipeline processing Topology Supercomputers Computational modeling Distributed computing Signal processing

来源：评论

学校读者我要写书评

暂无评论

A high-level cellular programming model for massively parallel processing

A high-level cellular programming model for massively parall...

引用

international workshop on High-Level parallel Programming Models and Supportive Environments

作者： G. Spezzano D. Talia ISI-CNR DEIS Universitá della Calabria Rende Italy

Cellular automata are used for designing high performance applications in many areas. The paper describes CARPET, a high level programming language based on the cellular automata model. CARPET is a programming language designed to support the development of parallel high performance software. It exploits the computing power of a highly parallel computer releasing a user from using explicit parallel constructs. A CARPET implementation has been used for programming cellular algorithms in the CAMEL parallel environment. With CARPET, a user might write programs to describe the actions of thousands of simple active agents interacting locally, then the CAMEL environment allows a user to observe the global complex evolution that arises from their parallel execution and their local interactions.

关键词： parallel programming parallel processing Concurrent computing Lattices Application software Computer languages Computational modeling Computer architecture parallel architectures High level languages

来源：评论

学校读者我要写书评

暂无评论

SCL-Chan: an asynchronous data-parallel language for irregular algorithms

SCL-Chan: an asynchronous data-parallel language for irregul...

引用

international workshop on High-Level parallel Programming Models and Supportive Environments

作者： E. Melin B. Raffin X. Rebeuf B. Virot LIFO IIIA Université dE28099Orléans Orleans France

parallelism suffers from a lack of programming languages both simple to handle and able to take advantage of the power of present parallel computers. If parallelism expression is too high level, compilers have to perform complex optimizations leading often to poor performances. One the other hand, too low level parallelism transfers difficulties toward the programmer. We propose a programming language that integrates both a synchronous data parallel programming model and an asynchronous execution model. The synchronous data parallel programming model allows safe program design. The asynchronous execution model yields an efficient execution on present MIMD architectures without any program transformation. Our language relies an logical instruction ordering exploited by specific send/receive communications. It allows one to express only the effective data dependences between processors. This ability is enforced by a possible send/receive unmatching, useful for irregular algorithms. A sparse vector computation exemplifies our language potentialities.

关键词： parallel processing Concurrent computing parallel programming Programming profession Optimizing compilers Computer languages System recovery Communication system control Computer architecture Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：