Journal: IEEE Computer

Volume 12, Issue 9

8 -- 10G. Michael Schneider. Computer Network Protocols: A Hierarchical Viewpoint
12 -- 19Harold C. Folts. Status Report on New Standards for DTE/DCE Interface Protocols
20 -- 27Carl A. Sunshine. Formal Techniques for Protocol Specification and Verification
29 -- 38David C. Walden, Alexander A. McKenzie. The Evolution of Host-to-Host Protocol Technology
47 -- 56John D. Day. Resource Sharing Protocols
58 -- 72Stuart Wecker. Computer Network Architectures
82 -- 90Mark Shepherd Jr., J. Fred Bucy. Special Feature Innovation at Texas Instruments
92 -- 98Dileep Bhandarkar. Special Feature the Impact Of Semiconductor Technology on Computer Systems
100 -- 108Gabriel F. Groner, Marsha D. Hopwood, Norman A. Palley, William L. Sibley. Special Feature Requirements Anaysis in Clinical Research Information Processing - A Case Study

Volume 12, Issue 8

7 -- 9E. Miller. Software Quality Assurance
10 -- 18Werner Geiger, Lothar Gmeiner, Heinz Trauboth, Udo Voges. Program Testing Techniques for Nuclear Reactor Protection Systems
20 -- 24Alfred Sorkowitz. Certification Testing: A Procedure to Improve the Quality of Software Testing
26 -- 31Carolyn Gannon. Error Detection Using Path Testing and Static Analysis
33 -- 36Mark A. Holthouse, Mark J. Hatch. Experience with Automated Testing Analysis
37 -- 42John B. Bowen. A Survey of Standards and Proposed Metrics for Software Quality Testing
43 -- 50Fletcher J. Buckley. A Standard for Software Quality Assurance Plans
52 -- 67Ware Myers. Interactive Computer Graphics: Flying High Part II
68 -- 74Garold S. Tjaden, Martin Cohn. Special Feature Some Considerations in the Design of Mainframe Processors with Microprocessor Technology
79 -- 86Ware Myers. NCC '79 Wrap-up The Social Implications of Computers

Volume 12, Issue 7

8 -- 17Ware Myers. Interactive Computer Graphics: Flying High-Part I
19 -- 27Richard Paul. Robots, Models, and Automation
28 -- 52K. A. Elmquist, Howard Fullmer, David B. Gustavson, George Morrow. Standard Specification for S-100 Bus Interface Devices
66 -- 73Robert J. Frank. Patent Protection and the Computing Arts
74 -- 79Ruth M. Davis. The DoD Initiative in Integrated Circuits
81 -- 84Philip H. Braverman. Yes, Folks, Standards are a Many-Splendored Thing
93 -- 0. International Conference and Exhibition Eurographics 79

Volume 12, Issue 6

8 -- 9Kenneth J. Thurber. Circuit Switching
10 -- 22Amos E. Joel Jr.. Circuit Switching: Unique Architecture and Applications
24 -- 31James M. Kasson. The Rolm Computerized Branch Exchange: An Advanced Digital PBX
32 -- 48Gerald M. Masson, George C. Gingher, Shinji Nakamura. A Sampler of Circuit Switching Networks
57 -- 65Howard Jay Siegel. Interconnection Networks for SIMD Machines
67 -- 78K. A. El-Ayat. Special Feature the Intel 8089: An Integrated I/O Processor

Volume 12, Issue 5

12 -- 18Albert S. Hoagland. Storage Technology: Capability and Limitations
19 -- 26Terry A. Welch. Analysis of Memory Hierarchies for Sequential Data Access
27 -- 41George Champine. Current Trends in Data Base Systems
42 -- 48Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, H. Raymond Strong, Paolo Tiberio, Irving L. Traiger, Bradford W. Wade, Robert A. Yost. System R: A Relational Data Base Management System
50 -- 56Per Brinch Hansen. Keynote Address on Concurrent Programming
58 -- 63Ryoichi Mori, Yoshikuni Okada, Hiroaki Tajima, Morihiko Tajima. Microprocessors in Japan - Status in 1978
64 -- 74Ryoichi Mori, Yuzo Kita, Iwao Morishita, Kiyoto Ohkawa, Seishi Nishikawa, Akio Tojo, Akio Kobubu, Yoshikuni Okada, Shunichi Uchida. Microcomputer Applications in Japan

Volume 12, Issue 4

11 -- 22William E. Burr, Dennis R. Allison, Alice C. Parker, Charles B. Silio Jr., A. Brinton Cooper. Bus System for the Military Computer Family
26 -- 33William Dietz, Leland Szewerenko. Architectural Efficiency Measures: An Overview of Three Studies
35 -- 47Harold S. Stone. Life-Cycle Cost Analysis of Instruction-Set Architecture Standardization for Military Computer Systems
61 -- 65G. Michael Schneider. Pascal: An Overview
68 -- 82Bruce W. Ravenel. Toward a Pascal Standard
84 -- 91Ware Myers. Barriers to Technology
91 -- 93Francis P. Mathur. Technology s Impact on Hardware Reliability
94 -- 97Daniel E. Atkins. Fourth Symposium on Computer Arithmetic: Crunching with Quality and LSI
98 -- 102Matthew F. Slana. Computer Elements for the 80's

Volume 12, Issue 3

7 -- 0David K. Hsiao. Database Machines are Coming, Database Machines are Coming!
11 -- 25Stanley Y. W. Su. Cellular-Logic Devices: Concepts and Applications
28 -- 37Diane C. P. Smith, John Miles Smith. Relational Data Base Machines
40 -- 50Lee A. Hollaar. Text Retrieval Computers
53 -- 61P. Bruce Berra, Ellen J. Oliver. Role of Associative Array Processors in Data Base Machine Architecture
64 -- 79Douglas S. Kerr. Data Base Machines with Large Content-Addressable Blocks and Structural Information Processors

Volume 12, Issue 2

10 -- 21Bernard L. Peuto. Architecture of a New Microprocessor
22 -- 31John F. Wakerly. Intel MCS-48 Microcomputer Family: A Critique
43 -- 52Edward Stritter, Tom Gunter. Microprocessor Architecture for a Changing World: The Motorola 68000
53 -- 64Harvey A. Cohen, Rhys S. Francis. Macro-Assemblers and Macro-Based Languages in Microprocessor Software Development
66 -- 78Jon Louis Bentley. Introduction to Algorithm Design
79 -- 82Laszlo A. Belady. Evolved Software for the 80 s

Volume 12, Issue 12

6 -- 7John D. Gannon. Human Factors in Software Engineering
9 -- 19Ben Shneiderman. Human Factors Experiments in Designing Interactive Systems
21 -- 38Victor R. Basili, Robert W. Reiter Jr.. An Investigation of Human Factors in Software Development
41 -- 49Sylvia B. Sheppard, Bill Curtis, Phil Milliman, Tom Love. Modern Coding Practices and Programmer Performance
50 -- 59Hubert E. Dunsmore, John D. Gannon. Data Referencing: An Empirical Investigation
60 -- 65Sandra A. Mamrak, Marshall D. Abrams. Special Feature: A Taxonomy for Valid Test Workload Generation
66 -- 76W. J. Kaminsky, Edward S. Davidson. Special Feature: Developing a Multiple-Instruction-Stream Single-Chip Processor
85 -- 94Tilak Agerwala. Special Feature: Putting Petri Nets to Work
96 -- 109Wayne Fischer. Special Feature: Microprocessor Assembly Language Draft Standard
112 -- 117Mario J. Gonzalez Jr.. Workshop Report: The Science of Design

Volume 12, Issue 11

4 -- 7Thelma Estrin, Robert C. Uzgalis. Information Systems for Patient Care
9 -- 17Peter D. Beaman, Norma S. Justice, G. Octo Barnett. A Medical Information System and Data Language for Ambulatory Practices
19 -- 27Peter L. Walton, Robert R. Holland, Lawrence I. Wolf. Medical Guidance and PROMIS
28 -- 31Richard M. Sneider, Ralph E. Boyce, Charles A. Tapella. The Matrix* Data Base Management System
34 -- 40Dennis J. McShane, Alison Harlow, R. Guy Kraines, James F. Fries. TOD: A Software System for the Aramis Data Bank
42 -- 50Bruce I. Blum, Raymond E. Lenhard Jr.. An Oncology Clinical Information System
52 -- 60Isaac L. Auerbach. Special Feature: Computing in China, 1979-an Update
62 -- 72William Pferd, L. A. Peralta, F. X. Prendergast. Special Feature: Interactive Graphics Teleconferencing

Volume 12, Issue 10

7 -- 8Kenneth R. Anderson, Harley A. Perkins. Hardware Test Technology
9 -- 21Thomas W. Williams, Kenneth P. Parker. Testing Logic Networks and Designing for Testability
23 -- 31James M. Crafts. Techniques for Memory Testing
32 -- 38Eugene Foley. The Effects of the Microelectronics Revolution on Systems and Board Test
40 -- 47W. A. Plice. Automatic Analog Testing - 1979 Style
49 -- 59James B. Clary, Richard A. Sacane. Self-Testing Computers
61 -- 71Granino A. Korn. Microdare Special Feature Microdare: A Fast, Direct-Executing High-level Language System for Small Computers
75 -- 84Alfred Bork. Special Feature Learning with Computer Simulations

Volume 12, Issue 1

6 -- 14Edward H. Bersoff, Vilas D. Henderson, Stanley G. Siegel. Softare Configuration Management: A Tutonal
16 -- 24Dileep Bhandarkar, J. Brock Barton, A. F. Tasch Jr.. CCD Charge-Coupled Device Memories: A Perspective
27 -- 40David Casasent. Coherent Optical Computing
42 -- 50Philip C. Treleaven. Exploitng Program Concurrency in Computing Systems
54 -- 61Robert L. Ramey, James H. Aylor, Ronald D. Williams. Microcomputer-Aided Eating for the Severely Handicapped
62 -- 70Ware Myers. Compsac78 Wrap-up