No abstract available.
The algebra of derivations and a semithue parser
While derivations are used to formally generate sentences from the productions of a grammar, the structure, or structural descriptions, which the grammar imposes on a sentence is the entity of general interest. For context free generation, a tree is an ...
The use of simulation for design analysis of an on-line financial application in a multi-programmed environment
In late Spring, 1968, the State Street Bank and Trust Company, Boston, Massachusetts, undertook a simulation study of a large, on-line file inquiry/update application that was being developed to run in one partition of a multi-programmed computer ...
SLANG a problem solving language for continuous-model simulation and optimization
SLANG is a mathematical problem modeling and solution language. It is one of several languages in the programming subsystem of the Computer User Executive (CUE) System developed by TRW Systems. SLANG is both a procedural and a command language designed ...
Conceptual design for automatic test system simulator
This paper describes the concepts pursued in the design of a “software” simulator for a large-scale, multipurpose, automatic test system. The test system (General Purpose Automatic Test System) has been in field use for several years, and the demand for ...
A modular continuous system modeling program
This paper describes a proposal for a continuous system modeling program (CSMP) which is structured in such a manner that its range of applicability may be extended at the option of the user.
Any CSMP may be characterized by three properties: (1) the ...
Terminal selection for an on-line hospital system
A wide variety of communication terminals designed to meet the exacting requirements of a broad based information retrieval system are now on the market. Such was not the case a few short years ago. Their very number has compounded the task of selecting ...
Terminal selection for an on-line hospital system
It will be seen that a system, so conceived, must accept, analyze, sort, and distribute a wide range of information in time to be effective. In the process, it will be called upon to serve a large number of users with varying skills, training, and ...
AUTONOTE: A personal information storage and retrieval system
This paper describes AUTONOTE, a personal storage and retrieval system designed for use by individuals working with large bodies of information. The user may enter a variety of textual materials and assign descriptors and phrases by which these ...
Documentation retrieval in a University Computer Center environment
The User Service Documentation Traffic Organizer (USDOCTOR) was developed to assist users of the University of Pennsylvania Computer Center (UPCC) to obtain documentation quickly and in a standard format. The traditional methods of distribution—stacking ...
Some techniques and trade-offs affecting large data base retrieval times
This paper presents a theoretical analysis of certain techniques for organizing large amounts of stored data to facilitate fast retrieval of desired information. The well-known access method involving the use of an inverted file to provide multi-keyword ...
A problem oriented computer-based instructional procedure
Reasons for the failure of computer assisted instruction to be more widely adopted at the university level are explored. Among the possible causes are inability to allow individualized instruction, and a lack of consideration of the reactions of ...
A control program for Computer Assisted Instruction on a general purpose computer
A Computer Assisted Instruction system, running in a multiprogramming environment on an IBM 360 Model 67, is described. Instructional sequences can be built from basic units called frames. These frames can be presented for keypunching in a format which ...
Analysis of constructed mathematical responses by numeric tests for equivalence
A method is described to determine if a constructed mathematical response is equivalent to the correct answer specified by the course author. Based on a combination of random evaluation and operator analysis, the method is theoretically justified for a ...
Teaching machine programs that generate problems as a function of interaction with students
This paper presents and describes a computer program that will generate specific problems to give a student that are tailor made to his performance. The program is initially given only general specifications for the type of problem. At run time, as a ...
Cyclic composite multistep predictor-corrector methods
Multistep predictor-corrector methods are commonly used for the numerical solution of ordinary differential equations. In its simplest form a k-step method with accuracy of order exceeding k + 2 is unstable. Methods such as those of Gragg and Stetter ...
The invariant imbedding numerical method for Fredholm integral equations with displacement kernels
An initial-value formulation for the solution of the Fredholm integral equation
u(t) = g(t) + @@@@ k(¦t−y¦)u(y)dy
is developed, and a feasible computational scheme outlined. Numerical results are given for an equation arising in the study of radiative ...
A study of Ostrowski efficiency for composite iteration algorithms
The following question is investigated: Is it possible for the function composition of Hermite interpolatory iteration algorithms to result in an increase in the Ostrowski efficiency? A detailed investigation is carried out to discover those cases when ...
Reducing the bandwidth of sparse symmetric matrices
The finite element displacement method of analyzing structures involves the solution of large systems of linear algebraic equations with sparse, structured, symmetric coefficient matrices. There is a direct correspondence between the structure of the ...
Optimal n-line Successive Over Relaxation
It is well known in numerical analysis that the computation per iteration in n-line S.O.R. for solving elliptic difference equations increases linearly with n whereas the asymptotic rate of convergence increases only with @@@@n3,4. Hence, it has been ...
A polyalgorithm for the automatic solution of nonlinear equations
This paper discusses the design of a polyalgorithm for the automatic solution of a non-linear equation F(x) = 0 for one variable. The polyalgorithm is part of NAPSS. The function F(x) is described by a computer program and is examined only by ...
Loom-constrained designs: An algebraic solution
This paper presents an algebraic solution to the problem: given a diagrammatic representation of a woven design (weave), determine (1) the size and type of loom patterning mechanism necessary to produce it; (2) the initial conditions of this loom, i.e., ...
Measurement criteria for virtual memory paging rules
Systems analysts are designing algorithms to reduce the large overhead costs of present paging schemes in virtual memory computer systems. In this paper an analytic and a simulation model expose serious deficiencies of a well known definition of a “bad ...
Measurement and analysis of a demand paging Time Sharing System
This paper presents performance measurements and analysis undertaken during development of RCA's Time Sharing Operating System (TSOS). The measurement results provide some indications of the capabilities of the operating system and its hardware. The ...
Models of Pure time-sharing disciplines for resource allocation
Pure time sharing (PTS) disciplines are those which involve in some way the simultaneous sharing of a processor or other service facility by more than one job at a time. Implicit is the requirement that the total processor capacity is fixed so that ...
SIPE: A TSS/360 software measurement technique
Analysis of the operation of a large-scale, complex operating system requires data that can be obtained only from “inside” the system as it is running. Such data can supplement that obtained via hardware measurements, and can support simulation models ...
Management Information System simulation models: A conceptual approach
Management Information Systems (MIS) provide management with information necessary for decision making in all areas of the firm. This paper presents a conceptual approach to construction of MIS simulation models. Such models may be used for efficient ...
Emulation in a telecommunications environment
This paper describes the problems encountered when a multilocation company centralizes its data processing function without simultaneously converting those existing systems designed for decentralized operation. Techniques are presented for solving these ...
A comparison of file organization techniques
This paper compares six general file organization techniques on four characteristics. Then drawing on the implications of a set-theoretic approach, it sketches a seventh technique offering apparently a superior combination of characteristics for data ...
Game strategy and collusion in an oligopolistic market
This paper provides a possible solution to the following problem: Can basic game strategy be applied in an oligopolistic market, where two individuals or firms, in collusion, divide a market area in which they have historically been competing? The ...
Reliability modeling techniques for self-repairing computer systems
This paper develops techniques for generating and using mathematical models applicable to architectural evaluation of the tradeoffs involved in designing self-repairing highly reliable computers for long missions.
These systems must use standby sparing ...
Index Terms
- Proceedings of the 1969 24th national conference