The dramatic increase in computer performance has been extraordinary, but not for all computations: it has key limits and structure. Software architects, develo

A variety of programming models relevant to scientists explained, with an emphasis on how programming constructs map to parts of the computer. What makes comput

Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis