Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)
Aizu-Wakamatsu, Fukushima, Japan
Mar. 15, 1995 to Mar. 17, 1995
P.R. Croll , Dept. of Comput. Sci., Sheffield Univ., UK
I. Jelly , Dept. of Comput. Sci., Sheffield Univ., UK
I. Gorton , Dept. of Comput. Sci., Sheffield Univ., UK
This paper considers the current state of software engineering for parallel systems. A review of existing approaches and techniques identifies inadequacies. Recent work on design, verification and automated support is outlined. The next generation of embedded and distributed technologies will compound the problems through increased demand and diversity. This paper discusses the implications for the progression of current techniques into new methods for future software engineering of parallel systems.
software engineering; parallel programming; parallel machines; software tools; program verification; real-time systems; software engineering techniques; software tools; high performance parallel systems; design; verification; automated support; distributed systems; embedded systems; parallel system; supercomputers; parallel machines
P. Croll, I. Gorton and I. Jelly, "Software engineering techniques and tools for high performance parallel systems," Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on(PAS), Aizu-Wakamatsu, Fukushima, Japan, 1995, pp. 85.