IEEE-CS Computer, Volume 21, 1988

Volume 21, Number 1, January 1988

Dennis R. Allison: Guest Editor's Introduction: Electronic Publishing Technologies. 12-13
Pehong Chen, Michael A. Harrison: Multiple Representation Document Development. 15-31
Jeff A. Johnson, Richard J. Beach: Styles in Document Editing Systems. 32-43
Janet H. Walker: Supporting Document Development with Concordia. 48-59
Johann H. Schlichter, Leslie Jill Miller: FolioPub: A Publication Management System. 61-69
Gary Marchionini, Ben Shneiderman: Finding Facts vs. Browsing Knowledge in Hypertext Systems. 70-80
Nicole Yankelovich, Bernard J. Haan, Norman K. Meyrowitz, Steven M. Drucker: Intermedia: The Concept and the Construction of a Seamless Information Environment. 81-96

Michel Dubois, Christoph Scheurich, Faye A. Briggs: Synchronization, Coherence, and Event Ordering in Multiprocessors. 9-21
John K. Ousterhout, Andrew R. Cherenson, Fred Douglis, Michael N. Nelson, Brent B. Welch: The Sprite Network Operating System. 23-36
Philip A. Bernstein: Sequoia: A Fault-Tolerant Tighly Coupled Multiprocessor for Transaction Processing. 37-45
Gordon R. Lang, Moez Dharssi, Fred M. Longstaff, Philip S. Longstaff, Peter A. S. Metford, Malcolm T. Rimmer: An Optimum Parallel Architecture for High-Speed Real-Time Digital Signal Processing. 47-57
Jonathan D. Moffett, Morris Sloman: The Source of Authority for Commercial Access Control. 59-69

Artificial Neural Systems

Bruce Shriver: Artificial Neural Systems - Guest Editor's Introduction. 8-9
Teuvo Kohonen: The "Neural" Phonetic Typewriter. 11-22
Bernard Widrow, Rodney Winter: Neural Nets for Adaptive Filtering and Adaptive Pattern Recognition. 25-39
Hans Peter Graf, Lawrence D. Jackel, Wayne E. Hubbard: VLSI Implementation of a Neural Network Model. 41-49
James Hutchinson, Christof Koch, Jin Luo, Carver Mead: Compting Motion Using Analog and Binary Resistive Networks. 52-63
Kunihiko Fukushima: A Neural Network for Visual Pattern Recognition. 65-75
Gail A. Carpenter, Stephen Grossberg: The ART of Adaptive Pattern Recognition by a Self-Organizing Neural Network. 77-88
Jerome A. Feldman, Mark A. Fanty, Nigel H. Goddard: Computing with Structured Neural Networks. 91-103
Ralph Linsker: Self-Organization in a Perceptual Network. 105-117

Multiple-Valued Logic

Jon T. Butler: Multiple-Valued Logic - Guest Editor's Introduction. 13-15
Kenneth C. Smith: Multiple-Valued Logic: A Tutorial and Appreciation. 17-27
Daniel Etiemble, Michel Israël: Comparison of Binary and Multivalued ICs According to VLSI Criteria. 28-42
Michitaka Kameyama, Shoji Kawahito, Tatsuo Higuchi: A Multiplier Chip with Multiple-Valued Bidirectional Current-Mode Logic Circuits. 43-56
Jon T. Butler, Hans G. Kerkhoff: Multiple-Valued CCD Circuits. 58-69
Tsutomu Sasao: Multiple-Valued Logic and Optimization of Programmable Logic Arrays. 71-80
Lotfi A. Zadeh: Fuzzy Logic. 83-93

Marc H. Brown: Exploring Algorithms Using Balsa-II. 14-36
Kathleen M. Nichols, John T. Edmark: Modeling Multicomputer Systems with PARET. 39-48
Brian N. Bershad, Henry M. Levy: A Remote Computation Facility for a Heterogeneous Environment. 50-60
Barry W. Boehm: A Spiral Model of Software Development and Enhancement. 61-72

Jason Gait: The Optical File Cabinet: A Random-Access File System for Write-Once Optical Disks. 11-22
Harlan D. Mills: Stepwise Refinement and Verification in Box-Structured Systems. 23-36
James T. Rayfield, Harvey F. Silverman: System and Application Software for the Armstrong Multiprocessor. 38-52
Walter D. Potter, Robert P. Trueblood: Traditional, Semantic, and Hyper-Semantic Approaches to Data Modeling. 53-63
Bowen Liu, Nelson Strother: Programming in VS Fortran on the IBM 3090 for Maximum Vector Performance. 65-76

Paolo Camurati, Paolo Prinetto: Formal Verification of Hardware Correctness: Introduction and Survey of Current Research. 8-19
Alan R. Hooton, Ulises Agüero, Subrata Dasgupta: An Exercise in Plausibility-Driven Design. 21-31
Peter Steenkiste, John L. Hennessy: Lisp on a Reduced-Instruction-Set Processor: Characterization and Optimization. 34-45
David J. Lilja: Reducing the Branch Penalty in Pipelined Processors. 47-55

William C. Athas, Charles L. Seitz: Multicomputers: Message-Passing Concurrent Computers. 9-24
Lewis W. Tucker, George G. Robertson: Architecture and Applications of the Connection Machine. 26-38
Charles Rich, Richard C. Waters: Automatic Programming: Myths and Prospects. 40-51
David Gries, Dorothy Marsh: The 1986-1987 Taulbee Survey. 53-61

Tom Diede, Carl F. Hagenmaier, Glen S. Miranker, Jonathan J. Rubinstein, William S. Worley Jr.: The Titan Graphics Supercomputer Architecture. 13-30
Peter Wolcott, Seymour E. Goodman: High-Speed Computers of the Soviet Union. 32-41
Kwong-Sak Leung, W. Lam: Fuzzy Concepts in Expert Systems. 43-56
Ware Myers, Marilyn Potes: National Conference on Strategic Management of R&D. 58-65

John A. Stankovic: Misconceptions About Real-Time Computing. 10-19
Robert W. Doran: Amdahl Multiple-Domain Architecture. 20-28
Israel Koren, Bilha Mendelson, Irit Peled, Gabriel M. Silberman: A Data-Driven VLSI Array for Arbitrary Algorithms. 30-43
Ted G. Lewis, Curtis R. Cook: Hashing for Dynamic and Static Internal Tables. 45-56

Charles Rich, Richard C. Waters: The Programmer's Apprentice: A Research Overview. 10-25
Per Stenström: Reducing Contention in Sharde-Memory Multiprocessors. 26-37
Robert N. Britcher: Using Inspections to Investigate Program Correctness. 38-44
David B. Skillicorn: A Taxonomy for Computer Architectures. 46-57

Articles

Dallas E. Webster: Mapping the Design Information Representation Terrain. 8-23
Mark D. Hill: A Case for Direct-Mapped Caches. 25-40
Stuart C. Schaffner, Martha Borkan: Segue: Support for Distributed Graphical Interfaces. 42-55
David Detlefs, Maurice Herlihy, Jeannette M. Wing: Inheritance of Synchronization and Recovery Properties in Avalon/C++. 57-69

Special Report