ppxscal/embedding_network huggingface dataset:
A programming language for the teaching of algorithmic analysis
Authors: William Max Ivey, Larry C. Eversole
Venue: Proceedings of the second SIGCSE technical symposium on Education in computer science (1972)

This report deals with the design, implementation and evolution of programming language designed specially for the teaching of Algorithmic Processes. In the first section two alternative approaches to the teaching of this first course in Computer Science are described. Next the authors state their basic hypothesis: that a programming language may be custom-designed for a given flow chart language with ensuing benefit. A flow chart language is chosen and described in detail with several examples of complete problems solved in flow chart form, Next the programming language is described and the problems solved in the previous section with flow charts are now coded in this programming language. Several simplifying features of the programming language are described. This programming language is now being utilized in a college classroom situation in order to evaluate its effectiveness as a teaching tool. A brief description of its current use and the means of its evaluation are presented in the last section.
Office automation: The science that supports it (Panel Discussion)
Authors: Michael P. Barnett, Robert A Myers, Clarence A. Ellis
Venue: Proceedings of the ACM 1980 annual conference (1980)

Many discoveries and developments in science and technology over the last few years have made office automation possible. National productivity and well being depend upon technology transfer, and this requires people who combine an appreciation of industrial and social needs with a knowledge of discoveries that can help. The design and evolution of equipment, materials and systems architecture used in office automation are supported by many disciplines - the traditional branches of physical science and engineering, mathematics and human factors, computer science and other subjects too. In this session, the panel members will explain in popular terms some of the scientific advances used in office automation and related activities.
Liaison marketing a personnel function for user services
Authors: Margaret E. Rettenmaier
Venue: Proceedings of the 8th annual ACM SIGUCCS conference on User services (1980)

The author discuss is the marketing of computer science and user services.
A multibaseline stereo system with active illumination and real-time image acquisition
Authors: Sing Bing Kang, J. A. Webb, C. L. Zitnick, T. Kanade
Venue: Proceedings of the Fifth International Conference on Computer Vision (1995)

We describe our implementation of a parallel depth recovery scheme for a four-camera multibaseline stereo in a convergent configuration. Our system is capable of image capture at video rate. This is critical in applications that require three-dimensional tracking. We obtain dense stereo depth data by projecting a light pattern of frequency modulated sinusoidally varying intensity onto the scene, thus increasing the local discriminability at each pixel and facilitating matches. In addition, we make most of the camera view areas by converging them at a volume of interest. Results show that we are able to extract stereo depth data that are, on the average, less than 1 mm in error at distances between 1.5 to 3.5 m away from the cameras.
On-line architecture tuning using microcapture
Authors: A. M. Abd-Alla, Laird H. Moffett
Venue: Proceedings of the 3rd annual symposium on Computer architecture (1976)

The modification or tuning of the micro-code in a computer that utilizes a writable control store is one method whereby a program's execution time can be improved. A method for automatically performing a microcode tuning or synthesis has been developed by Drs. Karl-gaard and Abd-Alla and is discussed in detail in [1]. Presented is an extension of this effort which allows the microcode tuning to be performed on-line on program loops. This is accomplished by gathering data on characteristics of the program during its execution, utilizing this data to generate the information required to tune the microprogram, initiating the on-line tuning procedure, and transferring to the tuned routine to complete the execution.
A tutorial on simulation programming with SIMPAS
Authors: R. M. Bryant
Venue: Proceedings of the 13th conference on Winter simulation - Volume 2 (1981)

SIMPAS is a portable, strongly-typed, event-oriented, discrete system simulation language embedded in PASCAL. It extends PASCAL by adding statements for event declaration and scheduling, entity declaration, creation and destruction, linked list declaration and manipulation, and statistics collection. A library of standard pseudo-random number generators is also provided. This paper gives a tutorial on simulation programming using SIMPAS. We briefly discuss event-oriented simulation language concepts, give an overview of the programming language PASCAL, and then describe in detail the simulation extensions that SIMPAS provides.
A good Hoare axiom system for an ALGOL-like language
Authors: Joseph Y. Halpern
Venue: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1984)

Clarke has shown that it is impossible to obtain a relatively complete axiomatization of a block-structured programming language if it has features such as static scope, recursive procedure calls with procedure parameters, and global variables, provided that we take first-order logic as the underlying assertion language [Cl]. We show that if we take a more powerful assertion language, and hence a more powerful notion of expressiveness, such a complete axiomatization is possible. The crucial point is that we need to be able to express weakest preconditions of commands with free procedure parameters. The axioms presented here are natural and reflect the syntax of the programming language. Such an axiom system provides a tool for understanding how to reason about languages with powerful control features.
Simulation and expected performance analysis of multiple processor Z-buffer systems
Authors: Frederic I. Parke
Venue: ACM SIGGRAPH Computer Graphics (1980)

The results of expected performance analysis and simulation of three multiple processor Z-buffer architectures are presented. These architectures have been proposed as approaches to applying many processors, working in parallel, to the task of rapidly creating shaded raster images. These architectures are attractive since they offer potentially high performance, in terms of image update rate, at modest cost. All three approaches make use of multiple instances of identical processor modules. The analyses and simulations indicate that substantial gain is possible by applying multiple processors to the task. But, as more and more processors are added, additional gains in performance become smaller and smaller. This result suggests optimal system sizes. The performance of these architectures depends on the processors used, the number of processors, and certain characteristics of the image environments. Each architecture has its own performance characteristics and limitations.
Security considerations in system design
Authors: James J. Pottmyer, Ken Fong, Stelio Thompson, Ralph Shattuck
Venue: Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge (1984)

This session addresses today's design efforts, seeking to identify security issues for fifth generation computing. Emphasis is placed on disaster recovery, auditing and evaluation of computer systems, and special problems arising from the proliferation of small computers. K. Fong, whose abstract follows in these Proceedings, describes our changing approach to providing uninterruptable access to automated information resources. These changes can include total redundancy and geographic dispersion, ensuring compatibility and transportability of information and software, as well as automated facilities to recover essential functions after disasters.
The peripheral processor pp4, a highly regular VLSI processor
Authors: W. D. Moeller, G. Sandweg
Venue: Proceedings of the 11th annual international symposium on Computer architecture (1984)

The architecture of an experimental 8/16-bit peripheral processor is described. The chip was fabricated in a 2-&mgr;m NMOS technology with two metal layers. There are about 300 000 transistors on a chip area of 105 mm2. The average time for a read-modify-write instruction is 200 ns. A highly modular and regular design style and some automatically generated layouts resulted in a short design time.
Informatics, social science, and moral growth a cybernetic methodology for sociotechnical planning
Authors: David G. Hays
Venue: Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium (1984)

For about 40 years the computer has faithfully fulfilled optimistic predictions of increasing speed and decreasing size and cost. Ownership has spread, and new uses have been accepted. But the social effects of the computer revolution are still unclear. We can predict that costs will go down further, and that ownership will grow more, but we cannot easily predict the eventual effect on quality of life. Nor can we design systems in which human beings can live with the computer in peace and harmony. We can, however, aspire to the necessary understanding of ourselves and our use of tools. The more we know of such matters, the more we realize how much effect a tool can have on satisfaction, on institutional structure, on how we live and what we get out of life. Random events will influence the outcome. We will not know enough to plan the future completely. But we already know enough about ourselves, and about the analysis and application of our knowledge, to bring the future partially under deliberate control.
An accelerated program in computer science
Authors: Onkar P. Sharma, Ali Behforooz
Venue: ACM SIGCSE Bulletin (1982)

This paper is in the nature of a preliminary report on a pilot project aimed at developing quality instructional materials in three basic areas of computer science (problem solving and programming, hardware and software) for presentation in a concentrated manner. A total of 162 90-minute (54 periods per area) class periods in a classroom environment and an equal amount of supervised workshop study are contemplated. It is expected that the project implementation would extend the capability of the computer science departments across the nation to offer a unique opportunity to students to earn a special minor in computer science and/or to prepare for entering a computer science graduate program - all in the shortest possible time. The courses were offered for the first time during the summer of 1981. The course outlines, the background of the participants and other details of the project are included in the paper.
The complexity of facets (and some facets of complexity)
Authors: C. H. Papadimitriou, M. Yannakakis
Venue: Proceedings of the fourteenth annual ACM symposium on Theory of computing (1982)

Many important combinatorial optimization problems, including the traveling salesman problem (TSP), the clique problem and many others, call for the optimization of a linear functional over some discrete set of vectors.
Should APL be a declining language?
Authors: Michael F. C. Crick
Venue: ACM SIGAPL APL Quote Quad (1981)

The evolution of computer languages is compared with the evolution of natural languages. This suggests that APL might one day evolve to, or be replaced by, a non-declining form having only one basic syntax and only one class of object&mdash;as LISP has today. These &ldquo;generalized objects&rdquo; would embrace files, functions, and workspaces as we now know them. Such objects might be nested arrays with extended indexing and added features for sharing and access control.
PRIME&mdash;a processor design for character recognition
Authors: M J Kimmel
Venue: Conference record of the 6th annual workshop on Microprogramming (1973)

This paper discusses the organization of a processor designed for extraction of spatially oriented features from digital patterns, Several unusual features of the processor are discussed. The design is compared with general purpose processors and with special hardware.
The computer center and academic support services at The University of Akron
Authors: Robert L. Briechle
Venue: Proceedings of the 3rd annual ACM SIGUCCS conference on User services (1975)

The Academic Systems and Programming Section at The University of Akron is the organizational unit of the Computer Center responsible for user services directed towards the academic community. The section is comprised of a manager and six programmer/analysts. They are supplemented by from five to ten student assistants when school is in session. It is the objective of the section to so structure its services that a Computer Center user may gain access to his choice of computer resources and services without having to consult with the section. Though this is an unattainable ideal, a conscientious attempt is continually made to accomplish these aims. Since the University has a heavy commitment to part-time and evening students, this service orientation is particularly attentive to the special needs of this student group.
A two-dimensional placement algorithm for the master slice LSI layout problem
Authors: Satoshi Goto
Venue: Proceedings of the 16th Design Automation Conference (1979)

This paper deals with the optimum placement of blocks on a two-dimensional cell-array, which minimizes the total routing length of signal sets. A new heuristic procedure, based on iterative improvement, is proposed. The procedure repeats random generation of an initial solution and its improvement by a sequence of local transformations. The best among the local optimum solutions is taken as a final solution. The iterative improvement method proposed here is different from the previous one in the sense that it considers interchanging more than two blocks at the same time and examines only a small portion of feasible solutions which has high probability of being better. Experimental results show this procedure gives better solutions than the best one up to now. The computation time for each local optimum solution grows almost linearly with regard to the number of blocks.
Visibility and types
Authors: Cornelis H.A. Koster
Venue: ACM SIGPLAN Notices (1976)

In this paper it is argued that there is a strong connection between the issue of abstract types and the more general issue of information hiding in large program systems, since abstraction has to be enforced by the careful and controlled hiding of details. In the first part of the paper, the notions of visibility and interface are discussed. In the second part, it is shown how, by careful control of visibility through interfaces, data abstraction can be achieved. Finally a comparison is made between this approach and the class approach.
Some thoughts on users' services
Authors: Stefan Shrier
Venue: Proceedings of the 5th annual ACM SIGUCCS conference on User services (1977)

The tentative observations which follow were written from the perspective of a new employee at the Brown Computer Center in June 1976 and a relatively insulated user of APL/360 on the Brown timesharing facility during the preceding year. A comprehensive discussion of the ideas raised in this paper as regards this complex service function and facility could be based on input from all concerned. We begin by characterizing the Computer Center as a service organization which provides goods and services to the user community.
The Photographer Metaphor for Content Based Image Retrieval
Authors: J. Assfalg, A. del Bimbo, P. Pala
Venue: Proceedings of the 10th International Conference on Image Analysis and Processing (1999)

Image database systems have been widely studied in the last years. Having to deal with visual information, a great effort has also been put in designing and implementing user interfaces for retrieval engines. Most of those interfaces allow the user to specify the query through visual examples, either by feeding a complete image to the system or by drawing some colored/textured patches on a sketchpad. However, the "query by example" paradigm can be inadequate in many contexts, due to the difficulty for many users to paint significant examples and the impossibility - in many cases - of reproducing complex scenes. 3D interfaces and Virtual Reality based interaction paradigms offer new possibilities to overcome these limitations. In the prototype system presented hereafter, the user is allowed to navigate a 3D scene. While navigating the virtual world, the user is given the opportunity of taking some photographs used to query by content a database of images.
Architecture of the CORAIL building block system
Authors: G. H. Poujoulat
Venue: ACM SIGARCH Computer Architecture News (1977)

The CORAIL system is a set of modular elements, the architect obtains a specialized machine that suits for the desired supervisor system that is immediately operational.
A distributed structure for the automization of the catalog of the national cultural heritage: Experiencies and proposals.
Authors: Dante R. Matteucci
Venue: Proceedings of the fourth workshop on Computer architecture for non-numeric processing (1978)

Efforts to automate the handling of information concerning the Catalog of the Italian cultural and artistic heritage have been made in the past by the Institute for the Catalog and Documentation (ICCD) of the Ministry of Cultural and Environmental Heritage. A feasibility study for the realization of a data base of the national cultural heritage has been conducted by CNUCE, the scientific computing center of the Italian National Research Council and ICCD. This study led to the determination of the characteristics of data contained on the record cards, to the location of some samples areas, sufficiently representative of the Italian situation, for the setting up of a model of information system and to the implementation of a data bank on CNUCE computers using the IBM STAIRS information retrieval system. Following this study, a project is presently conducted by the two institutions, with the aim of setting up a distributed structure for the preparation, acquisition, access to and dissemination of the information concerning the Italian cultural and artistic heritage. This paper describes the functions of this proposed structure, with reference to the results of the first experiences and implementations.
An introduction to the verification oriented microprogramming language &ldquo;MIDDLE&rdquo;
Authors: P. Dembinski, S. Budkowski
Venue: Proceedings of the 11th annual workshop on Microprogramming (1978)

The basic ideas of the microprogramming language MIDDLE are presented. The language gives a possibility to describe various properties of an executing hardware without loosing too much from the flexibility of a higher-level programming language. Three purely synctactic transformations defined in the language allow one to get more or less hardware oriented version of a microprogram. The language has full mathematical semantic description which gives the possibility for the microprogram verification based on the known general program-proof methods.
The calculation of the dimensions for an electromagnet with a T armature.
Authors: G. Cividjian, P. Degeratu, O. Cernian
Venue: Proceedings of the 13th Design Automation Conference (1976)

It is presented a computer aided design for the calculation of dimensions of the direct current and alternating current electromagnets with a T plunger, starting from their geometric shape, the lower level of the force in n points of the armature travel and the thermal conditions. The results of the computations are compared with the experimental data.
Professionalism in computing (Panel)
Authors: Ashford Stalnaker, Robert Reinstedt, Walter Carlson
Venue: Proceedings of the ninth annual SIGCPR conference (1971)

(Following is a review of the panel discussion on Professionalism in Computing.) Mr. Reinstedt focused on the different definitions of professionalism. Mr. Stalnaker pointed to the lack of standards as related to professionalism in the computer industry. Both Mr. Reinstedt and Mr. Stalnaker commented on Donn Parker's AFIPS committee on professionalism. Mr. Stalnaker indicated his concern for the impact on the computer center operating manager of the trends toward professional certification. Mr. Wright indicated his concern with the impact of Wage-Hour regulation evolution and the question to management of &ldquo;third party representation&rdquo; by unions or professional associations. The members of the panel concluded that, in general, the industry was moving toward professionalism but that standards were not sufficiently defined so as to make formal certification, much less licensing, immediately possible.
Chapter 3: Issues leading to the functional specification of a Core graphics System
Venue: Specifications on The SIGGRAPH/GSPC Core System (1977)

This chapter contains brief descriptions of the major issues discussed during the design of the Core System. Each section in Chapter 2 on functional capabilities of the Core System has a corresponding section in this chapter. Issues marked with *** are those which can have an impact on program structure. It should be realized that our original goal of recording all major issues and design trade-offs had to be largely abandoned after February of 1977 in favor of spending all available time resolving outstanding technical issues and preparing a thorough functional specification of the Core System. Unfortunately, this chapter is therefore incomplete as a technical record, and sufficiently unpolished so that it should be viewed primarily as a collection of informal notes. There may even be inconsistencies in terminology. Furthermore, because of space limitations, some of the descriptive information we did record has been deleted from this version of the document. The most important issues include a description of the problem, a list of feasible alternatives, arguments for and against these alternatives and a resolution. Less important issues have only a resolution. Only titles have been included for issues which were considered, but are no longer relevant to the present definition of the Core System.
Studies in Markov models of computer systems
Authors: John Peterson, William Bulgren
Venue: Proceedings of the 1975 annual conference (1975)

A new general model of I/O - CPU interation is described. The model is a discrete Markov process, and takes into account mean CPU time between physical I/O requests, mean I/O service times for each device, single or double buffering, and CPU queue discipline. A simple method of finding the steady state probability vector is shown. The utilization results are calculated and compared to, for three CPU queue disciplines, and for various service times, the results of earlier analytical models, with some interesting outcomes. The new model is limited presently to small systems (i.e., five or less tasks, and six or less I/O queues) due to the number of states necessary to model a large system.