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
Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata - MaRDI portal

Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata

From MaRDI portal

Publication:3853106

Jump to:navigation, search

DOI10.1145/322154.322168zbMath0419.68021OpenAlexW2060941943MaRDI QIDQ3853106

Luigi Logrippo

Publication date: 1979

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322154.322168

zbMATH Keywords

memory allocation look-ahead multiprocessing program schemata renamings space-time tradeoff maximal parallelism, parallel computation

Mathematics Subject Classification ID

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

Related Items (1)

Encoding of parallel program schemata by vector addition systems

This page was built for publication: Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata

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