首页   按字顺浏览 期刊浏览 卷期浏览 LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY
LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY

 

作者: PARVAZK. BERZIGYAROV,   YURIP. BOGLAEV,  

 

期刊: Parallel Algorithms and Applications  （Taylor Available online 1994）
卷期: Volume 4, issue 1-2  

页码: 21-40

 

ISSN:1063-7192

 

年代: 1994

 

DOI:10.1080/10637199408915452

 

出版商: Taylor & Francis Group

 

关键词: algorithm synthesis;Formal specification;Gaussian elimination;logic derivation;numerical algorithms;parallel computations;D.2.1;E3.1;1.2.3;G.1.3

 

数据来源: Taylor

 

摘要:

In this paper we describe a systematic technique for designing parallel algorithms to solve linear systems. Our approach is based on the logic derivation of a target algorithm from specification of basic relations in the linear equations domain and their properties. Both input specification and the resulting algorithm are expressed in the declarative computer-independent form. The methodology is illustrated by deriving the parallel Gaussian triangular solver.

 

点击下载:  PDF (312KB)



返 回