Physical Sciences and Mathematics Commons^™

Some Computational Aspects Of Queueing Network Models, Herb Schwetman Dec 1980

Introduction To The Configurable, Highly Parallel (Chip) Computer), Lawrence Snyder Nov 1980

Research In Secure Computing (Final Report), Dorothy E. Denning, Peter J. Denning Aug 1980

A Note On The Semantics Of Looping Programs In Propositional Dynamic Logic, Francine Berman Jul 1980

A Tale Of Two Islands (A Fable), Peter J. Denning Jun 1980

High Order Methods For Elliptic Partial Differential Equations With Singularities, Elias N. Houstis, John R. Rice Jun 1980

Principles, Preferences And Ideals For Computer Arithmetic, Thomas E. Hull, Christian H. Reinsch, John R. Rice Jun 1980

Principles Of Program Design Induced From Experience With Small, Public Programs, Douglas E. Comer Apr 1980

Operating Systems Articles, Peter J. Denning, Dorothy E. Denning Apr 1980

A Critique Of The Foundations Of Hoare-Style Programming Logics, Michael O'Donnell Apr 1980

Experience With Transporting Pascal To An Interactive Environment, Douglas E. Comer, John Garney Apr 1980

Operational Analysis Based On Minimal Information: A Hypothetical Case Study, Herb Schwetman Mar 1980

Low Contention Semaphores And Ready Lists, Peter J. Denning, T. Don Dennis, Jeffrey Brumfield Feb 1980

Programming With Recursion, Dirk Siefkes Feb 1980

Using The Purdue Procsy Terminal System (Pascal), Bob Brown Jan 1980

Using The Purdue Procsy Terminal System (Fortran), Bob Brown Jan 1980

On Increasing Confidence In Confidence Intervals, Peter J. Denning Jan 1980

Personal Key, Group Keys, And Master Keys, Dorothy E. Denning, Fred B. Schneider Jan 1980

Validating System Models: A Case Study, H. D. Schwetman Jan 1980

Testing Network-Of-Queues Software, Herb Schwetman Jan 1980

Independence Results In Computer Science, Deborah Joseph, Paul Young Jan 1980

Program Restructuring In Segmenting Environments, Jehan-François Päris Jan 1980

A Combinatorial Problem Concerning Processor Interconnection Networks, Michael J. O'Donnell, Carl H. Smith Jan 1980

Effort Minimization Based On Hierarchical Modularization, S. D. Conte Jan 1980

The Power Of Parallelism Automatic Program Synthesis, Carl H. Smith Jan 1980

Implementing The Mean Value Algorithm For The Solution Of Queueing Network Models, Herb Schwetman Jan 1980

Theft And Conspiracy In The Take-Grant Protection Model, Lawrence Snyder Jan 1980

Is Mathematical Software A Legitimate Research Area?, John R. Rice Jan 1980

Operational Analysis - An Aid To Interpretation Of Measurement Data, Herb Schwetman Jan 1980

Modeling Performance Of The B6700: A Case Study, Herb Schwetman Jan 1980