Title: Formal and Adaptive Methods for Automation of Parallel Programs Construction
Subjects: Parallel programming (computer science), Programming languages (electronic computers), Computer algorithms, Computer graphics