Task management in Ada—A critical evaluation for real-time multiprocessors

DOI10.1002/SPE.4380111004zbMath0471.68013OpenAlexW1971815892MaRDI QIDQ3925155

Eric S. Roberts, Arthur Jun. Evans, C. Robert Morgan, Edmund M. Clarke

Publication date: 1981

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380111004

zbMATH Keywords

softwareparallelismhigh-level programming languagesarchitectures

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Unnamed Item

This page was built for publication: Task management in Ada—A critical evaluation for real-time multiprocessors