ACM Computing Surveys, Volume 29

Volume 29, Number 1, March 1997

• M. M. Reid, Richard J. Millar, Norman D. Black:
  Second-Generation Image Codeing: An Overview. 3-29
  
• Michal Walicki, Sigurd Meldal:
  Algebraic Approaches to Nondeterminism: An Overview. 30-81
  
• Fong Pong, Michel Dubois:
  Verification Techniques for Cache Coherence Protocols. 82-126
  

Volume 29, Number 2, June 1997

• Richard Uhlig, Trevor N. Mudge:
  Trace-Driven Memory Simulation: A Survey. 128-170
  
• Vangelis Th. Paschos:
  A Survey of Approximately Optimal Solutions to Some Covering and Packing Problems. 171-209
  

Volume 29, Number 3, September 1997

• Tommy Thorne:
  Programming Languages for Mobile Code. 213-239
  
• Philip Wadler:
  How to Declare an Imperative. 240-263
  
• Qiang Ji, Michael M. Marefat:
  Machine Interpretation of CAD Data for Manufacturing Applications. 264-311
  

Volume 29, Number 4, December 1997

• Pamela Zave:
  Classification of Research Efforts in Requirements Engineering. 315-321
  
• Hyacinth S. Nwana:
  Is Computer Science Education in Crisis? 322-324
  
• Frederick M. Weinhaus, Venkat Devarajan:
  Texture Mapping 3D Models of Real-World Scenes. 325-365
  
• Hong Zhu, Patrick A. V. Hall, John H. R. May:
  Software Unit Test Coverage and Adequacy. 366-427