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
Checking the performance of parallel programs with common data - MaRDI portal

Checking the performance of parallel programs with common data

From MaRDI portal

Publication:1082068

Jump to:navigation, search

zbMath0602.68019MaRDI QIDQ1082068

V. V. Parshentsev

Publication date: 1986

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

partial correctness program terminability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: Checking the performance of parallel programs with common data

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