default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Computer, Volume 23, 1990
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 J. 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. Computer 23(4): 95-97 (1990)
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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
