ppxscal/embedding_network huggingface dataset:
A simulation model for Dynamic File Management
Authors: Lawrence L. Rose, Malcolm A. Gotterer, Jack C. Hayya
Venue: Proceedings of the 7th conference on Winter simulation - Volume 1 (1974)

This paper describes a FORTRAN simulation program written to carry out Dynamic File Management (DFM) strategies. The DFM model provides effective management of secondary storage while enhancing throughput time. The main problems we address are: how data is moved from level to level; the determination of criteria to justify file movement; and the implications of implementing the DFM techniques. It is demonstrated that DFM strategies are feasible and provide the manager with a viable mechanism with which to govern auxiliary storage.
Evaluation and performance of computers: interaction of hardware and software parameters in tape operations
Authors: W. B. Edwards,  Jr.
Venue: Proceedings of the 1965 20th national conference (1965)

THE PRIMARY REASON for specifying increased capabilities in tape transports is, ostensibly, to improve the system performance in some manner, such as: (a) - storage capacity; (b) - access time/transfer rate; and (c) - error incidence and severity. The currently familiar NRZI tape transports are available in a wide variety of characteristics. Tape speeds vary from 3 to 150 ips, recording densities from 200 to 1100 bpi, and tape lengths up to 6200 feet. The performance obtained from a tape transport in an operational atmosphere depends to a large extent upon the interplay between the hardware parameters and the software characteristics. It is the purpose of this paper to explore these interactions and their influence upon the system performance.
Programanalysis - A method for the verification of software for the control of a nuclear reactor
Authors: W. Ehrenberger, G. Rauch, K. Okroy
Venue: Proceedings of the 2nd international conference on Software engineering (1976)

The number of tests, which are necessary to prove the performance of a program, can be reduced to an executable number, if the structure of the program is investigated. The analysis starts from the memory dump. The program is first divided into those pieces, which are without labels or branchings. Then the mappings of the program and their input and output areas are identified, further those areas which influence branchings. The next step states, which ranges of values in the individual areas are distinguished by the program and which junctions of areas are relevant. From this, the kind and the number of the necessary tests can be derived. By means of observing their main variables loops are divided into simpler structures. The method has been applied for the verification of the user programs of the protection system of the 800 MWE boiling water reactor plant in Brunsb&uuml;ttel.
Management of the model development process
Authors: Igal Ayal, Donald J. Hempel, Philippe Cattin
Venue: Proceedings of the 10th conference on Winter simulation - Volume 1 (1978)

The purpose of this paper is to present a conceptual framework for managing the development and implementation of decision models. Some of the more critical behavioral factors involved and organizational determinants of model value are discussed. The discussion leads to five points that should deserve special attention in any model development process.
Automated diagram drafting
Authors: R. Meeks Strong, Henry G. deZwart
Venue: Proceedings of the 4th Design Automation Conference (1967)

The Automated Diagram Drafting (ADD) system is an off-line drafting system for generating schematic diagrams. The system has been operational at the Orlando Division of Martin Marietta for more than one year and has successfully demonstrated economical performance while producing documentation that meets military specification requirements. ADD has accomplished reduction in turn-around time from the development of a circuit to documentation in drawing form. The extremely important maintenance phase has been made 30 percent more economical over the manual means previously used. Additional cost and time reduction is expected with increased experience on the part of the user and with continued development of the ADD system. The system has proven to be most useful during the maintenance phase, particularly when changes would require repeating large parts of the drawing, if not the entire layout, under the manual procedure. In the ADD system, circuit revisions may be made by changing/rearranging only the input associated with that particular portion of the circuit. Thus, the updating process significantly reduces maintenance time and cost.
The Federal City College Computer Center
Authors: Jesse Mayes
Venue: Proceedings of the annual ACM SIGUCCS symposium on The administration and management of small-college computing centers (1972)

The Computer Center is established to enrich the academic programs of the College, and to enhance the education of students. The Center seeks to fulfill these purposes by formal and informal classes, laboratory sessions, disseminating information to stimulate the imaginative use of quantitative and symbolic information, and by developing and stimulating interdisciplinary curricula and seminars which relate to Computer Science. Although the computer is not used as a substitute for the teacher, it supports teaching and creative inquiry by making available to the teacher teaching tools and classroom procedures which each teacher may use to improve instruction.
Abstract types, ADA packages, and the teaching of data structures
Authors: Michael B. Feldman
Venue: ACM SIGCSE Bulletin (1984)

This paper describes a course in Data Structures offered to upper-division undergraduates and beginning graduate students. In addition to the usual data-structures topics, Computer Science 159 places a strong emphasis on software engineering principles, especially the implementation of abstract data types using Ada packages. Two programming project series are presented; documentation requirements are described in some detail. Attention is paid to the problem of translating high-level design concepts, as embodied in Ada, into the more limited data structures and modularization features of earlier languages.
SHAPESHIFTER: An interactive program for experimenting with complex-plane transformations
Authors: Harry R. Lewis
Venue: Proceedings of the 1968 23rd ACM national conference (1968)

SHAPESHIFTER shows graphically the effects of various transformations applied to a set of points in the complex plane. The user prints in his own handwriting a formula or series of formulas which serves as the real-time input to the program. By experimentally changing the transformation he can gain an understanding, difficult to achieve formally, of its general properties, the effects of parameters and signs, the location and nature of singular points, conformality, etc.
Subpixel estimation of normal displacements along contours using MRF-models
Authors: Y. Ricquebourg, P. Bouthemy
Venue: Proceedings of the 1995 International Conference on Image Processing (Vol.2)-Volume 2 - Volume 2 (1995)

This paper is concerned with the problem of computing normal displacements along contours in image sequences. Our estimation is restricted to the perpendicular-to-the-edge velocity component, since the well-known "aperture problem" restricts any local estimation to this only component. We model moving edges as spatio-temporal surface patches in the image sequence space (x, y, t). A statistical regularization scheme based on Markov random fields allows us to get a homogeneous and relevant normal motion field along contours. It turns out that it can be implemented in an efficient way, mostly leading to convolution-like computations. Subpixel accuracy comes straightforwardly with this modeling, and is handled within the optimization stage itself, not as a post-processing step. Results are presented concerning synthetic experiments and real-world sequences.
Invited papers&mdash;2: recent computer developments in Great Britain
Authors: S. Gill
Venue: Proceedings of the 1965 20th national conference (1965)

THE CHOICE OF THE UNITED KINGDOM as the venue for IFIP Congress '68 is an appropriate one. Computer developments in that country during the next three years will be worth watching.
Iconic paper
Authors: M. Peairs
Venue: Proceedings of the Third International Conference on Document Analysis and Recognition (Volume 2) - Volume 2 (1995)

Iconic paper can be used to retrieve documents from an electronic database. It provides on a physical sheet of paper a representation that can be used by humans for recognition, and by machines for indexing. A document in the database can be accessed by a gesture indicating a particular icon on the page. A novel presentation of the document supports both indexing and recognition, thereby allowing the "desktop metaphor" to migrate back to the real desktop.
Efficient code generation for horizontal architectures: Compiler techniques and architectural support
Authors: B. Ramakrishna Rau, Christopher D. Glaeser, Raymond L. Picard
Venue: Proceedings of the 9th annual symposium on Computer Architecture (1982)

A horizontal architecture consists of a number of resources that can operate in parallel, each of which is controlled by a field in the wide instruction word. Such architectures offer the potential for high performance scientific computing at a modest cost. If this potential performance is to be realized, the multiple resources of a horizontal processor must be scheduled effectively. The scheduling task for conventional horizontal processors is quite complex and the construction of highly optimizing compilers for them is a difficult and expensive project. The polycyclic architecture is a horizontal architecture with architectural support for the scheduling task. The complexity of scheduling conventional horizontal processors and the ease of scheduling polycyclic processors is demonstrated by means of an example.
Department of architecture university of illinois
Authors: Kenneth E. Tanaka, Donald E. Berseson
Venue: Proceedings of the 14th Design Automation Conference (1977)

For the past six years design-related computer applications have been presented in our undergraduate curriculum as design tools rather than as a possible design medium. Students are first introduced to programming techniques and principles and to computer graphics through a computer science course in the second year of our four year curriculum. With this course as a background they are introduced to the use of our statistical program packages and our graphics programs as tools in the second semester of our four semester basic design studio. During this second semester students are taught how to use these two basic tools as part of a total methodological approach to the design process. Computer graphics are used for analysis of mass/space and sequential relationships and our local statistical packages are used for evaluating use patterns of a selected building.
A module interface specification language
Authors: E. W. Thompson, R. F. Bridge
Venue: Proceedings of the 12th Design Automation Conference (1975)

This paper presents a module interface specification language which helps alleviate the difficulties encountered in designing, managing and maintaining interfaces in large software system.
Standards considered helpful
Authors: R. K. Guha, P. A. Carr, C. L. Smith
Venue: Proceedings of the eighth SIGCSE technical symposium on Computer science education (1977)

Software development standards have been adopted in several professional software shops to facilitate the entire software development process. These standards encompass all aspects of software development, including design, documentation, coding and testing techniques. It has been reported by these software houses that implementation of standards for software design and programming has increased productivity and resulted in better quality software products After some experimentation, it appears that a scientific approach from the very beginning to the end of the development process has to be taken. Instructors should work very closely with the students as each phase of the process is developed. Courses should be integrated so that the life of a program does not end as soon as a course is over. Maybe programs written in one course should be used in developing programs in another course. Perhaps there should be users (such as another class) for the programs developed. For our scientific approach to software development in the academic setting, we are advocating a consistent set of standards and its implementation by every faculty member. In the rest of the paper we justify the need for standards, specify the types of standards and suggest methods of implementation.
Multimedia Communication Techniques for Remote Cable-Based Video-Surveillance Systems
Authors: Claudio Sacchi, Carlo S. Regazzoni
Venue: Proceedings of the 10th International Conference on Image Analysis and Processing (1999)

This paper 1 aims at presenting a study of costs and performances concerning different multimedia communication techniques that can be employed in the context of the implementation of 2 nd generation remote video-surveillance systems using wired Cable TV networks as communication means. The multimedia information is acquired by video sensors and transmitted through the CATV network to a remote control center, where a PC-based image processing architecture performs the image processing tasks needed by the implementation of the foreseen system functionalities.The paper will show some possible analogue and digital solutions to the problems concerning the real-time multimedia data transmission in generic cable-based AVS applications. Laboratory simulations of multimedia data transmission over upstream noisy channels have been performed in order to test the performances in terms of quality of the received images provided by the most advanced high-speed commercial cable modem systems.
Recovery semantics for a DB/DC system
Authors: Charles T. Davies,  Jr.
Venue: Proceedings of the ACM annual conference (1973)

Presented is a unified, systematic view of integrity/recovery as it relates to a data-processing system&mdash;whether man, machine, or both. The concept, sphere of control (SOC), as a bound around a process, is developed to permit describing and solving many of the rather aggravating problems of auditability, repeatability, reproducibility, scheduling, consistency, recovery and general integrity. Identified are the relationships among resources and SOCs, the types of resource status which must be maintained, and the effects that dependency versus commitment has on process scheduling and recovery strategy. Virtually ignored are the problems of lost storage for which redundancy is a solution, mainly because information already exists in this realm.
Programming without pointer variables
Authors: Richard B. Kieburtz
Venue: Proceedings of the 1976 conference on Data : Abstraction, definition and structure (1976)

The presence of pointer variables in high level programming languages constitutes an artifact originally introduced to support the representation of recursive data structures. Programming practice has come to rely on pointer variables for their originally intended use, and for several others as well. Their use adds to the complexity of stating algorithms by forcing one to conceptualize data representations in which storage addressing is made manifest. In addition, the use of pointer variables allows one to refer to a common data object by a multiplicity of names, a phenomenon we call the alias variable problem, Alias variables make the verification of program behavior substanially more difficult, and frustrate the goals of modular decomposition. In this paper, we consider alternatives to the use of pointer variables in programming. One of these alternatives is the inclusion of a class of data abstractions based on recursively defined data types. The representational power of the proposed data types is characterized formally, and some issues of implementation and efficiency of programs are discussed.
Monitoring Dynamically Changing Environments by Ubiquitous Vision System
Authors: Kim C. Ng, Mohan Trivedi, Hiroshi Ishiguro, Takushi Sogo
Venue: Proceedings of the Second IEEE Workshop on Visual Surveillance (1999)

Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for visual surveillance systems. This paper describes development of a ubiquitous vision system for this monitoring purpose. The system consisting of multiple omni-directional vision sensors is developed to address two specific surveillance tasks: (1) Robust and accurate tracking and profiling of human activities, (2) Dynamic synthesis of virtual views for observing the environment from arbitrary vantage points.
Allocation and compaction - a mathematical model for memory management
Authors: Dennis W. Ting
Venue: Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation (1976)

A mathematical model for the processes of allocation and compaction is developed. The behavior of the most commonly used compaction algorithm is studied under this model. The relationship between time and space and trade-offs between &ldquo;conservative&rdquo; and &ldquo;non-conservative&rdquo; compaction algorithms are also investigated.
Thermal plant outages in a large hydro-thermal power supply system a method in probabilistic simulation
Authors: Charles W. Eastwood
Venue: Proceedings of the 13th annual symposium on Simulation (1980)

The advent of large computers has made a significant impact upon decision theory with their ability to generate a large number of simulations within a relatively short period of time. Better estimates of a system's capabilities and parameters can be made with a larger number of simulations, but it should always be remembered that the accuracy of these estimates is dependent upon the accuracy with which the system is simulated. This paper discusses the methods of investigation and implementation of the probabilistic aspects of nuclear plant outage in a model which simulates the operation of a large hydro thermal power supply system.
User perspective and design emphasis: Experience with a network model of the food processing system (ALINET)
Authors: Elizabeth R. Ducot, Alexander H. Levis
Venue: Proceedings of the 12th conference on Winter simulation (1980)

An approach that stimulates both qualitative and quantitative network study in the same modeling environment is presented. Insights are supported by the experience with ALINET, a network model designed for the analysis of energy use in the food processing and distribution sector and for the evaluation of the potential effectiveness of energy conserving technologies. The model specifications and the design of the computer software are described in order to provide the background for some observations on the relationship between the issues to be addressed by the model, the needs of the users and the evolution of the operational modeling system. Examples are drawn from the procedures by which portions of the network are specified and constructed.
Errors in iterative solutions of linear systems
Authors: A. S. Houscholder
Venue: Proceedings of the 1952 ACM national meeting (Toronto) (1952)

An iterative method of solving an equation or system of equations as understood here is defined by a function f such that the sequence Xp+1 &equil; f(Xp) converges to the solution x of the equation or system of equations, at least when xO is sufficiently close to x in some sense of the word. In the actual computation of f roundoff errors are normally introduced and one cannot expect the computed sequence to have x as its limit. Instead one will terminate the sequence with some x*, upon whose deviation from x one would like to place limits.
On the design of business systems for computers
Authors: Ned Chapin
Venue: Proceedings of the 1956 11th ACM national meeting (1956)

Business systems are &ldquo;the mechanics by which and through which any given clerical function is performed...which enables management to fulfill organization purpose&rdquo; (1), or are &ldquo;methods of translating management policy into action (and) of finding the... (best) means of accomplishing every task except those that directly change the form of the product&rdquo;(2). From these definitions, it correctly appears that business systems are concerned only with the processing of information in business, and that business systems are particular ways or methods of doing the information processing. Also, from these definitions it correctly appears that business systems have objectives in relation to management's direction of the business. To design business systems, the computer development analyst in business has to devise ways or methods of processing information that will acceptably meet the objectives management has in mind. In doing this, the analyst is limited to three basic &ldquo;building blocks&rdquo; which taken in some combination have the ability to do acceptable information processing. These three &ldquo;building blocks&rdquo; are the services of human beings, the services of materials (such as punched cards), and the services of machines (such as, very importantly, automatic computers). Because of this, a business system may be defined as a particular combination of the three types of services to accomplish information processing in business (adapted from (3)).
Research paradigms in computer science
Authors: Peter Wegner
Venue: Proceedings of the 2nd international conference on Software engineering (1976)

This paper explores the ramifications of four influential definitions of computer science: 1. Computer science is the study of phenomena related to computers, Newell, Perlis and Simon, 1967 2. Computer science is the study of algorithms, Knuth, 1968 3. Computer science is the study of information structures, Wegner, 1968, Curriculum 68 4. Computer science is the study and management of complexity, Dijkstra, 1969. The first definition reflects an empirical tradition since it asserts that computer science is concerned with the study of a class of phenomena. The second and third definitions reflect a mathematical tradition since algorithms and information structures are two abstractions from the phenomena of computer science. The fourth definition reflects the great complexity of engineering problems encountered in managing the construction of complex software-hardware systems. It is argued in section 1 that computer science was dominated by empirical research paradigms in the 1950s, by mathematical research paradigms in the 1960s and by engineering oriented paradigms in the 1970s. Section 2 illustrates how these three phases of development are reflected in the field of programming languages. The remaining sections consider in greater detail how empirical, mathematical and engineering research paradigms have affected the development of computer science. Section 3 indicates that although the phenomena of computer science are created by man they can be studied using the empirical techniques of the natural sciences. Section 4 distinguishes between &ldquo;micro computer science&rdquo; concerned with the study of individual algorithms and &ldquo;macro computer science&rdquo; concerned with the study of mechanisms and notations for specifying all algorithms; and between intensional &ldquo;how&rdquo; specifications and extensional &ldquo;what&rdquo; specifications for programs and computing systems. Section 5 distinguishes between the uses of the term &ldquo;complexity&rdquo; in software engineering and the analysis of algorithms and suggests that different terms be used to denote these two kinds of complexity. In a final section it is argued that the diversity of research paradigms in computer science may be responsible both for our difficulties in deciding how computer scientists should be trained and for divergences of opinion concerning the nature of computer science research.