ppxscal/embedding_network huggingface dataset:
Can you teach data base with a felt board?...or, how to improve training using a systems approach
Authors: Samuel T. Barnett, Sharon D. Daspit
Venue: Proceedings of the 10th annual ACM SIGUCCS conference on User services (1982)

International Data Base Systems has just spent more than a staff-year developing a new course for users of its SEED data base management system. The Customer Education department is made up of programmers turned teachers. Although we've all spent years sitting in classrooms, we have no formal training in education. What we've discovered is that technical concepts, even subjects as complex as data base management systems, can be taught better using some of the techniques used by educators. We've learned that a systematic development model works as well for course design and implementation as it does for system design. We've come up with an approach to developing training that could be used in any technical area. And most important, we've found that the synthesis of technical expertise and curriculum development expertise works. When we set out to develop the new course, we hired a curriculum development specialist. He knew as much about data base management systems as we knew about curricula. Now he knows a lot more about DBMS, and we've learned a lot about curricula! IDBS has always considered training of its customers essential. A DBMS is a complex set of tools, and we found that the customer support burden was reduced if users were given an introductory seminar about the product they had just purchased.
Optimal design of welded girders
Authors: Albert D. M. Lewis, Natarajan Annamalai, John E. Goldberg
Venue: Proceedings of the 7th Design Automation Workshop (1970)

A computer program has been developed for automatically producing least cost designs for welded plate girders meeting the requirements of the 1969 &ldquo;Specification for the Design, Fabrication and Erection of Structural Steel for Buildings&rdquo; of the American Institute of Steel Construction. Girder loading may consist of a uniform load and concentrated loads. Flange and web plate dimensions, bearing and intermediate stiffener dimensions and locations are produced, as required, for spans with unsymmetric loading. In addition, for spans with symmetric loading, a flange splice location and the reduced flange thickness at the ends of the span may be produced if the most economical girder is obtained by splicing the flange. Backtrack programming is applied in determining the optimal design.
GERMINAL: Towards a general and integrated system for computer aided design
Authors: R. Jacquart, Ph. Regnier, F. R. Valette
Venue: Proceedings of the 11th Design Automation Workshop (1974)

In 1969 a symposium involving CAD took place in Davenport -USA-. We quote from the report [1]: &ldquo;we felt that the confusion regarding the definition of the term &ldquo;CAD&rdquo; was, in itself, a characterization of the State-of-the-art&rdquo;. Four years later a certain confusion still remains. This is an evidence of the fact that the field of computer-aided design is still largely unexplored. We have determined three steps in the development of CAD as of the present time. In the first step, computers were used to execute a set of routines, each of them defined to work autonomously and to perform a single task. This task contributed to the evaluation or determination of a particular aspect of a design process in any field. Because there had been an opportunity to use a computer other than in batch mode, and because it was found interesting to have the possibility of communicating between several different programs which contribute to the same design process, improvement on the first step had been attempted.
A method of automatic data path synthesis
Authors: Charles Y. Hitchcock,  III, Donald E. Thomas
Venue: Proceedings of the 20th Design Automation Conference (1983)

A method of automatically synthesizing data paths from a behavioral description has been developed. An initial implementation of this method, which is integrated into the Carnegie-Mellon University Design Automation system, is presented in this paper. Its principles of operation are explained and an evaluation of its performance is given. This method of automatic synthesis surpasses the performance of previous CMU-DA approaches. Further, a designer can use it in a semi-automatic fashion and complement its abilities with his expert insight.
Operating system projects for undergraduates
Authors: Kenneth R. Wadland
Venue: ACM SIGCSE Bulletin (1980)

This paper describes the projects written by students as part of our one-semester course in Operating Systems. It is aimed at Juniors and Seniors of average capabilities. The course is divided into three parts: (a) The assembly language, utilities and RT-11 operating system (*) of DEC's PDP-11 family, (b) general concepts in operating systems, and (c) a team programming project. Only the final third of the course will be discussed. In the remainder of this paper we describe the following: rationale for having the students write a stand-alone operating system in assembly language, the two design outlines given to the students, and our successes and failures with them.
Energy input-output simulation of midwest crop production
Authors: Robert E. Muller,  Jr., Robert M. Peart, Samuel D. Parsons, Robert F. Dale, Robert C. Pickett, Otto C. Doering,  III
Venue: Proceedings of the 9th conference on Winter simulation - Volume 2 (1977)

A simulator was developed to evaluate alternative agricultural practices for energy efficiency in Midwest crop production. It uses seven years of real weather data, including farmer observations of good working days which are used to simulate when field operations could be performed. Solar radiation, temperature, rainfall, and fertilizer inputs are used to calculate crop yields and harvest dates. The simulator uses inputs that describe the operation of a farm including the crop rotation, operations required for each crop, and the energy requirements of the operations. A priority system is included to determine the order of performing operations. Outputs summarizing crop production and energy use on the farm are produced by the simulator. Crop growth submodels are included for corn, winter wheat, soybeans, alfalfa hay, and hairy vetch, a legume which is plowed down for soil improvement.
Combat system functional operability simulation
Authors: Norman W. Kowalski
Venue: Proceedings of the 15th annual symposium on Simulation (1982)

The Submarine Combat System is changing at a rapid pace coincident with changes in technology, submarine missions, and threat capabilities. Rapid change causes significant difficulties in the effective definition of the human interface to the system. These difficulties occur with the introduction of each new system or capability and are related to meeting the submarine crew's functional needs, without overwhelming it with too much unneeded information. This paper explores using simulated tactical environments as inputs to a functional prioritization scheme to systematically identify the functional needs of the submarine crew, and provide a means of effective human interface definition.
Science education and research for technological progress
Authors: S. Imtiaz Ahmad
Venue: Proceedings of the twelfth SIGCSE technical symposium on Computer science education (1981)

Education implies systematic instruction, schooling or training of people so that they are able to meet challenges of the environment they live in, and be able to contribute positively in solving problems to build a better society. Science education is usually equated with education in the area of natural and physical sciences, but in modern day society it includes important aspects of social sciences. Education at academic institutions of higher learning must go hand in hand with research&mdash;an activity aimed at discovering new things. While the academic institutions engage in pioneering studies in basic or applied research, industrial research labs are required to shape this pioneering work into products to be used by the society. Technological progress implies a process of breaking through obstacles, and producing new things and eliminating the old.
Documentation of concurrent programs
Authors: Deborah A. Boehm-Davis, Andrew M. Fregly
Venue: Proceedings of the SIGCHI conference on Human factors in computing systems (1983)

A complete software package always includes documentation. Although its importance is often overlooked, documentation may be the only source of program design information. Major tasks in the software life cycle, such as design, coding, testing and maintenance, are often performed by different individuals. Lientz and Swanson (1979) found that, typically, only about half of a software system's maintenance personnel had been involved in its development. Poor documentation techniques can, therefore, dramatically increase labor costs throughout the labor intensive software life cycle by making both development and maintenance tasks more difficult. Recent research in this area (Boehm-Davis, Sheppard, Bailey, 1982; Sheppard, Kruesi, Bailey, in press; Sheppard, Kruesi, Curtis, 1981) has been directed toward determining performance on a set of software tasks as a function of the type of documentation. In these studies, programmer performance was examined on comprehension, coding, debugging, and modification tasks as a function of the type of documentation provided. The documentation formats were constructed from the factorial combination of three types of symbology with three types of spatial arrangement. These formats were chosen because they represent the primary dimensions for categorizing the way in which available documentation aids configure the information they present to programmers (Jones, 1979). The three types of symbology in which information was presented consisted of normal English, abbreviated English (such as program design language), and ideograms. The spatial arrangements of the information used in these experiments were sequential, branching, and hierarchical. While each of the four tasks pursued in this research produced slightly different results, there was a general trend towards the superiority of succinct symbology and a branching spatial arrangement in each.
A search path selection algorithm for the Data Independent Accessing Model (DIAM)
Authors: M. M. Astrahan, S. P. Ghosh
Venue: Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control (1974)

The Data Independent Accessing Model (DIAM) provides great flexibility in specification of access paths to data. When a query is expressed in a Representation Independent Language (RIL), the problem arises of finding the relevant access paths and choosing the best ones for the query. A heuristic algorithm is described for finding the paths and making the choice.
Information systems: A disciplined approach to design
Authors: S. Imtiaz Ahmad
Venue: Proceedings of the thirteenth SIGCSE technical symposium on Computer science education (1982)

This paper discusses an approach to information system design. It discusses specific factors which should be considered and the steps which should be followed during the phases dealing with study of the situation and analysis of requirements, and external design. For illustration of this disciplined approach, the paper provides examples of organizations such as a medical/dental office, a pharmacy, a retail store, and a repair shop. Details of typical requirements are then derived for these example organizations, followed by a proposal for an external design configuration.
A preliminary evaluation of verifiability in Ada
Authors: A. R. Tripathi, W. D. Young, D. I. Good
Venue: Proceedings of the ACM 1980 annual conference (1980)

In this paper we examine Ada with regard to program verification and make certain suggestions towards writing potentially provable Ada programs. We attempt to isolate and discuss those features of Ada which are not susceptible to current verification techniques. From verifiability considerations, the most critical features in Ada appear to be those which deal with data sharing under concurrent processing, direct referencing of non-local variables, access variables, &ldquo;approximate&rdquo; data-types, and generic program units. The independence of program units along with well defined interfaces for interactions is presented as desirable not only from software engineering aspects but also from the formal proof considerations. However, the possibility of having a large number of variables, potentially sharable among concurrent processes, is likely to make the proofs of Ada programs unmanageable. It is asserted, however, that with a certain discipline on the programmer verifiable programs can be written in Ada.
Interactive circuit design program in APL
Authors: D. A. Zein, C. W. Ho, A. J. Gruodis
Venue: ACM SIGAPL APL Quote Quad (1983)

The Interactive Circuit Design Program is a multi-purpose program implemented in APL. It features steady state (DC), frequency (AC), and transient (TR) analysis of linear and nonlinear circuits with arbitrary nonlinearities. Lossless coupled and uncoupled transmission lines in the DC, AC and TR modes can be analyzed in addition to inhomogeneous media in the DC and TR modes. A graphic interface allows users to plot outputs from TR or AC runs on a vector storage tube. The analytic techniques used include a modified nodal method of formulation, an APL-tailored parallel pivoting strategy variable order, variable step implicit integration scheme with an efficient integration strategy.
Diagnostic system for large scale logic cards and LSI'S.
Authors: Susumu Goshima, Yuichi Oka, Tokinori Kozawa, Teruo Mori, Yoshimitsu Takeguchi, Yasuhiro Ohno
Venue: Proceedings of the 18th Design Automation Conference (1981)

We have developed the diagnostic system, consisting of highly automated test generator, fast fault simulator and automatic fault locator. Several techniques, employed in the system, are as follows: &bull;9-value D-Algorithm for sequential circuits. &bull;6-value concurrent fault simulator. &bull;Functional Modeling of RAM'S, ROM'S, counters, and etc. &bull;Iterative processing of generator and simulator. This system has contributed to testing cards, and LSI'S used in Hitachi computer M-200H and others.
Computer personnel productivity: Methods of measurement and improvement
Authors: L. R. Cottrell, R. A. Rouse
Venue: Proceedings of the 1979 annual conference (1979)

SIG CPR is pleased to sponsor this panel. First, we will present an integrated productivity, training and performance planning appraisal framework. This framework is intended to relate contributing factors to productivity in a cause/effect relationship. This would then allow for optimization of the factors based on an overall perspective. Then, in more detail, we will examine specific areas within this framework. A case history illustrates one company's career development program that optimizes a subset of the &ldquo;framework&rdquo; parameters. This is followed by a survey report on turnover that examines another significant subset of factors. Finally, a current look at computer personnel training examines another aspect in detail.
Information systems for management in the eighties
Authors: Mary R. Sumner
Venue: ACM SIGCSE Bulletin (1984)

A course in Management Information Systems must prepare future users and information systems professionals for their roles in analyzing application requirements and designing information systems to serve business and individual needs. The objectives, organization, content, and methods used to teach this course to both MIS and non-MIS majors within the School of Business at Southern Illinois University are described in detail. The systems development project, which involves students in learning tools and techniques for structured systems analysis and design, as well as in applying these methods to an actual design project, is one of the most important activities of the course. Students have an opportunity to work together in their respective roles as users and systems analysts and to use project management and control techniques to assure effective results.
Computer drafting of stones, wood, plant and ground materials
Authors: Chris I. Yessios
Venue: Proceedings of the 6th annual conference on Computer graphics and interactive techniques (1979)

Architectural presentation drawings frequently require the drafting of stones, wood patterns, plants and ground materials, which, contrary to the majority of drafting tasks, cannot rely on repetitious procedures. This paper discusses and illustrates computer implemented algorithms which generate graphic representations of the above materials. Simulating a process known to be applied in practice is certainly a sound approach, and one such algorithm, applicable for the derivation of stone walls, is presented, But the majority of the algorithms discussed are based on a technique which introduces randomly generated disturbances on initially regular patterns. The latter algorithms in particular have produced highly satisfactory graphic representations, which include frequently hand-made qualities.
Validating a bus operations simulation model
Authors: Kevin T. Ryan
Venue: Proceedings of the 11th conference on Winter simulation - Volume 2 (1979)

An existing but unvalidated digital simulation model of a system of urban bus routes is reviewed. A data collection project is described which was to yield sufficient field data to allow at least partial validation of the model. Data collection and analysis were completed, although with some difficulty. Previous field results were reviewed and found to be reasonably consistent. High levels of variance were observed so that model inputs derived by averaging, were very approximate. A theoretical fault in the model was also found. Partial validation was attempted, but with limited success. The project provided insights on the model, the problem of bus scheduling, and on the methodology of simulation validation.
An efficient virtual machine implementation
Authors: Ronald J. Srodawa, Lee A. Bates
Venue: Proceedings of the workshop on virtual computer systems (1973)

This paper describes the techniques used to implement an efficient virtual machine facility within MTS for the IBM System/360 Model 67. The goals of the project were to support the IBM Operating System, including the Indexed Sequential Access Method and Teleprocessing capabilities, as a subsystem under MTS with a maximum teleprocessing degradation of 30% for OS/360 programs and complete protection between OS/360 and MTS. The first attempt, using channel program relocation similar to that employed by CP-67, provided unacceptable response to teleprocessing requests which required indexed accesses to the data base. The second attempt obviated the need for most software relocation of channel programs by assuring that the OS/360 buffer areas and channel programs were allocated to main storage having addresses identical to their virtual addresses. Storage protection was accomplished by a hardware change to the IBM System/360 protection mechanism which created a two-level hierarchy of storage keys. Using these techniques the virtual machine met the goals of the project. The techniques employed are applicable to virtual memory systems other than MTS and the IBM System/360 Model 67
The proximity of users to user services: The opposite case
Authors: G. Christopher Habers
Venue: Proceedings of the 5th annual ACM SIGUCCS conference on User services (1977)

The title of this paper is a purposeful misreading of a suggested topic that is designed to stress a major fact of CUNY/UCC life. The City University of New York consists of 21 individual units scattered throughout the five boroughs of New York City with a total constituency of 250,000 people. The University Computer Center provides varied teleprocessing and batch services on our two IBM 370/168's from a centralized location. We are physically remote from all units and therefore, by definition, from our constituency&mdash;both active and potential.
What's in store for you?
Authors: Richard T. Franta
Venue: Proceedings of the 9th annual ACM SIGUCCS conference on User services (1981)

The Computer Center at the University of Minnesota has recently set up a retail store operation for the sale of computer-related documentation and supplies. This paper will discuss the factors which lead up to the decision to begin a retail operation as well as the policy decisions which govern the operation. I will also discuss the rules which affect the operation within a tax-exempt institution, the problems of staffing, stocking, space, and point of sale records. New problems which are the direct result of network expansion and microcomputer technology will also be addressed. It is my hope that this discussion will help you to avoid some of the problems that we encountered. During the summer of 1980, there were many things happening at the University of Minnesota which eventually resulted in the opening of the University Computer Center Store. Inflation and the economy made it obvious that the Computer Center budget was not going to expand at a rate which would allow us to maintain our existing level of services. This meant that we had to search for new areas of income to offset our increased expenses and permit us to provide what we felt were needed services. All of the &ldquo;free&rdquo; services provided by the University Computer Center (UCC) came under close scrutiny to determine which ones could be eliminated, reduced, or provided on a charge basis. One of these areas was documentation.
Program schemas with equality
Authors: Ashok K. Chandra, Zohar Manna
Venue: Proceedings of the fourth annual ACM symposium on Theory of computing (1972)

We discuss the class of program schemas augmented with equality tests, that is, tests of equality between terms. In the first part of the paper we discuss and illustrate the &ldquo;power&rdquo; of equality tests. It turns out that the class of program schemas with equality is more powerful than the &ldquo;maximal&rdquo; classes of schemas suggested by other investigators. In the second part of the paper we discuss the decision problems of program schemas with equality. It is shown for example that while the decision problems normally considered for schemas (such as halting, divergence, equivalence, isomorphism and freedom) are solvable for Ianov schemas, they all become unsolvable if general equality tests are added. We suggest, however, limited equality tests which can be added to certain subclasses of program schemas while preserving their solvable properties.
TIMS, a Testing Information and Management System
Authors: Chris Daily
Venue: Proceedings of the 6th annual ACM SIGUCCS conference on User services (1978)

The purpose of this presentation is to provide you with an insight as to how Colorado State University has employed the computer as a tool in teaching basic mathematics. In addition, I will be presenting the design of the computer system as it exists today as well as our plans for the future. The system I am speaking of is known at CSU as Testing Information and Management System, or TIMS. TIMS originated in the form of a very basic exam grading program. Multiple choice exams were periodically given to a small number of mathematics students and simply scored by the computer.
Quasi-realtime languages (Extended Abstract)
Authors: Ronald V. Book, Sheila A. Greibach
Venue: Proceedings of the first annual ACM symposium on Theory of computing (1969)

Quasi-realtime languages are the languages accepted by nondeterministic multitape Turing machines in real time. The family of quasi-realtime languages forms an abstract family of languages closed under intersection, linear erasing, and reversal. It is identical with the family of languages accepted by nondeterministic multitape Turing machines in linear time. Every quasi-realtime language can be accepted in real time by a non-deterministic one stack, one pushdown store machine, and can be expressed as the length-preserving homomorphic image of the intersection of three context-free languages.