The Community for Technology Leaders
Green Image
Issue No. 04 - July (vol. 9)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

A Semantic Design Method (Abstract)

I.T. Hawryszkiewycz , School of Information Sciences, Canberra College of Advanced Education
pp. 373-384

Software Structure for Display Management Systems (Abstract)

E.D. Carlson , Convergent Technologies, Inc.
pp. 385-394

A Paradigm for the Design of Parallel Algorithms with Applications (PDF)

I.V. Ramakrishnan , Department of Computer Science, University of Texas at Austin
pp. 411-415

Petri Net Models for the Evaluation of Applicative Programs Based on ?-Expressions (PDF)

W.E. Kluge , Gesellschaft f?r Mathematick und Datenverarbeitung GmbH
pp. 415-427

ESPRESO-A System for Process Control Software Specification (Abstract)

J. Ludewig , Brown Boveri Research Center
pp. 427-436

A Scheme of Parallel Processing for MIMD Systems (Abstract)

S. Jajodia , Department of Computer Science, University of Missouri
pp. 436-445

Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives (Abstract)

P. Wegner , Department of Computer Science, Brown University
pp. 446-462

Interconnection of Local Computer Networks: Modeling and Optimization Problems (Abstract)

G. Bernard , Laboratoire ISEM, Universit?Paris-Sud
pp. 463-470

A Causal Model for Analyzing Distributed Concurrency Control Algorithms (Abstract)

B. Bhargava , Department of Computer Science, University of Pittsburgh
pp. 470-486

Distribution Design of Logical Database Schemas (Abstract)

S. Ceri , Departimento di Elettronica, Politecnico di Milano
pp. 487-504

Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation (PDF)

null To-Yat Cheung , Department of Computer Science, University of Ottawa
pp. 504-512

Performance Analysis of FFT Algorithms on Multiprocessor Systems (Abstract)

L.N. Bhuyan , Department of Electrical Engineering, University of Manitoba
pp. 512-521

Control of a Heterogeneous Two-Server Exponential Queueing System (Abstract)

R.L. Larsen , National Aeronautics and Space Administration
pp. 522-526

Extending CSP to Allow Dynamic Resource Management (Abstract)

A. Silberschatz , Department of Computer Science, University of Texas
pp. 527-531

Weighted Processor Sharing-Results for Hyperexponential Servers (Abstract)

M.J. Ferguson , Bell-Northern Research Ltd., Ottawa, Ont., Canada and INRS-T?l?communications
pp. 531-535

A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity (Abstract)

A. Silberschatz , Department of Computer Science, University of Texas
pp. 535-538

Call for Papers (PDF)

pp. 538

Advance Program (PDF)

pp. 538
91 ms
(Ver 3.3 (11022016))