scientific article; zbMATH DE number 3746449

MaRDI QIDQ3930653zbMATH OpenFDO

Authors Prabhaker Mateti, Narsingh Deo

Publication date 1982

zbMATH Keywords

array processorscorrectness proofsdesign principlesgraph algorithmsMIMD machinesmultiple-instruction multiple-data stream machinesnetwork of processorsparallelization

Mathematics Subject Classification ID

Paths and cycles (05C38) Theory of operating systems (68N25) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10) Algorithms in computer science (68W99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3930653)