Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
PEI: A language and its refinement calculus for parallel programming - MaRDI portal

PEI: A language and its refinement calculus for parallel programming

From MaRDI portal

Publication:1201948

Jump to:navigation, search

DOI10.1016/0167-8191(92)90063-DzbMath0795.68032OpenAlexW2078615239MaRDI QIDQ1201948

E. Violard, Guy-René Perrin

Publication date: 17 January 1993

Published in: Parallel Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-8191(92)90063-d

zbMATH Keywords

refinement recurrence equations systolic algorithms functional language parallel architectures program equivalence asynchronous computations parallel equations interpretor program parallelization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Distributed algorithms (68W15)

Related Items (2)

LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY ⋮ SPARSE COMPUTATION WITH PEI

This page was built for publication: PEI: A language and its refinement calculus for parallel programming

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1201948&oldid=13262889"