scientific article
From MaRDI portal
Publication:3930653
zbMath0475.68041MaRDI QIDQ3930653
Prabhaker Mateti, Narsingh Deo
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallelizationgraph algorithmscorrectness proofsdesign principlesarray processorsMIMD machinesnetwork of processorsmultiple-instruction multiple-data stream machines
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Paths and cycles (05C38) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Algorithms in computer science (68W99)
This page was built for publication: