مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3485804

Title :

Writing correct parallel programs

Author :

Chandy, K. Mani

Author_Institution :

California Inst. of Technol., Pasadena, CA, USA

fYear :

1993

fDate :

13-16 Apr 1993

Firstpage :

630

Lastpage :

634

Abstract :

This paper explores the questions: Is writing correct parallel programs harder than writing correct sequential programs? If so, why? What can be done to help in developing reliable parallel programs?

Keywords :

parallel programming; program verification; software reliability; correct parallel programs; correct sequential programs; implicit parallelism; reliable parallel programs; Books; Calculus; Formal specifications; Logic programming; Mathematics; Parallel machines; Programming profession; Signal processing algorithms; Testing; Writing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Parallel Processing Symposium, 1993., Proceedings of Seventh International

Conference_Location :

Newport, CA

Print_ISBN :

0-8186-3442-1

Type :

conf

DOI :

10.1109/IPPS.1993.262807

Filename :

262807

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3485804