Properties of disk scheduling policies in multiprogrammed computer systems 1 T. J. Teorey The interaction of multiprogramming job scheduling and CPU scheduling 13 J. C. Browne, J. Lan, F. Baskett Storage organization and management in TENEX 23 D. Murphy The application of program-proving techniques to the verification of synchronization processes 33 K. Levitt Exact calculation of computer network reliability 49 R. Wilkov, E. Hansler, G. McAuliffe A framework for analyzing hardware-software trade-offs in fault tolerant computing systems 55 K.M.Chandy, C. V. Ramamoorthy, A. Cowan Automation of reliability evaluation procedures through CARE- The computer aided reliability estimation program 65 F. P. Mathur An adaptive error correction scheme for computer memory systems 83 A. M. Patel, M. Hsiau Dynamic configuration of system integrity 89 B. Borgerson The in-house computer department 97 J. Pendray A computer center accounting system 105 F. T. Grampp An approach to job billing in a multiprogramming environment 115 C. Kreitzberg, J. Webb Facilities management - A marriage of porcupines 123 D. C. Jung Automated map reading and analysis by computer 135 R. U. Cofer, J. Tou Computer generated optical sound tracks 147 E. K. Tucker, L. H. Baker, D. C. Buckner Simulating the visual environment in real-time via software 153 R. S. Burns Computer animation of a bicycle simulation 161 J. P. Lynch, R. D. Roland An inverse computer graphics problem 169 W. D. Bernhart Module connection analysis - A tool for scheduling software debugging activities 173 F. M. Haney Evaluating the effectiveness of software verification - Practical experience with an automated tool 181 J. R. Brown A design methodology for reliable software systems 191 B. H. Liskov A summary of progress toward proving program correctness 201 T. A. Linden Supercomputers for ordinary users 213 D. J. Kuck The Texas Instruments advanced scientific computer 221 J. Watson A production implementation of an associative array processor - STARAN 229 J. A. Rudolph SIFT - Software Implemented Fault Tolerance 243 J. H. Wensley TRIDENT - A new maintenance weapon 255 R. M. Fitzsimons Computer system maintainability at the Lawrence Livermore Laboratory 263 J. M. Burk J. Schoonover The retryable processor 273 G. H. Maestri Evaluation nets for computer system performance analysis 279 G. J. Nutt Objectives and problems in simulating computers 287 T. E. Bell A methodology for computer model building 299 A. De Cegama LOGOS and the software engineer 311 C. W. Rose Some conclusions from an experiment in software engineering techniques 325 D. L. Parnas Project SUE as a learning experience 331 K. C. Sevcik, J. W. Atwood, M. S. Grushcow, R. C. Holt, J. J. Horning, D. Tsichritzis System quality through structured programming 339 F. T. Baker An application of cellular logic for high speed decoding of minimum redundancy codes 345 K.Ohmori, K. Nezu, S. Naito, T. Nanya On an extended threshold logic as a unit cell of array logics 353 R. Mori Multiple operand addition and multiplication 367 R. Waxman, S. Singh Techniques for increasing fault coverage for asynchronous sequential networks 375 L. R. Hoover, J. H. Tracey System identification and simulation - A pattern recognition approach 385 W. J. Karplus Horizontal domain partitioning of the Navy atmospheric primitive equation prediction model 393 E. Morenoff, P. G. Kesel, L. C. Clarke An analysis of optimal control system algorithms 407 C. N. Walter, G. H. Cohen Computer simulation of the metropolis 415 B. Harris The protection of privacy and security in criminal offender record information systems 423 S. Rothman Security of information processing- Implications for social research 425 R. F. Boruch Privacy and security in data bank systems- Measures, costs, and protector intruder interactions 435 R. Turn, N. S. Shapiro Snapshot 1971- How one developed nation organizes information about people 445 J. W.Carroll Hardware-software trade-offs - Reasons and directions 453 R. L. Mandell A design for an auxiliary associative parallel processor 461 M. A. Wesley, S. K. Chang, J. H. Mommens An eclectic information processing system 473 R. Cutts, H. Huskey, J. Haynes, J. Kaubisch, L. Laitinen, G. Tollkuhn,E. Yarwood Microtext- The design of a microprogrammed finite state search machine for full text retrieval 479 R. H. Bullen, Jr., J. K. Millen Design of the B1700 489 W. T. Wilner An on-line two-dimensional computation system 499 T. G. Williams Debugging PL/I programs in the multics environment 507 B. Wolman AEPL - An Extensible Programming Language 515 E. Milgrom, J. Katzenelson The investment analysis language 525 C. Dmytryshak The design approach to integrated telephone information in the Netherlands 537 R. DiPalma, G. F. Rice Field evaluation of real-time capability of a large electronic switching system 545 W. C. Jones, S. H. Tsiang Minimum cost, reliable computer-communications networks 553 J. De Mercado Control Data STAR-100 file storage station 561 G. Christensen, P. D. Jones Protection systems and protection implementations 571 R. M. Needham B1700 memory utllization 579 W. T. Wilner Rotating storage devices as "partially associative memories" 587 N. Minsky Page fault frequency (PFF) replacement algorithms 597 W. W. Chu, H. Opderbeck Experiments with program locality 611 J. R. Spirn, P. J. Denning TASSY - One approach to individualized test construction 623 T. Blaskovics, J. Kutsch, Jr. A comprehensive question retrieval application to serve classroom teachers 633 G. Lippey Computer processes in repeatable testing 641 F. Prosser, J. Nakhnikian