Extended models coordinate multiple, independent programs to provide complex services for clients.
The PIM prototype in a workstation environment delivers supercomputer performance at a fraction of the cost. The next step is to incorporate PIM chips into Cray-3 memory. When programmers know where and why memory bottlenecks occur, they can make the appropriate program transformations to enhance performance, with the help of this tool's detailed statistics. The direction computing will take is clear, but the route it will take is a matter for some speculation. Ten Commandments of Formal Methods Jonathan P. Bowen and Michael G. Hinchey Formal methods permit more precise specifications and earlier error detection.