IEEE Computer, Volume 18, 1985

Volume 18, Number 1, January 1985

• 
  Yaohan Chu:
  Chinese/Kanji Text and Data Processing. 10-12
• 
  Jack K. T. Huang:
  The Input and Output of Chinese and Japanese Characters. 18-24
• 
  Joseph D. Becker:
  Typing Chinese, Japanese, and Korean. 27-34
• 
  Ryouichi Matsuda:
  Processing Information in Japanese. 37-45
• 
  Hiroshi Makino:
  Beta: An Automatic Kana-Kanji Translation System. 46-52
• 
  Wei Cui:
  Evaluation of Chinese Character Keyboards. 54-59
• 
  Jian Sheng:
  A Pinyin Keyboard for Inputting Chinese Characters. 60-63
• 
  H. C. Tien:
  The Pinxxiee Chinese Word Processor. 65-66
• 
  Bernard I. Witt:
  Communicating Modules: A Software Design Model for Concurrent Distributed Systems. 67-77
• 
  Helen M. Wood, Donald J. Reifer, Martha E. Sloan:
  A Tour of Computing Facilities in China. 80-87
• 
  Jakob Nielsen:
  The Open Channel. 88

Volume 18, Number 2, February 1985

• 
  Ben C. Moszkowski:
  A Temporal Logic for Multilevel Reasoning about Hardware. 10-19
• 
  Fumihiro Maruyama:
  Hardware Verification. 22-32
• 
  Norihisa Suzuki:
  Concurrent Prolog as an Efficient VLSI Design Language. 33-40
• 
  Monica S. Lam:
  A Transformational Model of VLSI Systolic Design. 42-52
• 
  Steven M. German, Karl J. Lieberherr:
  Zeus: A Language for Expressing Algorithms in Hardware. 55-65
• 
  Subrata Dasgupta:
  Hardware Description Languages in Microprogramming Systems. 67-76
• 
  Robert Piloty:
  The Conlan Project: Concepts, Implementations, and Applications. 81-92
• 
  Moe Shahdad, Roger Lipsett, Erich Marschner, Kellye Sheehan, Howard Cohen:
  VHSIC Hardware Description Language. 94-103
• 
  Bernard I. Witt:
  Parallelism, Pipelines, and Partitions: Variations on Communicating Modules. 105-112

Volume 18, Number 3, March 1985

Feature Articles

• 
  Gregory D. Buzzard, Trevor N. Mudge:
  Object-Based Computing and the Ada Programming Language. 11-19
• 
  Alan R. Klumpp:
  Space Station Flight Software: Hal/S or Ada? 20-28
• 
  Edmond L. Greenberg, Robert E. Malcho, P. James Stoll, Douglas J. Theis:
  Survey of Spacecraft Memory Technologies. 29-39
• 
  Jack N. Fenner, Jeffrey A. Schmidt, Houssam A. Halabi, Dharma P. Agrawal:
  MASCO: The Design of a Microprogrammed Processor. 41-53
• 
  Vason P. Srini:
  A Fault-Tolerant Dataflow System. 54-68
• 
  Scott Berman, Parag Parikh, C. S. George Lee:
  Computer Recognition of Two Overlapping Parts Using a Single Camera. 70-80
• 
  Ware Myers:
  An Assessment of the Competitiveness of the United States Software Industry. 81-92
• 
  Ambrose Sunny O. Okorie:
  Using the Decision-Tree Model in Database Design. 94-102

Special Feature

• 
  Robert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin:
  Workshop on Models and Languages for Software Specification and Design. 103-108

Volume 18, Number 4, April 1985

Requirements Engineering Environments: Software Tools for Modeling User Needs

• 
  William E. Rzepka, Yutaka Ohno:
  Requirements Engineering Environments: Software Tools for Modeling User Needs - Guest Editors' Introduction. 9-12
• 
  Gruia-Catalin Roman:
  A Taxonomy of Current Issues in Requirements Engineering. 14-23
• 
  Douglas T. Ross:
  Applications and Extensions of SADT. 25-34
• 
  Mack W. Alford:
  SREM at the Age of Eight; The Distributed Computing Design System. 36-46
• 
  Paul A. Scheffer, Albert H. Stone III, William E. Rzepka:
  A Case Study of SREM. 47-54
• 
  Gene E. Sievert, Terrence A. Mizell:
  Specification-Based Software Engineering with TAGS. 56-65
• 
  Stephanie M. White, Jonah Z. Lavi:
  Embedded Computer System Requirements Workshop. 67-70
• 
  M. Chandrasekharan, B. Dasarathy, Zen Kishimoto:
  Requirements-Based Testing of Real-Time Systems: Modeling for Testability. 71-80
• 
  Alexander Borgida, Sol J. Greenspan, John Mylopoulos:
  Knowledge Representation as the Basis for Requirements Specifications. 82-91

Volume 18, Number 5, May 1985

• 
  Gary H. Sockut:
  A Framework for Logical-Level Changes Within Database Systems. 9-27
• 
  Masasuke Morita:
  Japanese Text Input System. 29-35
• 
  John DeRosa, Richard Glackemeyer, Thomas Knight:
  Design and Implementation of the VAX 8600 Pipeline. 38-48
• 
  Marshall D. Abrams:
  Observations on Operating a Local Area Network. 51-65
• 
  Martin Bärtschi:
  An Overview of Information Retrieval Subjects. 67-84
• 
  Barry G. Silverman:
  Software Cost and Productivity Improvements: An Analogical View. 86-96
• 
  John Tartar, Bruce W. Arden, Taylor L. Booth, Peter J. Denning, Raymond E. Miller, Andries van Dam:
  1984 Snowbird Report: Future Issues in Computer Science. 101-105
• 
  Peter J. Denning:
  Ruminations on Education. 105-110
• 
  J. L. Nichols:
  The Open Channel. 114-115

Volume 18, Number 6, June 1985

Multiprocessing Technology

• 
  Chuan-lin Wu:
  Multiprocessing Technology - Guest Editor's Introduction. 6-7
• 
  Daniel Gajski, Jih-Kwon Peir:
  Essential Issues in Multiprocessor Systems. 9-27
• 
  Peter C. Patton:
  Multiprocessors: Architecture and Applications. 29-40
• 
  Paul B. Schneck, Donald M. Austin, Stephen L. Squires, John R. Lehmann, David W. Mizell, Kenneth Wallgren:
  Parallel Processor Programs in the Federal Government. 43-56
• 
  Kai Hwang:
  Multiprocessor Supercomputers for Scientific/Engineering Applications. 57-73
• 
  Kunio Murakami, Takeo Kakuta, Rikio Onai, Noriyoshi Ito:
  Research on Parallel Machine Architecture for Fifth-Generation Computer Systems. 76-92
• 
  Benjamin W. Wah, Guo-Jie Li, Chee Fen Yu:
  Multiprocessing of Combinatorial Search Problems. 93-108

Volume 18, Number 7, July 1985

Mass Storage Systems

• 
  Stephen W. Miller:
  The Future of Mass Storage Systems - Guest Editor's Introduction. 6-7
• 
  Stephen W. Miller, M. William Collins:
  Toward a Reference Model of Mass Storage Systems. 9-22
• 
  Bernard T. O'Lear, David L. Kitts:
  Optical Device Interfacing for a Mass Storage Syste. 24-32
• 
  George J. Ammon, Joseph A. Calabria, Douglas T. Thomas:
  A High-Speed, Large-Capacity "Jukebox" Optical Disk System. 36-45
• 
  Patric Savage:
  Proposed Guidelines for an Automated Cartridge Repository. 49-58
• 
  Albert S. Hoagland:
  Information Storage Technology - A Look at the Future. 60-67

Special Feature

• 
  Ware Myers:
  The Crisis in Higher Education: Solutions. 69-79
• 
  Douglas T. Ross:
  Douglas Ross Talks About Structured Analysis (Interview). 80-88

Volume 18, Number 8, August 1985

Visual Programming

• 
  Robert B. Grafton, Tadao Ichikawa:
  Visual Programming - Guest Editors' Introduction. 6-9
• 
  Georg Raeder:
  A Survey of Current Graphical Programming Techniques. 11-25
• 
  Gretchen Brown, Richard T. Carling, Christopher F. Herot, David Kramlich, Paul Souza:
  Programming Visualization: Graphical Support for Software Development. 27-35
• 
  Nan C. Shu:
  FORMAL: A Forms-Oriented, Visual-Directed Application Development System. 38-49
• 
  Robert J. K. Jacob:
  A State Transition Diagram Language for Visual Programming. 51-59
• 
  Ralph L. London, Robert Duisberg:
  Animating Programs Using Smalltalk. 61-71
• 
  Mark Moriconi, Dwight F. Hare:
  Visualizing Program Designs Through PegaSys. 72-85
• 
  Benjamin Melamed, Robert J. T. Morris:
  Visual Simulation: The Performance Analysis Workstation. 87-94

Volume 18, Number 9, September 1985

Feature Articles

• 
  Robert P. Colwell, Charles Y. Hitchcock III, E. Douglas Jensen, Brinkley Sprunt, Charles P. Kollar:
  Instruction Sets and Beyond: Computers, Complexity, and Controversy. 8-19
• 
  Joëlle Coutaz:
  Abstraction for User Interface Design. 21-34
• 
  David J. Hartzband, Fred J. Maryanski:
  Enhancing Knowledge Representation in Engineering Databases. 39-48
• 
  Victor R. Basili, Elizabeth E. Katz, Nora Monina Panlilio-Yap, Connie Loggia Ramsey, Shih Chang:
  Characterization of an Ada Software Development. 53-65

Special Features

• 
  Stephen F. Lundstrom, Ronald L. Larsen:
  Workshop: Computer and Information Technology in the Year 2000 - a Projection. 68-79
• 
  Harriett B. Rigas, Taylor L. Booth, Faye A. Briggs, Tadao Murata, Harold S. Stone:
  Workshop: Artificial Intelligence Research in Japan. 83-90

Volume 18, Number 10, October 1985

Multimedia Communications

• 
  J. J. Garcia-Luna-Aceves, Andrew A. Poggio:
  Computer-Based Multimedia Communications - Guest Editors' Introduction. 10-11
• 
  Nicole Yankelovich, Norman K. Meyrowitz, Andries van Dam:
  Reading and Writing the Electronic Book. 15-30
• 
  Sunil K. Sarin, Irene Greif:
  Computer-Based real-Time Conferencing Systems. 33-45
• 
  Wolfgang Horak:
  Office Document Architecture and Office Document Interchange Formats: Current Status of International Standardization. 50-60
• 
  Peter R. Bono:
  A Survey of Graphics Standards and Their Role in Information Interchange. 63-75
• 
  Joyce K. Reynolds, Jonathan B. Postel, Alan R. Katz, Gregory G. Finn, Annette L. DeSchon:
  The DARPA Experimental Multimedia Mail System. 82-89
• 
  Andrew A. Poggio, J. J. Garcia-Luna-Aceves, Earl Craighill, Douglas B. Moran, Lorenzo Aguilar, David R. L. Worthington, John M. Hight:
  CCWS: A Computer-Based Multimedia Information System. 92-103
• 
  Shiro Sakata, Tetsuo Ueda:
  A Distributed Interoffice Mail System. 106-116

Volume 18, Number 11, November 1985

Computing

in the Frontiers of Science and Engineering (CACM/IEEE-CS Computer Joint Issue)

• 
  Michael C. Mulder, Peter J. Denning:
  Computing in the Frontiers of Science and Engineering - Introduction. 10-11
• 
  Michael R. Raugh:
  Modeling California Earthquakes and Earth Structures. 14-36
• 
  D. Kent Cullers, Ivan R. Linscott, Bernhard M. Oliver:
  Signal Processing in SETI. 37-47
• 
  Peter Friedland, Laurence H. Kedes:
  Discovering the Secrets of DNA. 49-69
• 
  Alan B. Chambers, David C. Nagel:
  Pilots of the Future: Human or Computer? 74-87
• 
  Leonard Kleinrock:
  Distributed Systems. 90-103
• 
  Edward Balkovich, Steven Lerman, Richard P. Parmelee:
  Computing in Higher Education: The Athena Experience. 112-125
• 
  Joel S. Birnbaum:
  Towards the Domestication of Microelectronics. 128-140

Volume 18, Number 12, December 1985

• 
  Olaf M. Lubeck, James W. Moore, Raul Mendez:
  A benchmark Comparison of Three Supercomputers: Fujitsu VP-200, Hitachi S810/20, and Cray X-MP/2. 10-24
• 
  William W. Carlson, Kai Hwang:
  Algorithmic Performance of Dataflow Multiprocessors. 30-40
• 
  Sudhakar Yalamanchili, Jake K. Aggarwal:
  Reconfiguration Strategies for Parallel Architectures. 44-61
• 
  Robert H. Thomas, Harry C. Forsdick, Terrence R. Crowley, Richard W. Schaaf, Raymond S. Tomlinson, Virginia M. Travers, George G. Robertson:
  Diamond: A Multimedia Message System Built on a Distributed Architecture. 65-78