Advances in Computers

Opis

Praise for the Series
"Mandatory for academic libraries supporting computer science departments."
-CHOICE
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field.

Spis treści

Front Cover 2
Advance in Computers, Volume 40 5
Copyright page 6
Contents 7
Contributors 9
Preface 11
Chapter 1. Program Understanding: Models and Experiments 15
- 1. Introduction 16
- 2. Common Elements of Cognition Models 19
- 3. Program Comprehension Models 24
- 4. Experimental Paradigm 36
- 5. Issues 47
- 6. Conclusion 49
- References 50
Chapter 2. Software Prototyping 53

Front Cover 2
Advance in Computers, Volume 40 5
Copyright page 6
Contents 7
Contributors 9
Preface 11
Chapter 1. Program Understanding: Models and Experiments 15
- 1. Introduction 16
- 2. Common Elements of Cognition Models 19
- 3. Program Comprehension Models 24
- 4. Experimental Paradigm 36
- 5. Issues 47
- 6. Conclusion 49
- References 50
Chapter 2. Software Prototyping 53
- 1. Introduction 54
- 2. Taxonomies of Prototyping 55
- 3. When to Prototype? 62
- 4. Techniques for Prototyping 68
- 5. Case Studies 74
- 6. Summary 76
- References 77
Chapter 3. Rapid Prototyping of Microelectronic Systems 79
- 1. Introduction 80
- 2. What Is RSP? 82
- 3. System Synthesis from a High-Level Description 91
- 4. New Technologies for Rapid System Prototyping: Field Programmable Gate Arrays 113
- 5. Extended VHDL for Reusability in Microelectronic System Design 124
- 6. Conclusions 133
- Appendix: Common Terms and Acronyms 134
- References 135
Chapter 4. Cache Coherence in Multiprocessors: A Survey 141
- 1. Introduction 142
- 2. Background 145
- 3. Hardware Cache Coherence Protocols 148
- 4. Cache Coherence in Hypercubes 176
- 5. Software Solutions to Cache Coherence 177
- 6. Coherence Requirements and Correctness 182
- 7. Performance Analysis 184
- 8. Conclusions 188
- References 189
Chapter 5. The Adequacy of Office Models 195
- Introduction 196
- 1. Streams of Thought in the Office Modeling Literature 199
- 2. Perspectives on OIS Models 201
- 3. The Adequacy of Office Models 211
- 4. Review of Office Models 215
- 5. Discussion 239
- 6. Conclusions 248
- Appendix: Glossary, Acronyms, Capsule Review, and Citation for Selected Models/Systems 251
- References 261
Author Index 269
Subject Index 277
Contents of Volumes in This Series 287

Pokaż więcej

Opis

Spis treści

Recenzje (0)