ppxscal/embedding_network huggingface dataset:
Accreditation in the computing sciences (Panel Session)
Authors: Tom Cain, George Davida, Gerald L. Engel, Terry J. Frederick, Norman E. Gibbs
Venue: Proceedings of the fourteenth SIGCSE technical symposium on Computer science education (1983)

A joint task force of the ACM and the IEEE Computer Society is meeting regularly to discuss issues relating to accreditation or approval in the computing sciences. In addition to considering various mechanisms to implement the important qualitative review and certification, the Joint Committee is developing a preliminary set of Computer Science Program requirements. Increasing requests are being made to the professional societies to provide guidance in computer science programs. While certain guidance and evaluation mechanisms exists, and agencies to administer them, these tend to be directed to specialized programs and the field is so broad that a wider view must be taken. It is estimated that as many as 500 programs not presently served by existing mechanisms and agencies would benefit from such guidance. This panel will discuss some of the issues relating to implementation of accreditation/approval as well as quantitative criteria for computer science programs that provide competency in the profession. Audience participation and discussion will be encouraged.
The case against the computer utility
Authors: Ronald F. Denz
Venue: Proceedings of the 1967 22nd national conference (1967)

The Service Bureau Corporation, an IBM subsidiary, announced plans for a somewhat similar system, consisting of 12 inter-linked data processing centers and &ldquo;more than 125 System/360's.&rdquo;2General Electric, ITT, NCR, and other large concerns are also in the burgeoning teleprocessing business, or soon will be. Key Data Corporation's entry into the field has also received considerable attention and numerous other small companies are working to create a data base and attendant service offerings. The intent of this paper is to explore some of the various factors that condition the environment in which these developments are taking place. Particular emphasis is placed on those factors that may be instrumental in determining the ultimate character of the teleprocessing business now being formed.
Systems analysis and modeling: A learning experience based on commodity futures trading
Authors: Robert D. Landel, Charles C. Chewning,  Jr.
Venue: Proceedings of the 7th conference on Winter simulation - Volume 1 (1974)

The speculative environment of the commodities futures market offers a setting in which an experiment in systems analysis and modeling was conducted. The student's objectives were to: (1) Develop a systems understanding of the fundamental behavior of a market; (2) Study and test profit-oriented trading strategies and rules with a systems model that simulates futures trading; and (3) Draw conclusions as to the steps for implementing the results into a personal trading strategy. Various mechanical trading strategies were developed and tested through simulated trading activity in the cotton and pork bellies futures markets. This paper describes the design of the overall experiment and the analysis of several profitable trading strategies.
MAPS data base information systems: A system 2000 application
Authors: David L. Schafer
Venue: Proceedings of the 1975 annual conference (1975)

A recent project involved developing and implementing a data base information system for Minnesota Analysis and Planning System (MAPS). This information system gives MAPS staff the capability to quickly locate the desired data file from the MAPS collection of over 900 data tapes. The project therefore organized the data tapes into a more coherent data bank by providing an index to and information on the data files. The data base information system development and implementation was done in three phases. The first phase consisted of developing a tape inventory system, which furnishes a listing of all MAPS data tapes and relevant information on content, computer characteristics, and tape reel inventory facts. This tape inventory system was implemented using System 2000 to handle the retrieval and updating of the tape information.
Using multiple coaxial images for determining the focal gradient in a range camera
Authors: J. Viitanen, M. Rzeszutko
Venue: Proceedings of the 1995 International Conference on Image Processing (Vol. 1)-Volume 1 - Volume 1 (1995)

This paper presents a novel method and implementation for robust range estimation from image data. The method is a variation of those that utilize the focusing properties of lens systems for the range estimation. Our method uses three (CCD) matrix camera elements that are arranged on the same optical axis of one fixed lens. The optical arrangement is introduced, and the image processing methods described. The performance of the method is visualized using a real unstructured test picture.
A types-as-sets semantics for milner-style polymorphism
Authors: Mitchell Wand
Venue: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1984)

In this paper we present a semantics for Milner-style polymorphism in which types are sets. The basic picture is that our programs are actually terms in a typed &lgr;-calculus, in which the type information can be safely deleted from the concrete syntax. In order to allow for common programming constructs, we allow reflexive or infinite types, and we also allow opaque types, which have private representations. An adaptation of Hindley's Principal Typing Theorem then asserts that the type information can be reconstructed. Thus expressions are polymorphic, since they may have more than one correct typing, but values are not. Expressions that are not well-typed are syntactically ill-formed, as they are in conventional mathematics, rather than having the meaning &ldquo;wrong&rdquo;. The resulting semantics is simpler than that for fully polymorphic models [Leivant 83], and generalizes the standard constructions, such as retracts and ideals.
An interpretive/interactive subroutine system for raster graphics
Authors: Michael T. Garrett
Venue: ACM SIGGRAPH Computer Graphics (1976)

A subroutine package has been developed for a disk based raster scan graphics system which builds the entire image in random access memory so that each pixel is randomly addressable, greatly simplifying the image construction routines. A pseudo-display file is used with a subpicture library for structuring images. Interaction with user programs is handled by a single subroutine in which a simple interpretive language, a point stack and the ability to dynamically assign meanings to function buttons creates a powerful environment.
Semantic aspects of concurrent processes
Authors: Gérald Belpaire, Jean Pierre Wilmotte
Venue: Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems (1973)

In the literature on parallel processes, most of the specific 'parallel' features of programming languages are designed to fit and to solve only one specific class of problems of concurrent processes. For that reason, they usually provide a, fairly good and comprehensive definition of the problem but the real solution is left to the final implementation
A layout checking system for large scale integrated circuits
Authors: Kenii Yoshida, Takashi Mitsuhashi, Yasuo Nakada, Toshiaki Chiba, Kiyoshi Ogita, Shinji Nakatsuka
Venue: Proceedings of the 14th Design Automation Conference (1977)

This paper describes a new design rule checking system for LSI mask patterns. Major features of the system are a relatively small computing time needed, even for very large circuits (e.g. 10,000 elements), wide applications to a variety of fabrication processes, due to its functional flexibility, and minimized spurious errors.
Language features for description of cooperating processes
Authors: J. P. Banatre, M. Banatre
Venue: Proceedings of the 4th international conference on Software engineering (1979)

Language features are introduced in order to describe communicating processes. These constructs allow a clear separation of the definition of processes from that of their cooperations rules. Elements of a language for the description of communications are presented and discussed.
Simulation models of forest resource management
Authors: Dieter R. Pelz
Venue: Proceedings of the 9th conference on Winter simulation - Volume 2 (1977)

The management of forest land for the simultaneous production of timber, recreational opportunities, wildlife food and habitat, and watershed protection requires complex decisions. Simulation models formulated as decision aids or training tools in forest resources management are reviewed, ranging from strictly timber production models to multiple forest use models. The Illinois multiple forest use model was developed to aid the forest manager in his decision making. Alternative management strategies and their effects on the entire forest system can be evaluated with the model. The model is being validated for a private forest and a State Forest in Illinois.
The new user: Teaching &ldquo;computerese&rdquo; as a second language
Authors: William C. Flick, Philip H. Isensee
Venue: Proceedings of the 10th annual ACM SIGUCCS conference on User services (1982)

In recent years, we have seen a sharp increase in the number of new users wanting to learn computing skills. Many of these users come from fields which, traditionally, have not made great use of the computer as a research or data processing tool. In our own academic setting, this includes such fields as the Humanities, Arts, Home Economics and Foreign Languages. Administrative and secretarial personnel also account for a large percentage of these users. Many of these people use the computer as a text-processing tool rather than as a tool for research and data collection. This shift in the requirements of our new users is accompanied by a change in the type of computing skills they need to acquire. These changes challenge us to provide a relevant and well-planned course of instruction. In this paper, we describe a model of course development used in the area of second language teaching. We then describe a computer short course sequence based upon this approach and, finally, supply a bibliography of further references.
Computer programmer training at Miami-Dade Community College
Authors: Eric Whiteside
Venue: Proceedings of the twelfth annual SIGCPR conference (1974)

Computer programmer training at Miami - dade community college Miami-Dade Community College is one of 28 publicly supported, two-year colleges in the Florida educational system. The administrative structure of the College provides a maximum of autonomy to each of the three major campuses. Instructional departments at each campus are required to maintain common course content and programs but have substantial latitude in instructional methods and organization. Revisions in curriculum and course content require consensus of all campus affected. The Downtown Campus has begun operation recently and has not yet established an Electronic Data Processing Department.
Topics in Professional Certification (Technical Session)
Venue: Proceedings of the ACM '82 conference (1982)

No universally accepted set of standards exist for the education or experience requirements for computer programming and data processing personnel to assume leadership positions in their profession. While various forms of certification have been implemented in other academically-oriented professionals for several decades, certification of data processing personnel is a relatively recent activity. However, recognition of the need for minimal qualification levels in data processing among the DP employers is becoming more apparent. One may read employment notices wherein holding a certificate in data processing is a qualification option. Data processing personnel also recognize the merit in certification; this is evidenced by the growing numbers of individuals who undertake certification at their own motivation and expect their employers to recognize their evidenced level of competence. Individuals who take the initiative to become certified demonstrate that they have attained a measurable, significant level of education and experience in their profession and a level of professional competence.
Transition in graphics&mdash;the intelligent interface
Authors: James J. Quinn, Michael R. Ramundo
Venue: Proceedings of the 3rd annual ACM SIGUCCS conference on User services (1975)

The desirability of graphics within a university environment can be easily understood, even by an appeal to the cliche &ldquo;one picture is worth a thousand words&rdquo;; however, university computing centers face a major problem in the delivery of a useful graphics system. At the crux of the problem is the situation that graphics vendors supply graphics software packages predicated upon the hardware architecture of their own equipment, with little or no regard for commonality in user interfaces. This particular facet of graphics software tends to provide some dislocation to the user with computer savvy and a major roadblock to the casual user. In a university environment with its large divergency of users, the problem becomes a nightmare for the center's support personnel, especially in a multi-device graphics environment. In the sections which follow, the transitions that we have seen at the State University of New York at Albany (SUNYA) will be presented.
Instruction architecture of an aerospace multiprocessor
Authors: James S. Miller, Woodrow H. Vandever,  Jr.
Venue: Proceedings of the ACM-IEEE symposium on High-level-language computer architecture (1973)

This paper describes the architecture, the data forms, and the instruction set of a multiprocessor computer designed to provide the central computational facilities of a long-lifetime orbiting space laboratory. An overview of the system [M73] describes other aspects of the design, including its high level of fault-tolerance, flexible capacity, real time control capability, and process security in the presence of software faults. The present treatment emphasizes the considerations which led to the chosen instruction set, and discusses its design relative to system objectives.
Evaluating computer systems simulation models
Authors: Constantine Lazos
Venue: Proceedings of the 11th conference on Winter simulation - Volume 1 (1979)

The need to validate and evaluate the running of simulators of computer systems is considered. The paper describes the systematic construction of a simulator to minimise logical and modelling errors and discusses three alternative ways of validating and evaluating the correctness and accuracy of such simulators. The advantages and disadvantages of the method are outlined.
A &ldquo;lookahead&rdquo; router for multilayer printed wiring boards
Authors: J. C. Foster
Venue: Proceedings of the 16th Design Automation Conference (1979)

The layout of large multilayer printed wiring boards is a very complex and time-consuming process. The routing portion of the task in particular is difficult because of the number of connections to complete, the number of routing layers which can be used simultaneously and the large size and uniformity of the routing surfaces. The problem is generally well beyond the scope of a designer to grasp as a whole. Automatic techniques for routing are important functions therefore in the multilayer layout process. A good deal of work has been done in the field. [1-5] In this paper we will review a previous technique, describe some of its shortcomings, and present a new and more powerful method which has been successfully employed.
An organizational solution to employee fatigue
Authors: Janice A. Bartleson
Venue: Proceedings of the 8th annual ACM SIGUCCS conference on User services (1980)

This paper discusses about the employee fatigue and its solution. Fatigue in the user services organization can result from a number of things, all revolving around the nature of the job assignment. The resulting fatigue in both cases can be ameliorated by effective management techniques.
Symbolic computing with and without LISP
Authors: J. A. Campbell, J. P. Fitch
Venue: Proceedings of the 1980 ACM conference on LISP and functional programming (1980)

The advantages and disadvantages of LISP-based algebraic computing, compared to its rivals, are considered. Present features of LISP, and features desirable for the future, which generate the advantages for LISP, are identified.
Construction with parallel derivatives of the closure of a parallel program schema
Authors: Jonathan K. Millen
Venue: Proceedings of the sixth annual ACM symposium on Theory of computing (1974)

The parallel derivative of a set of strings is introduced. Given a serial, repetition-free parallel program schema, its closure is constructed by taking parallel derivatives of its set of computations. The construction resembles the construction of a state diagram from a regular expression by means of derivatives.
Hierarchical top-down layout design method for VLSI chip
Authors: Tohru Adachi, Hitoshi Kitazawa, Mitsuyoshi Nagatani, Tsuneta Sudo
Venue: Proceedings of the 19th Design Automation Conference (1982)

A new hierarchical top-down layout design system for custom VLSIs has been developed. A top-down global route assignment process reduces the redundant wiring area. Routing in a single path over the whole chip enables efficient chip area use.
In-house recruiting&mdash;one answer to programmer force losses
Authors: C. M. Dickson
Venue: Proceedings of the seventh annual conference on SIGCPR (1969)

A stable data systems staff is something that most systems managers hope for, dream about and in some cases even pray for. They have good reason to be so interested in stability, for it is an important virtue that few systems staffs have attained to date. For stability means time to accomplish the numerous stages of development a staff must go through to become a knowledgeable and productive group. Time for all the necessary hardware and software training. Time to become familiar with the company's objectives and purpose. Most importantly, there is time to work with this knowledge and information and thereby gain experience in its application. A data systems staff that knows its hardware, its software, what the company is trying to do and has a level of experience is a valuable asset, for it is capable of contributing to the company revenues and decreasing the expenses of operation. But a staff that is not stable cannot perform in this manner. In fact, not only do they fail to perform as they should but they place an added expense on the operations of the company in the form of excessive recruiting costs and training costs. To the Bell System the advantages of a relatively stable systems staff have become very important. Research of the reasons we lose systems staff employees has led us to believe that we have a partial solution to the force turnover problem right at our doorstep. We have found that stable employees for the data staff can be recruited from our existing employee body.
Criminal justice dynamics: A planning model
Authors: Jonathan F. Bard
Venue: Proceedings of the 9th conference on Winter simulation - Volume 1 (1977)

The use of quantitative methods in criminal justice planning is growing rapidly. This study employs the modeling technique of &ldquo;system dynamics&rdquo; to simulate a local criminal justice system and demonstrates the usefulness of that technique in assessing the merits of alternative criminal justice policies and procedures. In formulating the model, we discuss the information feedback characteristics of the system as well as the qualitative aspects of crime control in light of popular theory and the supporting data. A set of control variables are identified as well as a set of system performance measures that can be used in the planning process. Preliminary results indicate that the criminal justice system is well insulated from small perturbations or changes in input, and that a continuation of current practices will lead to a gradual decline in both its ability to deliver services and to control crime.
Group learning techniques (Tutorial Sessions)
Authors: R. D. Parslow
Venue: Proceedings of the thirteenth SIGCSE technical symposium on Computer science education (1982)

This tutorial is concerned with a method of organizing undergraduate computer science courses, in which the students collaborate in small groups. Effectively this breaks up a large class into a number of independent small groups and changes the role of the teacher from a director to a 'consultant.' The teacher has to provide a series of discussion papers for the groups, each including a problem to be solved. The group is expected to investigate the topic, produce an exact specification of the problem, provide an algorithm to solve the problem, an implementation of the algorithm, and documentation including a discussion of implications and generalizations. This form of peer instruction has improved performance of both the better and the poorer students, and plagiarism is no longer a problem. (Students who do not do their share of the work are liable to be excluded by their group.) They also investigate topics with much greater thoroughness and appear to obtain a deeper understanding. The group experience is valuable training for working on projects in industry. The tutorial will outline how to organize such a course and will discuss case studies.
Protocol testing methdology development at NBS
Authors: Robert P. Blanc
Venue: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials symposium (1984)

The National Bureau of Standards has three primary goals in computer networking. 1. To develop networking and protocol standards which meet U.S. Government and industry requirements and will be implemented in off-the-shelf, commercial products. 2. To develop testing methodologies to support the development and implementation of computer network protocols; and 3. To assist Government and industry users in the application of advanced networking technologies, and computer and communication manufacturers, in the implementation of standard protocols. To support these objectives, NBS has laboratory activities where prototypes of draft protocol standards are implemented and tested in a variety of communications environments (e.g. global networks, local networks, office systems networks), supporting different applications (e.g. file transfer, message processing), on difference kinds and sizes of computers. The primary purposes are to advance the state of the art in measurement methodologies for advanced computer networking technologies, and to determine protocol implementation correctness and performance. NBS views testing as a cooperative research effort and works with other agencies, private sector companies and other countries in the development of methodologies. At this time, this cooperation involves five network laboratories in other countries and over 20 computer manufacturers. The test methodologies developed at NBS are well documented and the testing tools themselves are developed with an objective of portability and made available to many organizations engaged in protocol development and implementations. Consistent with goals, NBS standards developments, research in testing methodologies, and technical assistance are characterized by direct industry/government cooperation and mutual support.
Twelve ways to improve cooperation with the Computer Center
Authors: Ardoth A. Hassler
Venue: Proceedings of the thirteenth SIGCSE technical symposium on Computer science education (1982)

Cooperation between the Computer Center and faculty is necessary for the continuance of programs in Computer Science. Enumerated here are twelve ways that cooperation between the Computer Center and faculty can contribute to a computer science education from the perspective of Computer Center staff.