Front Cover; Advance in Computers, Volume 40; Copyright page; Contents; Contributors; Preface; Chapter 1. Program Understanding: Models and Experiments; 1. Introduction; 2. Common Elements of Cognition Models; 3. Program Comprehension Models; 4. Experimental Paradigm; 5. Issues; 6. Conclusion; References; Chapter 2. Software Prototyping; 1. Introduction; 2. Taxonomies of Prototyping; 3. When to Prototype?; 4. Techniques for Prototyping; 5. Case Studies; 6. Summary; References; Chapter 3. Rapid Prototyping of Microelectronic Systems; 1. Introduction; 2. What Is RSP?

3. System Synthesis from a High-Level Description4. New Technologies for Rapid System Prototyping: Field Programmable Gate Arrays; 5. Extended VHDL for Reusability in Microelectronic System Design; 6. Conclusions; Appendix: Common Terms and Acronyms; References; Chapter 4. Cache Coherence in Multiprocessors: A Survey; 1. Introduction; 2. Background; 3. Hardware Cache Coherence Protocols; 4. Cache Coherence in Hypercubes; 5. Software Solutions to Cache Coherence; 6. Coherence Requirements and Correctness; 7. Performance Analysis; 8. Conclusions; References.

Chapter 5. The Adequacy of Office ModelsIntroduction; 1. Streams of Thought in the Office Modeling Literature; 2. Perspectives on OIS Models; 3. The Adequacy of Office Models; 4. Review of Office Models; 5. Discussion; 6. Conclusions; Appendix: Glossary, Acronyms, Capsule Review, and Citation for Selected Models/Systems; References; Author Index; Subject Index; Contents of Volumes in This Series.