Volume 23, Number 1, January 1990

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

• 
  Fletcher J. Buckley: A Standard Environment for Software Production. 75-77

Volume 23, Number 2, February 1990

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

• 
  James Isaak: Applications Environment Profiles: A Significant Tool for Simplifying and Coordinating Standards Efforts. 69-70

Volume 23, Number 3, March 1990

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

• 
  Michael C. McFarland: Urgency of Ethical Standards Intensifies in Computer Community. 77-81

Volume 23, Number 4, April 1990

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

• 
  Fletcher J. Buckley: A Standard for Extremely Low Frequency Magnetic Fields. 95-97

Volume 23, Number 5, May 1990

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

• 
  H. Ronald Berlack: How Not to Write Commerical Standards. 79-81

Volume 23, Number 6, June 1990

• 
  Michel Dubois, Shreekant S. Thakkar: Cache Architectures in Tightly Coupled Multiprocessors - Guest Editors' Introduction to the Special Issue. 9-11
• 
  Per Stenström: A Survey of Cache Coherence Schemes for Multiprocessors. 12-24
• 
  Patricia J. Teller: Translation-Lookaside Buffer Consistency. 26-36
• 
  Hoichi Cheong, Alexander V. Veidenbaum: Compiler-Directed Cache Management in Multiprocessors. 39-47
• 
  David Chaiken, Craig Fields, Kiyoshi Kurihara, Anant Agarwal: Directory-Based cache Coherence in Large-Scale Multiprocessors. 49-58
• 
  Gary Graunke, Shreekant S. Thakkar: Synchronization Algorithms for Shared-Memory Multiprocessors. 60-69
• 
  Shreekant 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. 71-83

• 
  Fletcher J. Buckley: Establishing a Standard Metrics Program. 85-86

Volume 23, Number 7, July 1990

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

• 
  James Isaak: The History of Posix: A Study in the Standards Process. 89-92

Volume 23, Number 8, August 1990

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

• 
  Ronald W. Gibson: IEEE Project 802 Standards Effords. 84-88

Volume 23, Number 9, September 1990

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

• 
  Gigabit Network Testbeds. 77-80

• 
  Wayne E. Rosing, Matt M. Perez: The Evolving Relationship Between Open Standards and Technology. 82-84

Volume 23, Number 10, October 1990

• 
  Chita R. Das, Jeffrey T. Kreulen, Matthew Thazhuthaveetil, Laxmi N. Bhuyan: Dependability Modeling for Multiprocessors. 7-19
• 
  Massimo Ancona, Gabriella Dodero, Vittoria Gianuzzi, Andrea Clematis, Eduardo B. Fernández: A System Architecture for Fault Tolerance in Concurrent Software. 23-32
• 
  Parameswaran Ramanathan, Kang G. Shin, Ricky W. Butler: Fault-Tolerant Clock Synchronization in Distributed Systems. 33-42
• 
  Manoj Franklin, Kewal K. Saluja: Built-in Self-testing of Random-Access Memories. 45-56
• 
  Udi Manber: Chain Reactions in Networks. 57-63

• 
  David Gries, Dorothy Marsh: The 1988-89 Taulbee Survey Report. 65-71

• 
  Robert C. Seacord: User Interface Management Systems and Application Portability. 73-75

Volume 23, Number 11, November 1990

• 
  Ophir Frieder: Multiprocessor Algorithms for Relational-Database Operators on Hypercube Systems. 13-28
• 
  Marvin V. Zelkowitz: A Functional Correctness Model of Program Verification. 30-39
• 
  John J. Darragh, Ian H. Witten, Mark L. James: The Reactive Keyboard: A Predicive Typing Aid. 41-49
• 
  Yehudah Freundlich: Knowledge Bases and Databases: Converging Technologies, Diverging Interests. 51-57
• 
  James D. Mooney: Strategies for Supporting Application Portability. 59-70
• 
  Brad 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. 71-85

• 
  John P. Stern: An American's View of the Japanese Standards System. 87-89

Volume 23, Number 12, December 1990

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

• 
  Alasdair Kemp: Information Technology Standardization is Key Area of Interest to IEE. 76-78

last updated on Mon May 20 02:56:22 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page