Physical Sciences and Mathematics Commons^™

Software Science Revisited: A Critical Analysis Of The Theory And Its Empirical Support, V. Y. Shen, S. D. Conte, Herbert E. Dunsmore Jan 1981

Restruct: A Specification-Driven File Transformation Tool, James D. Arthur, Douglas E. Comer Jan 1981

Improving Virtual Memory Performance By Off-Line Page Clustering, Jehan-Francois Paris Jan 1981

A New Ordering Scheme For The Hermite Bicubic Collocation Equations, Wayne R. Dyksen, John R. Rice Jan 1981

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

Programming With Recursion, Dirk Siefkes Feb 1980

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

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

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

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

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

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

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

Models For Verifiers, Francine Berman Jan 1980

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

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

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

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

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