Physical Sciences and Mathematics Commons^™

Lazy Evaluation And Nondeterminism Make Backus' Fp-Systems More Practical, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Articles and Research

Backus' FP-systems are made more practical by introducing into them lazy evaluation and nondeterminism. This is done in the framework of a concrete programming language called FP*. From the one hand, this language is almost as mathematical as FP-systems are. From the other hand, it gives the possibility to manage secondary memory and to develop such applications as, for instance, interactive and distributed file systems. Experimental versions of a compiler and an interpreter for the FP* language are implemented.

[Introduction To] A Gentle Introduction To The Vax System, John R. Hubbard

Bookshelf

This book was written originally for students enrolled in computer science courses at the University of Richmond. Very few had worked on a large time-sharing system like the VAX.

The purpose of this book is to help the novice become comfortable using any of the Digital Equipment Corporations VAX computers, from the Micro-VAX to the powerful VAX 8000 system. The book is meant to be used as a tutorial.

Intensional Reasoning About Knowledge, Oliver B. Popov

Doctoral Dissertations

"As demands and ambitions increase in Artificial Intelligence, the need for formal systems that facilitate a study and a simulation of a machine cognition has become an inevitability. This paper explores and developes the foundations of a formal system for propositional reasoning about knowledge. The semantics of every meaningful expression in the system is fully determined by its intension, the set of complexes in which the expression is confirmed. The knowledge system is based on three zeroth-order theories of epistemic reasoning for consciousness, knowledge and entailed knowledge. The results presented in the paper determine the soundness and the completeness of …

Impact Of Automation On Process Control Decision-Making, Steven M. Miller, Susan R. Bereiter

Research Collection School Of Computing and Information Systems

This paper investigates changes in the process control of a vehicle assembly plant which had been modernized from a principally manual procedure to one that uses programmable automation extensively. Process control is defined as the information flow and decision-making required to perform basic process operations. We investigate the effects of implementing a computer-integrated production system on the amount and types of process control decision-making and on the distribution of process control decision-making between humans and machines. After automation, the emphasis on decisions regarding product quality specifications increased and the emphasis on decisions related to flexibility in handling a variety of …

Multilist And Inverted File System Performance Measurements, Ashok Chandramouli

Masters Theses

"This study evaluates the multilist and inverted file systems. It describes the structure of the two file system and then proceeds to investigate the performance. The performance is based on quantitative estimates of space requirements for file system, time to retrieve records, time to insert a record, time to delete a record, time to update a record and time to exhaustively read and reorganize the file system. The study then investigates specific situations in which one file system seems to perform better than the other"--Abstract, page ii.

A Proposed C Language Binding For The Graphical Kernel System-3d, Mark Gerard Bolten

Masters Theses

"This thesis introduces a proposed C language binding definition for the International Standards Organization's draft international standard of the Graphical Kernel System-3D. This work augments the earlier C language binding of the two dimensional version of the Graphical Kernel System commonly known as GKS. The proposed function interface will provide a basis for, if not a final, C language binding for the three dimensional version of the Graphical Kernel System"--Abstract, page ii.

Medial Axis Transform Using Ridge Following, Richard Mark Volkmann

Masters Theses

"The intent of this investigation has been to find a robust algorithm for generation of the medial axis transform (MAT). The MAT is an invertible, object centered, shape representation defined as the collection of the centers of disks contained in the shape but not in any other such disk. Its uses include feature extraction, shape smoothing, and data compression. MAT generating algorithms include brushfire, Voronoi diagrams, and ridge following. An improved implementation of the ridge following algorithm is given. Orders of the MAT generating algorithms are compared. The effects of the number of edges in the polygonal approximation, shape area, …

Performance Parameter Measurements Of Generic Files, Sankarraman Subramanian

Masters Theses

"This study discusses the performance parameter measurements of generic files, the pile file, the sequential file, the indexed-sequential file, the indexed file and the direct file. The file performance measurements are compiled in a software package. The study then describes the use of such software package as a simulation tool in a file design environment"--Abstract, page iii.

Training For The Airland Battle With Modeling And Simulation On The Microcomputer, David Dean Holmes

Masters Theses

"This paper describes a methodology for modifying a combat training simulation model to include a comprehensive data structure and computer software, to allow the model to be implemented on a microcomputer. It begins by developing a topology for combat simulation models and proceeds to define a data structure suitable for describing military units and facilitating the varied aspects of the simulation. An eclectic approach to the development of the model and the implementing software is followed throughout. Appropriate aspects of a number of models are incorporated into a single model suitable for training military commanders and their staffs. PASCAL, a …

Ethernet Performance: Design And Implementation Study, Michael M. Chaney

Masters Theses

"General concepts concerning local area network designs, functions and topologies will be presented. Ethernet as a multipoint bus topology local area network will be presented in detail. The Carrier Sense Multiple Access/Collision Detect (CSMA/CD) method of fairly regulating access to the shared network bus is studied. The Ethernet Network in relation to the Open Systems Interconnect (OSI) is reviewed, but only the layers pertaining to Ethernet are discussed throughout the majority of the paper. The specifications as described by Xerox, Digital and Intel are presented to help the designer understand the network's physical limitations. Analytical models are used to predict …

Lily: A Parser Generator For Ll(1) Languages, Timothy Topper Taylor

Masters Theses

This paper discusses the design and implementation of Lily, a language for generating LL(1) language parsers, originally designed by Dr. Thomas J. Sager of the University of Missouri--Rolla. A method for the automatic generation of parser tables is described which creates small, highly optimized tables, suitable for conversion to minimal perfect hash functions.

An implementation of Lily is discussed with attention to design goals, implementation of parser table generation, and table optimization techniques. Proposals are made detailing possibilities for further augmentation of the system. Examples of Lily programs are given as well as a manual for the system.

The Implementation Of A Compiler Targeted To A Multiprocessor Environment, R. Dwight Schettler

Masters Theses

"This research is an application of the techniques which have been developed for the detection and exploitation of implicit parallelism. A system has been developed based on Intel 86/12A single board computers utilizing dual-port RAM for communication. The compiler system accepts the source code of a simple block structured language and generates parallel programs to be executed on the Multibus system. The techniques used for detection of parallelism are stressed"--Abstract, page ii.

Speedreading, Marcel Just, Patricia Carpenter

Marcel Adam Just

No abstract provided.

Method And Apparatus For Division Pct:Ep0075745, Robert Iannucci, James Kleinsteiber

Robert A Iannucci

No abstract provided.

Measuring And Managing Software Reliability, Robert Yacobellis

Robert H Yacobellis

No abstract provided.

High Performance Memory System Utilizing Pipelining Techniques Us:4685088, Robert Iannucci

Robert A Iannucci

No abstract provided.

Dyslexia, Marcel Adam Just, Patricia A. Carpenter

Marcel Adam Just

No abstract provided.

The Use Of Services In The Tilde Environment, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Finding The Convex Hull Of A Sorted Point Set In Parallel, Michael T. Goodrich

Department of Computer Science Technical Reports

No abstract provided.

Study Of The Effectiveness Of Cost-Estimation Models And Complexity Metrics On Small Projects, Lein-Lein Chen

FIU Electronic Theses and Dissertations

Software cost overruns and time delay are common occurrences in the software development process. To reduce the occurrences of these problems, software cost estimation models and software complexity metrics measurements are two popular approaches used by the industry.

Most of the related studies are conducted for large scale software projects. In this thesis, we have investigated the effectiveness of three popular cost estimation models and program complexity metrics in so far as their applicability to small scale projects is concerned.

Experiments conducted on the programs collected from FIU and NCR corporation indicate that none of the cost estimation models precisely …

The Cypress Link Level Protocol, Douglas E. Comer

Department of Computer Science Technical Reports

No abstract provided.

The Cypress Network, Douglas E. Comer, Thomas Narten, Rajendra Yuavatkar

Department of Computer Science Technical Reports

No abstract provided.

The Cypress Coaxial Backbone Packet Switch, Douglas E. Comer, Thomas Narten, Rajendra Yuavatkar

Department of Computer Science Technical Reports

No abstract provided.

Finding Maximum Cliques On Circular-Arc Graphs, Alberto Apostolico, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.

On The Analysis Of The Average Height Of A Digital Trie: Another Approach, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Availability Driven Multiple Access Network Architecture, Dan Cristian Marinescu, Vernon J. Rego, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Some Explicit Formulas For Mixed Exponential Service Systems, Vernon J. Rego

Department of Computer Science Technical Reports

No abstract provided.

Realistic Pde Solutions For Non-Rectangular Domains, Calvin J. Riobbens, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Structural, Remote Sensing And Multivariate Correlation Methods As Aids To Mineral Exploration, Central Ireland, D.W. Coller, M.F. Critchley, J.M. Dolan, Ciaran Mcdonnell, C.J. Murphy, W.E.A. Phillips, D.J. Sanderson

Books/Book chapters

This work discusses structural, remote sensing and multivariate correlation methods as aids to mineral exploration in West Central Ireland. The work was performed as part of the EU-funded CREST project.

A General Design Tool For Computer Directories, Edward J. Peeler

Masters Theses

The primary objective of a directory is to organize information for efficient retrieval. There are many techniques that can be applied to the design of a directory. One particularly useful technique employs the use of inverted files on range attributes. The technique provides an effective directory for a variety of applications and for very large databases. This paper examines the technique and describes the implementation of a general design tool based on these principles.