Journal: IEEE Computer

Volume 23, Issue 9

8 -- 24Jeannette M. Wing. A Specifier s Introduction to Formal Methods
27 -- 39John T. Stasko. Tango: A Framework and System for Algorithm Animation
40 -- 51George Champine, Daniel E. Geer Jr., William Ruh. Project Athena as a Distributed Computer System
52 -- 61Chaim Ziegler, Gerald Weiss. Multimedia Conferencing on Local Area Networks
63 -- 75Alan Mink, Robert J. Carpenter, George Nacht, John W. Roberts. Multiprocessor Performance-Measurement Instrumentation
82 -- 84Wayne E. Rosing, Matt M. Perez. The Evolving Relationship Between Open Standards and Technology

Volume 23, Issue 8

8 -- 9Ragui Kamel. Voice in Computing - Guest Editor s Introduction to the Special Issue
10 -- 15Carl R. Strathmeyer. Voice in Computing: An Overview of Available Technologies
17 -- 23Michael H. O Malley. Text-To-Speech Conversion Technology
26 -- 33Richard D. Peacocke, Daryl H. Graf. An Introduction to Speech and Speaker Recognition
35 -- 41Matthew Lenning. Putting Speech Recognition to Work in the Telephone Network
43 -- 48Ryohei Nakatsu. Anser: An Application of Speech Technology to the Japanese Banking Industry
50 -- 56Chris Schmandt, Mark S. Ackerman, Debby Hindus. Augmenting a Window System with Speech Input
59 -- 65Mark W. Salisbury, Joseph H. Hendrickson, Terence L. Lammers, Caroline Fu, Scott A. Moody. Talk and Draw: Bundling Speech and Graphics
66 -- 72Lester F. Ludwig, Natalio Pincever, Michael Cohen. Extending the Notion of a Window System to Audio
73 -- 80Ragui Kamel, Kamyar Emami, Robert Eckert. PX: Supporting Voice in Workstations
84 -- 88Ronald W. Gibson. IEEE Project 802 Standards Effords

Volume 23, Issue 7

15 -- 17Adit D. Singh, Singaravel Murugesan. Fault-Tolerant Systems - Guest Editors Introduction to the Special Issue
19 -- 25Victor P. Nelson. Fault-Tolerant Computing: Fundamental Concepts
26 -- 37Daniel P. Siewiorek. Fault Tolerance in Commercial Computers
39 -- 51Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun. Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures
52 -- 61Robert Geist, Kishor S. Trivedi. Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques
63 -- 72Eiji Fujiwara, Dhiraj K. Pradhan. Error-Control Coding in Computers
73 -- 83Israel Koren, Adit D. Singh. Fault Tolerance in VLSI Circuits
84 -- 88Edward J. McCluskey. Design Techniques for Testable Embedded Error Checkers
89 -- 92James Isaak. The History of Posix: A Study in the Standards Process

Volume 23, Issue 6

9 -- 11Michel Dubois, Shreekant S. Thakkar. Cache Architectures in Tightly Coupled Multiprocessors - Guest Editors Introduction to the Special Issue
12 -- 24Per Stenström. A Survey of Cache Coherence Schemes for Multiprocessors
26 -- 36Patricia J. Teller. Translation-Lookaside Buffer Consistency
39 -- 47Hoichi Cheong, Alexander V. Veidenbaum. Compiler-Directed Cache Management in Multiprocessors
49 -- 58David Chaiken, Craig Fields, Kiyoshi Kurihara, Anant Agarwal. Directory-Based cache Coherence in Large-Scale Multiprocessors
60 -- 69Gary Graunke, Shreekant S. Thakkar. Synchronization Algorithms for Shared-Memory Multiprocessors
71 -- 83Shreekant S. Thakkar, Michel Dubois, Anthony T. Laundrie, Gurindar S. Sohi, David V. James, Stein Gjessing, Manu Thapar, Bruce Delagi, Michael J. Carlton, Alvin M. Despain. Scalable Shared-Memory Multiprocessor Architectures
85 -- 86Fletcher J. Buckley. Establishing a Standard Metrics Program

Volume 23, Issue 5

5 -- 6Joseph Boykin, Susan J. LoVerso. Recent Developments in Operating Systems - Gust Editors Introduction
9 -- 21Mahadev Satyanarayanan. Scalable, Secure, and Highly Available Distributed File Access
23 -- 33Larry L. Peterson, Norman C. Hutchinson, Sean W. O Malley, Herman C. Rao. The x-kernel: A Platform for Accessing Internet Resources
35 -- 43David L. Black. Scheduling Support for Concurrency and Parallelism in the Mach Operating System
44 -- 53Sape J. Mullender, Guido van Rossum, Andrew S. Tanenbaum, Robbert van Renesse, Hans van Staveren. Amoeba: A Distributed Operating System for the 1990s
54 -- 64Michael Stumm, Songnian Zhou. Algorithms Implementing Distributed Shared Memory
65 -- 77Dror G. Feitelson, Larry Rudolph. Distributed Hierarchical Control for Parallel Processing
79 -- 81H. Ronald Berlack. How Not to Write Commerical Standards

Volume 23, Issue 4

18 -- 30Randall Rettberg, William R. Crowther, Philip P. Carvey, Raymond S. Tomlinson. The Monarch Parallel Processor Hardware Design
32 -- 51Jaime H. Moreno, Tomás Lang. Matric Computations on Systolic-Type Meshes
53 -- 62Lui Sha, John B. Goodenough. Real-Time Scheduling Theory and Ada
65 -- 71Alan Jay Smith. The Task of the Referee
74 -- 86Theodosios Pavlidis, Jerome Swartz, Yujiun P. Wang. Fundamentals of Bar Code Information Theory
95 -- 97Fletcher J. Buckley. A Standard for Extremely Low Frequency Magnetic Fields

Volume 23, Issue 3

11 -- 23Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen. A Noninvasive Architecture to Monitor Real-Time Distributed Systems
26 -- 36Bogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley. A Graphical Data Manipulation Language for an Extended Entity-Relationship Model
38 -- 47Kwong-Sak Leung, Man Hon Wong. An Expert-System Shell Using Structured Knowledge: An Object-Oriented Approach
50 -- 63Anthony I. Wasserman, Peter A. Pircher, Robert Muller. The Object-Oriented Structured Design Notation for Software Design Representation
64 -- 74Subrata Dasgupta. A Hierarchical Taxonomic System for Computer Architectures
77 -- 81Michael C. McFarland. Urgency of Ethical Standards Intensifies in Computer Community

Volume 23, Issue 2

5 -- 16Ralph Duncan. A Survey of Parallel Computer Architectures
18 -- 30Simon Y. Foo, Yoshiyasu Takefuji. Databases and Cell-Selection Algorithms for VLSI Cell Libraries
33 -- 41Richard F. Walters. Design of a Bitmapped Multilingual Workstation
43 -- 54William Leler. Linda Meets UNIX
56 -- 66Luping Liang, Samuel T. Chanson, Gerald W. Neufeld. Process Groups and Group Communications: Classifications and Requirements
69 -- 70James Isaak. Applications Environment Profiles: A Significant Tool for Simplifying and Coordinating Standards Efforts

Volume 23, Issue 12

13 -- 23Cherri M. Pancake, Donna Bergmark. Do Parallel Languages Respond to the Needs of Scientific Programmers?
25 -- 37Andrew A. Berlin, Daniel Weise. Compiling Scientific Code Using Partial Evaluation
38 -- 50David B. Skillicorn. Architecture-Independent Parallel Computation
52 -- 63Harold W. Lawson. Philosophies for Engineering Computer-Based Systems
65 -- 75Reinhold Weicker. An Overview of Common Benchmarks
76 -- 78Alasdair Kemp. Information Technology Standardization is Key Area of Interest to IEE

Volume 23, Issue 11

13 -- 28Ophir Frieder. Multiprocessor Algorithms for Relational-Database Operators on Hypercube Systems
30 -- 39Marvin V. Zelkowitz. A Functional Correctness Model of Program Verification
41 -- 49John J. Darragh, Ian H. Witten, Mark L. James. The Reactive Keyboard: A Predicive Typing Aid
51 -- 57Yehudah Freundlich. Knowledge Bases and Databases: Converging Technologies, Diverging Interests
59 -- 70James D. Mooney. Strategies for Supporting Application Portability
71 -- 85Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad T. Vander Zanden, David S. Kosbie, Edward Pervin, Andrew Mickish, Philippe Marchal. Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces

Volume 23, Issue 10

7 -- 19Chita R. Das, Jeffrey T. Kreulen, Matthew Thazhuthaveetil, Laxmi N. Bhuyan. Dependability Modeling for Multiprocessors
23 -- 32Massimo Ancona, Gabriella Dodero, Vittoria Gianuzzi, Andrea Clematis, Eduardo B. Fernández. A System Architecture for Fault Tolerance in Concurrent Software
33 -- 42Parameswaran Ramanathan, Kang G. Shin, Ricky W. Butler. Fault-Tolerant Clock Synchronization in Distributed Systems
45 -- 56Manoj Franklin, Kewal K. Saluja. Built-in Self-testing of Random-Access Memories
57 -- 63Udi Manber. Chain Reactions in Networks
65 -- 71David Gries, Dorothy Marsh. The 1988-89 Taulbee Survey Report
73 -- 75Robert C. Seacord. User Interface Management Systems and Application Portability

Volume 23, Issue 1

9 -- 16John McLean. The Specification and Modeling of Computer Security
17 -- 22David Lorge Parnas. Education for Computing Professionals
24 -- 35Martha E. Crosby, Jan Stelovsky. How Do We Read Algorithms? A Case Study
40 -- 52Tassos Markas, Mark Royals, Nick Kanopoulos. On Distributed Fault Simulation
55 -- 69Mengly Chean, José A. B. Fortes. A Taxonomy of Reconfiguration Techniques for Fault-Tolerant Processor Arrays
75 -- 77Fletcher J. Buckley. A Standard Environment for Software Production