Distributed Resource Location Using Approximate Inference
Keith B. Vanderveen [1998]

Access, Addressing and Security in Wireless Packet Networks
Bharghavan Vaduvur [1995]

Active Storage Management for Database Systems
Chye L. Chee [1995]

Exploiting Parallelism in a Shared Disk Database System
Vikram Vij [1995]

Intelligent Cooperation and Communication for Integration of Distributed Computing Systems
Han-gyu Kim [1994]

Maintaining the Consistency of Large Evolutionary Software Based on Loose Hierarchical Truth Maintenance System
Claudia Chandra [1994]

On the Relative Importance of Bus and Cache Consistency Protocol in the Design of High Performance Shared Memory, Single-Bus Multiprocessor Systems
Michael C. Shebanow [1994]

The Design of a CASE Environment Architecture and the Performance Evaluation of Database Designs for Software Documents
Luis Miguel [1992]

Analysis and Design of Hard Real-Time Distributed Systems
Moon H. Kim [1991]

Integrated Mechanism for the Knowledge-Based Management of Distributed Systems
Young C. Shim [1991]

Scheduling Heuristics and Runtime Data Structures for the Parallel Execution of PROLOG Programs
Chien Chen [1991]

Cooperating Expert Systems: Models and Techniques
Shashi Shekhar [1990]

Adaptive Fault-Tolerant Computer Network
Wen-perng Tai [1990]

Modeling, Simulation, and Analysis of Systems with a Large Number of Interacting Entities
Atul Prakash [1989]

Load Sharing in Distributed Systems
Khosrow Dahi-Taleghani [1988]

New Optimization Techniques in Database Access and Maintenance
Jaideep Srivastava [1988]

Specification and Analysis of Distributed Systems with a Large Number of Processes
Vijay K. Garg [1988]

The Modeling, Analysis, and Design of Distributed Systems Based on Communicating Petri Nets
Joo-Seok Song [1988]

Event Management in Computer Networks
Yih-Farn Chen [1987]

Control and Management of Large and Dynamic Networks
Wei-Tek Tsai [1986]

Query Processing and Communication Control in Object Bases and Distributed Object Bases
Chen-Yu Sheu [1986]

Allocation of Processes and Files for Load Balancing in Distributed Systems
Kuolin Hua [1985]

Availability and Consistency of Global Information in Computer Networks
Shivaji L. Ganesh [1984]

The Modeling, Analysis and Synthesis of Communication Protocols
Siyi Terry Dong [1983]

A Study of the Large-Scale Structure of the Plasmasphere Using Extreme Ultraviolet Observations
Supriya Chakrabarti [1982]

An Integrated Approach to the Validatiion and Evaluation of Critical Software Systems
Yu-King R. Mok [1982]

Overhead and Reconfigurability Considerations in the Design of Distributed Computing Systems
Chung-Hao Jen [1982]

Software Requirements Engineering: Experience and New Techniques
Chong Woo Nam [1981]

Techniques for the Design and Management of Dynamic Computer Networks
Yuen-Wah Ma [1981]

An Input Domain Based Theory of Software Reliability and Its Application
Farokh B. Bastani [1980]

Reliability Considerations for Mass Storage Subsystems
Rooshabh P. Varaiya [1980]

A Systematic Approach for the Design and Analysis of Distributed Computer Systems
Gary S.-F. Ho [1979]

A Systematic Approach to the Management of Data on Distributed Data Bases
Benjamin W.-S. Wah [1979]

An Approach to the Requirements Analysis and Specification of Large-Scale Software Systems
Hon Hing So [1979]

On Design and Verification of Program Modules for Resource Sharing
Wu-Hon Francis Leung [1979]

Processor Allocation in a Computer Network with Distributed Ownership
Paulo M. B. Franca [1979]

A Systematic Approach to the Development and Validation of Software for Critical Applications
Siu-Bun Franklin Ho [1978]

A Systematic Design and Analysis of Reconfigurable Distributed Computer Systems
Tanuku Krishnarao [1978]

Control of Access to Shared Information
Theodore D. Friedman [1977]

Design and Implementation of an Adaptable Compiler for Minicomputer Type Architecture
Pariborz Jahanian [1977]

Execution Time Analysis for Real-Time Microcomputer Programs
Fay Chong, Jr. [1977]

Specification of Reliable Large-Scale Software Systems
Alex P. Conn [1977]

A Study of Extendible Architectures
Virgil D. Gligor [1976]

A Systematic Study of Computer System Reliability
Yih-Wu Han [1976]

Toward Automated Validation of Computer Programs
Wen-Tsuen Chen [1976]

A Structured Study of Parallel Pipelined Systems
Hon F. Li [1975]

Higher Level Languages and Compilers for Microprogramming Producing Parallel Code
Mahmoud Tabandeh [1974]

Primary Memory Contention in a Multi-Processor Multimemory Computer System Executing Related Tasks
David A. Pessel [1974]

Automatic Testing for Microprogram Equivalence
Kittur S. Shankar [1973]