yusuke1997/dblp-id-title huggingface dataset:
Control Separation in programming languages
Iterative vs. a directive method for solving fourth order elliptic difference equations
Computer-assisted instruction for the deaf: The Stanford project
Ergonmics in the automated office environment
Evolution of supercomputers
Guidelines for planning and organizing a performance improvement project
Computer network operations - making it all go at once
Generation of software production environments (abstract)
Multi-state information system: Problems and solutions
A Queuing Model for Multi-User Teleprocessing System Line Speed Decisions
Focus of the ICCP
Taming both predictable and unpredictable link failures for network tomography
Generation of spherical Bessel functions in digital computers
Status report of DOE Language Working Group
Performance of IEEE Token Ring LAN Protocols
Automated abstracting: A re-evaluation
Constructing Natural Language Interface Applications to Operating Systems
An approach to speech synthesis and recognition on a digital computer
Semantic constraints on the connections among tuple components in non-normal-form models
An integrated command and procedural language for drug research
Building expert systems for statistical process control in steel remelt industry
Computer science for secondary schools: course content recommendations of the ACM education board elementary and secondary schools subcommittee
Digital Simulation of an Aerospace Vehicle
Late papers
ACM conference paper quadratic programming with bounded variable restrictions
PROREL: a Prolog-based system for relational algebra and data base
Automatic Determination of Grain Size for Efficient Parallel Processing
Data abstraction in SESPOOL
S.E.A. general purpose computers CAB
An Agent-Oriented Multiagent Planning System
A Vacation Model for Interconnected FDDI Networks
Optimal parallel encoding and decoding algorithms for trees
A refutation of Carlson's Conjecture, or UMASS re-moulded
N-Schema Approach - a generalized model for database architecture (abstract)
Multi-level locking with deadlock avoidance
A process for reducing cluster representations and retrieval costs
Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only)
An Efficient Model for Representing and Analyzing B-Trees
Cooperation of the Pattern Recognition Techniques of Dirichlet Tessellations with Political Science to Produce Ward Partitioning of Cities Without Bias (Abstract)
Relational joins on non-keyed fields (abstract)
Decision-supportive modeling techniques for production planning (abstract only)
Frankestein's Insects (abstract)
Performance Interpolation for Computer Simulation Models: A Simulation-Based Approach
A direct method for solving linear algebraic equations
Real time information processing I: Mathematical considerations of real time digital simulation
SIGUCC (Tutorial/Panel Session)
The impact and issues of the fifth generation: Social and organization consequences of new generation technology
Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988
Optical Videodisc technology
Query-Processing Optimization Strategies: Feasible vs. Optimal Solutions
Software verification and validation(Position Statement)
Data base machines (Part II)
The ACM project on computers and society and computer literacy courses and materials
Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract)
Modularization in the pilot compiler and its effect on the length
The bell laboratories numerical mathematics program library project
A software structure for testing a complex product with a minicomputer
A microprogrammable dual processor based fast digital filter
Advanced placement in Computer Science (panel session): college level computer science in the high schools
Inverse compilation feasibility
On the Vectorization of Graph Algorithms (Abstract)
Talent, Process, and the Virtual World Called "REAL" (Abstract)
Man-machine interaction: Console oriented model building
Artificial languages: Computers, connector systems, and data descriptions
An Access Protocol for High-Speed Optical LANs
Optimum ordered hash tables
Activity productions for graph grammars
The USC chess program
The current state of the art in microprocessor software
Formal module level specifications
Computer mapping and geographical analysis: Some observations based on experience
Presentation abstract
Efficiency vs responsiveness in a multiple-services computer facility
Parsing a graph-grammar
Computerized legal services
Small computers (Panel Discussion): The information gap
Intelligent document information retrieval system for determinants of medication research literature collection
Inverse compiling for program documentation
Some engineering problems requiring automatic computation
A combinatorial algorithm for minimizing the number of states of a deterministic finite automation
Qualitative and quantitative time interval constraint networks
Auditing for secure statistical databases
PL/I Reducer and Direct Processor
Recurrence techniques for the calculation of bessel functions
Industrial real-time fortran
Compilers for student jobs
An extensible static analysis tool for COBOL programs
Rapidly Extendable Natural Language
Another approach to the data base computer
Robots and management techniques (abstract only)
Information retrieval: information storage and retrieval using AVL trees
Array processing - principles and practice
Rio Grande message switching/transportation system
Deadlocks and traps in complete Petri nets
On the reliability of the CDP and CCP examinations
On the coding of Jacobi's method of computing eigenvalues and eigenvectors of real, symmetric matrices
An on-line symbol manipulation system
Theory Formation in Artificial Intelligence
Inferring Conceptual Structures From Pictorial Input
User-transparent automatic terminal speed selection
Requirements analysis using Petri nets
Performance evaluation and control of distributed systems (session overview)
The Certificate in Computer Programming: Five years of data
The PC as an AI application delivery vehicle
Careers for computing professionals
Knowledge Representing Schemes for Planning
The principal continuation and the killer heuristic
Poetry and computers (Panel)
Software design for electronic banking: managing the user-computer interface
An extrapolation step-size monitor for solving ordinary differential equations
A design framework for the ALVEY/ICL/DHSS demonstrator process
A family of conservative codes with block delimiters for decoding without a phase-locked loop
Concurrency control in database systems: A step towards the integration of optimistic methods and locking
Integrated programming environments based on structure editing (panel session)
Autodoc: Computer-based assistance for document production
An algebraic model of information structure and information processing
Software Engineering and Undergraduate Computing Curricula
SIPE: A TSS/360 software measurement technique
Turing award lecture
Creating Abstract Superclasses by Refactoring
A Hybrid Architecture for Neurocomputing (Abstract)
Tutorial: Microcode compaction is smaller always better?
A layered networking protocol designed to minimize complexity
High level hierarchical fault simulation techniques
English output of the physical examination in an automated medical record
Human-Computer Communication and Response
Access path lengths and performance measurement of data Base systems
Computer security in a non-traditional architecture
Network protocol analysis (abstract)
A systems manager's view of computer auditing
FSDS-Fairchild Software Development System
Person-job matching in the eighties
Outline for a multi-list organized system
An adaptable and distributed load adjustment algorithm
A method for digitally determining amplitude and phase-response information from analog swept sine vibration data
Directions in computer security
A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria
Teaching assembly language on the Macintosh (abstract only)
Structure memory designs for a database computer
Rectifiers as elements of switching circuits
A Data Modeling Framework for Queueing Network Models
Challenges of the seventies
Liability for malfunction of medical expert systems - why an expert system is like a power saw (abstract only)
Practical applications of path pascal in systems programming
An interactive production planning simulation system (abstract only)
An APCA-enhanced compression method on large-scale time-series data
MagSpider: a localization-free approach for constructing global indoor map for navigation purpose
A methodology for machine language decompilation
A multi-language syntax-directed editor
Software development productivity
A design for a community/junior college curriculum with options for two neighboring institutions
Software System Documentation Process Maturity Model
Minimizing the retrieval time of scatter storage techniques
A recurrence relation in uniform hashing
An interactive network of time-sharing computers
Towards heterogeneous keyword search
Experience gained from the American Airlines SABRE system control program
Genetic Algorithm Based Approach for Designing Computer Network Topology
FORTRAN 8x panel discussion
Algorithms for finding diagnosability level and t-diagnosis in a network of processors
Discussion of a -and-ldquo;problem set-and-rdquo; for instruction in digital computer programming
ODM: an object oriented data model for design databases
GULP - A compiler-compiler for verbal and graphic languages
Developing a Comprehensive Need-Based Curriculum for Non-Computer Science Majors (abstract)
An Approach for Integration of Data Processing in a Distributed Enviornment
Concurrent reading and writing with replicated data objects
Dealing with large sets of stimuli in learning tasks (abstract only)
An architecture for textual information retrieval
Developments in an expert system for graph theory investigation
Variable word sorting in the RCA 501 system
The Cascade Fault Tolerance Message System
Structured data interfacing for software systems
Design of the real-time executive for the Univac(r) 418 system
Graphic animation and speech synthesis applications for the auditory and visually disabled
An electronic environment for group effort in software documentation (abstract)
Studies in Markov models of computer systems
Distributed microprogram architecture
Compound data structure for computer aided design; a survey
Use of data in support of software metrics
The standardization of programming languages
Stylistic programming conventions: a student view of their importance and purpose (abstract only)
SPADOR: A scheduler, planner, and administrator of operations and resources
KC expert - the development of an ICAI system for chemistry
SIGACT (Tutorial Session)
"Ada after one year: How have government politics, industry concerns, and academia mixed?"
Touch-Tone input techniques: Data entry using a constrained keyboard
Finite automation over real-number alphabets (abstract only): some theoretical results and applications
Undergraduate research in computer sciences: FODESAR: FORTRAN dependent storage allocation and relocation package
A Parallel "make" Utility Based on Linda's Tuple-Space
F. L. Pilling and computer graphics (abstract)
The REDUCE system for computer algebra
Split-brain model (abstract only)
The reallocation of sequential regions of non-uniform size
The problem of herterogeneous groups in computer programmer training
Implications Of The President's Reorganization Project On Government Data Processing
Unconventional architecture
BARONET: : a simplified CRT-based information storage and retrieval system
Load leveling for control of distributed processing systems (abstract only)
Computer budgeting of mineral holdings for a small scale mining operation
Numerical analysis II: Iteration in predictor-corrector procedures
Query translation in a heterogeneous distributed database based on hypergraph models models(abstract)
Implementation of a resource manager for distributed MINIX
Quicksort algorithms with an early exit for sorted subfiles
The Elecom 100 general purpose computer
A deeper look at data
A user interface for simulating calligraphic pens and brushes
Distributed Multicasting Algorithm in a Wide Area Network
Treating hierarchical data structures in the SDC Time-Shared Data Management System (TDMS)
QTAM-control and processing in a telecommunication environment
A physical model of an abstract learning process
Termination via conditional reductions
To Correct Communicating Finite State Machines
The Distributed Double-Loop Computer Network (DDLCN)
A flexible approach to teaching FORTRAN
The simulation of a creative process - the composition of man-machine poetry
Partitioning Algorithms for a Distributed Deductive Databases
An overview of a multi associative processor study
An investigation of the efficiency of digital computers and programs for the solution of partial differential equations by iterative methods
Ethical questions and military dominance in next generation computing
SICSOFT (Panel Session)
Automatic content coding of English text
Local network selection criteria
A Classroom Information System for teachers; with focus on the instructional data collection and analysis
The synthesis of algorithmic systems
A mixed integer mathematical programming model solution using branch and bound techniques (abstract only)
Automatic machine grading programs
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion)
Performance Comparison of Join on Hypercube and Mesh
Office automation: The science that supports it (Panel Discussion)
ACE: Going from prototype to product with an expert system
Software and system design: VHSIC Hardware Description Language overview
Design of a blocked asynchronous protocol for distributed problem solving (abstract)
Automated image understanding: a tutorial
Design of a pictorial knowledgebase
Dynamic Binary Search Trees
Object-Oriented Design and Analyses for Advanced Application Development: Progress Towards a New Frontier
The Missouri statewide Automated Standard System of Psychiatry problems and partial solutions
Computer data communication: Packet switching in a slotted satellite channel
The design of course architecture for big data
On program control structure
A case study in system integration using the Build approach
Model of a multiprogrammed computer system with a multilevel memory hierarchy
Computational aspects on the use of cutting planes in global optimization
Symbolic synthesis of digital computers
Numerical analysis II: Numerical analysis of two generalized elliptic integrals
On the failure to implement structured programming and other techniques
A new binary code for pattern recognition by parallel computation
SIGSOFT tutorial on program verification (Tutorial Session)
Automatic recognition of vector and parallel operations in a higher level language
Characteristic numbers and their use in the decomposition of switching functions
Automated logic implementation
Interpretation of query-by-example language in bubble hardware language
Object-oriented design of distributed systems (abstract and references only)
On the fixed charge transportation problem
An analysis of carry transmission in computer addition
Dollars and sense of D.P. (PANEL-2)
A Transputer-Based Parallel Lisp Implementation
Exhaustive search strategy for the commonality analysis problem solution space
Evolutions of Object States in Temporal Object-Oriented Databases
Small business applications using a UNIVAC Computing Center
ImagineDesk: A Software Platform Supporting Cooperative Applications
Least squares approximations by polynomials: orthogonal and otherwise
A cutting plane algorithm for the fixed charge problem
Evaluation of incomplete elliptic integrals by gaussian integration
A Program Understanding Environment Based on the "Star" Approach to Tool Integration
Language Independent Generation of Graphical Representations of Source Code
The logical design of the Oak Ridge digital computer
Relational Data Models and Category Theory (Abstract)
TEXAC/PICTOL: A Texture Analysis Computer and its special purpose language
Topographic information retrieval in neuropharmacology by using graphic display
The solution of boundary value problems by the method of the kernel function
Pseudo-oracles for non-testable programs
The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract)
Security design considerations of hardware
Computerization and managerial control in large offices
Software for satellite graphics systems
Human factors in information filing and retrieval
Minimum time path planning for robot motion in obstacle strewn environment
The Least Common Bigram: A dictionary arrangement technique for computerized natural-language text searching
Installation of a large electronic computer
A Tool Supporting Query Optimization and Program Transformation Techniques
Evaluation of a Fault Tolerant Distributed Broadcast Algorithm in Hypercube Multicomputers
Management controls for effective and profitable use of EDP resources
A data-driven analysis of student efforts and improvements on a SPOC experiment
SIGMETRICS (Panel Session)
Artificial Intelligence: Finally in the Mainstream?
A Probability Propagation in Hypertrees
On solving large maximum concurrent flow problems
Treating information as an asset
Botzone: a competitive and interactive platform for game AI education
A proposal for adding reality to expert systems
Ferro electric-materials as storage elements for digital computers and switching systems
Management and editing of distributed modular documentation
Coming changes in system analysis and design
Recent progress in understanding minimax search
A Concurrency Control Mechanism Based on Extendible Hashing for Main Memory Database Systems
Characteristics for the basic syntax of an object-oriented design language (OODL) (abstract and references only)
An Optimal Distributed Depth-FirstSsearch Algorithm
Model curricula for 4-year computer science and engineering programs
Algorithms for covering and packing and applications to CAD/CAM (abstract only): preliminary results
Computer storage of contour-map data
Social evaluation of computer-based conferencing: some methods and results
Computers versus Common Sense (abstract)
A recent approach to the study of algorithms
Computers and the future of work (Panel)
A Study of the Personality Types of Successful Computer Science Majors (Abstract)
A relational data model to represent meaning in natural language sentences (abstract only)
The education and data processing professions: a perspective
Theoretical Advances in non-1NF Relational Databases
A distributed information handling system
Incomplete information and the relational model of data
Address Space Virtualization in Reconfigurable Computers
Compilers and parallel architectures (abstract only): sequential to parallel mapping strategies
The role of parellelism in file organization
A requirement model for the 5th generation
The Euclid Language: a progress report
A relational data base machine employing associative memories and transposed files
The case for a precurricular computer course (abstract only)
Concepts and Implications of Undo for Interactive Recovery
System Development Corporation
Dynamic binding of separately compiled objects under program control
FAD, a functional programming language that supports abstract data types
Invited papers: Decision tables in systems design
A Fault-Tolerant Implementation Protocol for Replicated Database Systems on Bus Local Area Networks
Tutorial on data base machines
Logo (abstract): creating a microworld for language experimentation
Automating Judgmental Decisions Using Neural Networks: A Model for Processing Business Loan Applications
SDI-5, an advanced system for selective dissemination of information
A time-dependent approach to queue simulation - III: system input and facility loading
On program verification and easy to veryfy programming
Education: Past, Present, Future (Abstract)
Content-Based image Retrieval Systems (Panel)
Professional education for secondary computer science (abstract only)
Specification of discontinuities with conditional expressions
Considerations for computer utility pricing policies
The changing face of information retrieval systems
Database for office automation
A graphical model of procedures for an automated manager's assistant
How Fast Should EFT Be Moving? (Panel Discussion)
"A 1 the documentation in sharable modules"
Infuse: a tool for automatically managing and coordinating source changes in large systems
Automatic layout for graphical representation of programs
ISETL: A Language for Teaching Discrete Mathematics (Abstract)
An empirical evaluation of algorithms for dynamically maintaining binary search trees
Health Computing: Curriculum for an emerging profession - report of the ACM curriculum committee on health computing education
A modular greatest common divisor algorithm for gaussian polynomials
An Implementation of Multiple Modulus Arithmetic and Its Comparison to Floating Point Arithmetic
Impact of recent privacy legislation: Minnesota and federal
A computer-based coding scheme for research data 1, 2
REL: A Rapidly Extensible Language system
A polygon matching problem in computer vision (abstract only)
Three-Dimensional Grid Partitioning for Network Parallel Processing
On designing a language for exclusive use in a syntax directed programming environment
The Software Engineering Institute (panel session)
The impediments to technological advancement imposed by the laws of physics
Computer simulations
The new focus on health systems management
Modeling Computer Privacy Costs
Implementation of a local area network (abstract only)
A statistical survey on the CAI thermodynamics at U. S. Naval Academy
Notations For Software Specification And Design (Panel Discussion)
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976
MAPS data base information systems: A system 2000 application
New directions in logic programming
STAND ALONE graphics; now more than ever
Some dimensions of the computer programming management problem at the federal level
Dynamic program behavior under paging
The role of isomorphism in programming
Enumerating the Risks of Reengineered Processes
Models for reasoning under uncertainty (abstract)
Architecture of the advanced development environment (abstract only)
Children and computers
Specialized commands for a syntax-directed editor (abstract)
The space efficiency of a forest of quadtrees over a quadtree data structure (abstract only)
A dual method for discrete Chebychev curve fitting
Directory-Assisted Abbreviated Name Entry: Telephone dialing by name
Interpolating numerical solutions of ordinary differential equations
LISP: a programming system for symbolic manipulations
UIL - ESP - AD (abstract): an expert system for analysis and diagnoses of a space staion powersubsystem
An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing
Information retrieval I: The MERGE system of information dissemination, retrieval, and indexing using the IBM 7090 DPS
Brit bits: computer science in British further education
Research into display sharing techniques in a distributed networking environment based on the x-window graphics system
Welcome to the ACM Turing Centenary Celebration!
A compiler language for data structures
Theorem minimization
Meaningfulness as a factor of program complexity
The birth of a HELP system
Use of computerized symbolic integration in finite element development
Maps and descendant husband trees (abstract only)
Industrializing software production
g is for grammars: an extension of Lisp
Some techniques and trade-offs affecting large data base retrieval times
Intelligent logical design of relational databases
Computers help solve problems in multinational corporations
Microcomputers in medical diagnosis
A Software Authentication System for the Prevention of Computer Viruses
Data entry, future tense
Software Fault Isolation in Wide Area Networks
Use of composite index in DDBMS
A generating function approach to the Traveling Salesman Problem