Research and Advances Dec 1 1996 An experience in the formal verification of industrial software M. G. Staskauskas Architecture and Hardware
Research and Advances Dec 1 1996 Garbage collection with pointers to individuals cells B. Pearlmutter Architecture and Hardware
Research and Advances Dec 1 1996 The construction of fast portable multiplicative congruential random number generators C. D. Kemp
Research and Advances Dec 1 1996 Implementation of abstract data types with arrays of unbounded dimensions A. Barrero Computing Applications
Research and Advances Dec 1 1996 CMU’s Andrew project: a retrospective N. S. Borenstein Computing Applications
Research and Advances Dec 1 1996 GENOCOP: a genetic algorithm for numerical optimization problems with linear constraints Z. Michalewicz and C. Z. Janikow Artificial Intelligence and Machine Learning
Research and Advances Dec 1 1996 Including queueing effects in Amdahl’s law R. Nelson Systems and Networking
Research and Advances Dec 1 1996 Harmonic analysis from the computer representation of a musical score R. E. Prather Computing Applications
Research and Advances Dec 1 1996 An error-based conceptual clustering method for providing approximate query answers W. W. Chu, K. Chiang, C. Hsu, and H. Yau Computing Applications
Opinion Dec 1 1996 War, information technologies, and international asymmetries S. E. Goodman Computing Applications
Research and Advances Dec 1 1996 CyberNetwork technology: issues and uncertainties A. Michael Noll Architecture and Hardware
Research and Advances Dec 1 1996 Internet and Web use in the U.S. Donna L. Hoffman, William D. Kalsbeek, and Thomas P. Novak Architecture and Hardware
Research and Advances Dec 1 1996 Computers and other interactive technologies for the home Alladi Venkatesh Architecture and Hardware
Research and Advances Dec 1 1996 The HomeNet field trial of residential Internet services Robert Kraut, William Scherlis, Tridas Mukhopadhyay, Jane Manning, and 1 more authorRobert KrautWilliam ScherlisTridas MukhopadhyayJane ManningSara Kiesler Architecture and Hardware
Research and Advances Dec 1 1996 Winona gets wired: technical difficulties in the home Marita Franzke and Anne McClard Architecture and Hardware
Research and Advances Dec 1 1996 Developing the Blacksburg electronic village John M. Carroll and Mary Beth Rosson Architecture and Hardware
Research and Advances Dec 1 1996 Implementing a tenth strand in the CS curriculum C. Dianne Martin, Chuck Huff, Donald Gotterbarn, and Keith Miller Computing Applications
Research and Advances Dec 1 1996 A revised model curriculum for a liberal arts degree in computer science Henry M. Walker and G. Michael Schneider Computing Applications
Research and Advances Dec 1 1996 Computing research programs in the U.S. Robert Geist, Madhu Chetuparambil, Stephen Hedetniemi, and A. Joe Turner Computing Applications