yusuke1997/dblp-id-title huggingface dataset:
Federal Funding For Basic Research In Computer Science
The Relation of Software Engineering to Computer Science (Abstract)
The role of certification in fostering professional development in the field of computing
Characteristics of Modern System Implementation Languages
An expert system for debugging novice programmers' pascal programs
Building step-by-step practical curriculum system for computer systemic ability training
An improved full-duplex retransmission technique
Issues in the design of concurrent programming languages
The STL integrated computer operating system
Issues in Ada's future sponsored by ACM/adatc (Panel Discussion)
Software sizing problems in software engineering metrics
Software-based digital audio on PCs
Applications in the physical sciences: BANZAI, a one-dimensional multienergy group neutron transport code for the IBM 709 and 7090 systems
Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering
A neural net model of the neuropsychology of spelling processes
Commonsense reasoning in Prolog
Compiler testing via symbolic interpretation
Recent study of teaching: machine aids in rehabilitation therapy
A simplex algorithm - gradient projection method for nonlinear programming
Pre-scheduling - a management tool?
Proceedings of the 1974 ACM Annual Conference, San Diego, California, USA, November 1974, Volume 1
An algebraic approach to multidimensional convolution (abstract only)
Conjunctional type assignment in programming languages
Synthesizing Communication Protocol Converter: A Model and Method
Programming environments and software engineering
The Effects of Initial Population in Genetic Search for Time Constrained Traveling Salesman Problems
A semantic approach in designing relational data bases
Computer aided graphics in architecture and planning
Artificial languages: Translation of compiler languages
Denotational data flow analysis for parallel implementation of imperative programs
Path analysis of distributed programs
Sensitivity of graph-theoretic metrics to edge directions for structured and unstructured programs (abstract and references only)
A logic interpreter to handle time and negation in logic data bases
An architecture for machine learning with multiple reinforcers (abstract and figures only)
Search engine drives the evolution of social networks
Exploring operating system internals with workstations
GRASP - a graphic service program
Job satisfaction as a predictor of tenure
How Shall We Manage Cyberspace and Its Growing Population?
Progress in simulation of valve train dynamics
Evaluation and performance of computers: application benchmarks: the key to meaningful computer evaluations
Considerations in the design of office DBMS's
A simple reference string sampling method
Implications of integrated transportation engineering design systems for computer software and hardware development
A TCP/IP Network Facsimile System Built from Publicly Available Software
Quasi-tridiagonal matrices and type-insensitive difference equations
Current research motivational constraints in the user environment (abstract): are they present
A chart method for simplifying truth functions
The CRYSNET terminal organization
Data Flow Analysis for Parallel Programs
The CD-ROM Foster a New Sata Structure: the B3-tree
The down-hill method of solving a polynomial equation
Sigmini the challenge of mini-computer software(Panel Discussion)
Some further methods of discretizing the exponential distribution
Improved sorting algorithms for parallel computers
The limitation of logic
An electronic analogue machine for computing equations of degrees through the roots of algebraic the eighth
Routing for Generalized Chordal Rings
Macrotasking and Microtasking a Navier-Stokes Algorithm on the Cray-2
People-Oriented Computer Systems, Revisited(Acm 82 Panel Session)
New directions in computing at the National Laboratories
Object oriented operating systems: An emerging design methodology
Seed corn session
A special purpose multiprogramming system for a computer-controlled telemetry Data Reduction System
INFANT: A Modular Approach to Natural Language Processing
Quantitative measurement of program quality
N-sorted logic for automatic theorem-proving in higher-order logic
Simulation of an Automatic Banking System with the Ada Programming Language (Abstract)
FORTRAN IV on videotape - an experiment in televised programmer training
A Dynamic Span Storing Method for Hidden Surface Removal
Large scale CAI: the NSF project
Minimizing Ripple Recompilation in a Persistent Software Environment
Design representation in CAD tools (session overview)
An assistance system for UNIX text formatters
Numerical treatment of a set of fourth order hyperbolic differential equations
Extended rigerous dependency diagrams for designing fully normalized relational databases
Definition of menus as an abstract data type
Database Reasoning: Extracting Knowledge from Databases (Abstract)
Higher education administration and computers
Computer Impact on Society perspective on a new NSF initiative
Computer generation of vertex-graphs
Two methods of instruction for an introductory computer programming course: a language oriented vs a non-language oriented method of instruction
The Cambridge project's consistent system
In defense of natural language
Acm committee on self-assessment(Panel-4): Programming skills/techniques test items: source and evaluation
Recovery for Real-Time Main Memory Database Systems
Visions of future programming environments
The design of a topology information maintenance scheme for a distributed computer network
Dynamic programming as applied to feature subset selection in a pattern recognition system
On the specification and quantification of software performance objectives
Vision, perception and imagery
Computer assistance for writing interactive programs: TICS
Small computer-based system for the analysis of respiration response to atmosphere pollution
Megaprogramming (Abstract)
The undergraduate program in information systems development
Computer organization/architecture: a threaded top-down design
An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process
Problem solving grammars as formal tools for intelligent CAI
DREAM - an approach to designing large scale, concurrent software systems
Lambda Calculus Then and Now
Tomorrow: Computers and learning
Use of computer in school (abstract only)
The desktop metaphor as an approach to user interface design (Panel Discussion)
On computing certain integrals, and implications for symbolic algebraic manipulation
The nucleus of a real-time operating system(a tutorial on the internals of RSX-11M)
Learning word embeddings via context grouping
Quantifying the Benefits of Semantics
Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984
Computers in transportation
Error recovery in LL(1) parsers using probabilistic grammar (abstract)
A model for an adaptive scheduler
Asympototes of a differential equation of ion recombination
An interactive logic activity modelling program
A measure for memory utilization
Methods for system simulation on a restricted data flow architecture
Use of computing machinery in applications of information theory
Formalization of operations and function definitions in a functional programming language for data structures
Integrating PC's into the information center (session overview)
A review of quasi-Newton methods in nonlinear equation solving and unconstrained optimization
Applications in the physical sciences: Procedure Network Analysis
Spacetime Visualization of Relativistic Effects
Small Business - A Gold Mine For D.P. Educators
A method for finding a minimum of a multivariate function with applications to the reduction of missile and satellite data
Performance comparison of COBOL vs. PASCAL: a comparative investigation
Some relational query language design issues and the language MQL
ABSL: An Actor-Based Specification Language for Office Automation
The PUMA project: Computer design automation in the university
Improving Mentoring for Women in Computer Science Fields (abstract)
Control charts as a CPU performance measurement tool (abstract only)
SLAW (abstract only): a language free environment - future directions and research
Optimal n-line Successive Over Relaxation
Toward a theory of correct set algorithms
Computer Aided Programming: Techniques for software manufacturing
Improvement of williams memory reliability
The Computer Software Products Industry in the '80s
Software management (Panel Discussion)
Dynamic memory allocation systems for minimizing internal fragmentation
Color Graphics in Education, Art and Industry
Inter-relational information and incompleteness in relational databases (abstract only)
A proposed academic program in the computer sciences
The Architectural Requirements and Integration Analyses of a Database Server for Office Automation
The education of a computer
The qualitative problem solving system PHYSYS
DIID - Data independent interface for database (abstract)
The computerized destruction of western civilization
APL tools and techniques and their effect on good programming style
A computer aid for Schenkerian analysis
Opportunities For Computer Scientists And Engineers In The Federal Government (Presentation Abstract): A perspective
The Use of Single Family of Languages for Program Development
The Retrieval Power of NFQL
The solution of simultaneous nonlinear equations
Piecewise approximation of functions of two variables through regions with variable boundaries
The DCM: a hardware extensible architecture
Representing temportal sequence and duration in massively parallel networks (abstract)
High order matrix computations on the UNIVAC
The effect of software development practices on cost estimates (abstract)
Software Quality And Reliability
The recursive application of the object-oriented design methodology (abstract only)
Using Genetic Algorithms to Generate Steiner Triple Systems
High-level design using HELIX
Computing personnel: Changes in the workplace
Production logic synthesis
A Linear Time Algorithm for Retrieval by Spatial Constraints in Multimedia Database Applications
A distributed flat file strategy for managing research data
A computer program for discovering and proving recognition rules for Backus Normal Form grammars
Structured programming in the 1980s
Programming languages for non-numeric processing - 2: An introduction to the COGENT programming system
Executive Support For Urban Technology: The case of computing
Some heuristics cannot be derived from relaxed models (abstract only)
Revised tree sort
Problems of the information age
Curriculum generators: Some design problems
Experience of using message spooling processors in a non-interactive network
Eyes: a visual programming environment (abstract only)
Logging, security experts data base, and crypto key management
Simple learning by a digital computer
Implementaion of a parallel subsumption algorithm (abstract only)
Artificial intelligence and pattern recognition
Fault-tolerant string processing by pattern mapping
Graphical visualization of the topology of token ring network
Experiences with hipo and other documentation techniques(Tutorial and Panel Discussion)
Integrating data structure diagrams into source level debuggers (abstract)
Structure of a direct-execution high-level Chinese programming language processor
Artificial intelligence and self-organizing systems: An experimental model of adaptive memory
The computer as coach: As athletic paradigm for intellectual education
Retrieval-based Language Models and Applications
The assesment of software usability (abstract)
Computational problems of linear programing
SICSOFT (Paper Session)
ARMS: arbitrary robot modelling system (abstract only)
Monte Carlo simulation of system reliability
On an automated method
Formal opening of conference: Social and economic aspects of electronic data processing
The initial implementation of System k (abstract only)
An Integrated Data Structure with Multiple Access Paths for Database Systems
Interactive operating systems for small computers (Panel Discussion)
A compiler - compiler system
An expert system for treadmill excercise ECG test analysis (abtracts)
Music theory - a programming linguistic approach
A Dual-Algorithm Performance Monitoring System (Abstract)
PROLOG applications for database design with the information center
Generalized protocol driven problem oriented clinical data management and monitoring
Seeking configurational optimization in computer systems
On rational function approximations to the exponential function with application to the practical solution of linear differential difference equation with constant coefficients
Numerical algorithms based on the theory of complex variable
Knowledge-Based OOA and OOD
Diagnosis and treatment in MEDAS (medical emergency decisions and assistance system)
An interactive version of the PL/C compiler
The Wisconsin Tax Model system
The National Software Works: Operational issues in a distributed processing system
Autonomous systems intelligence
CaseDL (abstract): a design tool for specification and prototyping
Remote FPGA lab platform for computer system curriculum
The influence of microprocessors on computer architecture: Distributed processing
Logo graphics as a mathematical environment
Characteristic values of arbitrary matrices
Digital generation of continuous, filtered Gaussian noise
An Approach to Natural Language Processing in the Rule-based Expert System
A voice input microcomputer system (VIMS) (abstract)
Concepts of Operational Software Quality Metrics
SIGBDR (Panel Session)
A performance comparison of the window systems of two LISP machines (abstract)
Introducing program design (abstract only)
Knowledge-based query processing in object bases
Panel on information and public policy
Structured programming in assembly language (abstract only)
Application of computers and technology to training
A parallel inference engine (PIE) (abstract only)
Interactive Programming by End-users
A Quasi-Distributed Architecture for Database Management Systems
How investments in computing research will pay off
ACM'97: The Next 50 Years of Computing, ACM '97, San Jose, California, USA, March 3-5, 1997
Programming Style Authorship Analysis
An Introduction to Chromatic Sums
Where are we headed with artificial intelligence?
ADAM: a graphical, object-oriented database-design tool and code generator
Complexity Of Computations
Job shop simulation on the IBM 704
Human factors (Tutorial Session)
A Software Engineering Graduate Curriculum
ELECTRE: A language using control structure expressions to specify synchronization
Information retrieval I: DIGEST - DIebold GEnerator for Statistical Tabulation
The management of information in political campaigns hypothetical case - SIGCAS (Session Abstract)
Modular requirements for digital logic simulation at a predefined functional level
Sci-Mate - a microcomputer system for Online Search and Personal File Management
On functional iteration and the calculation of roots
Towards empirical studies of programming in new paradigms
An innovative, multidisciplinary educational program in interactive information storage and retrieval (abstract only)
Computer personnel productivity: Methods of measurement and improvement
Micromultiprocessing of a single instruction stream
The dark side impacts of IT on society
Generalized random extract device
Using Galois fields in computer science (abstract only)
The future of the internet
Experimental mathematics: An application retarded ordinary differential equations with infinite lag to
A Powerful Modular Computer On A Universal Building Module
An Integrated Authoring System for Diagnostic Testing (Abstract)
Object boundary determination in a textured environment
On Expert Database Systems (Abstract)
Interactive digital-simulation laboratory gains special components
The quality of information
DIALOG: An operational on-line reference retrieval system
An Analysis Of Recurrent Software Errors In A Real-Time Control System
An information retrieval perspective on fuzzy database systems (ACM 82 Panel Session)
Compact Input Coding for Speech Recognition by Neural Net (Abstract)
The HCV Induction Algorithm
Pascal language extensions for parallel processing
Handprint recognition on the GRAFIX I: : A commercial application of heuristic programming
An alternating direction method for solving the biharmonic equation
Notation of movement with computer assistance
A SPEAKEASY language extension for economists
Sorting on a multiple magnetic tape unit
Implicit-Specification Errors and Automatic, Trace-Based Debugging
Trends in certification and professionalism
A Random Binary Tree Generator
Principles of the parallel shape coding with the termination condition
Specification of content-dependent security policies
Computerized conferencing in the 80's: What could be, what should be and what probably will be
Software accounting and the hardware monitor: Their marriage in performance analysis
The Establishment and Application of a Metric for Graphical Design Language (Abstract)
On the modeling of read and write locks on a distributed system
Cadfiss test system computation and data flow integrated subsystem tests
Parallel resource allocation algorithms on macro-pipelined architectures
Business and management data processing I: Small business executive decision simulation
MIDAS: A MID-level language for microprocessors
Verification of software specifications using automated reasoning techniques (abstract)
An Optimal Algorithm for Finding Biconnected Components in Permutation Graphs
One man's view of training in structured methods
Processing PDP-11 files into IBM file structures
COFFEE: coexist wifi for ZigBee networks: a frequency overlay approach
Computer science education for industry software personnel (Panel Session)
On the formulation of normal pushdown acceptors
Interactive languages in health computer sciences at the University of Minnesota
Computerized optimization and planning in solid waste management
Probabilistic rule generator
Using time wisely, revisited (extended abstract)
The ethics of macines which mimic people
Petri nets: a graph model for the representation and analysis of concurrent systems (abstract)
The design and evolution of an object-oriented graphics library for creating user interfaces for VLSI design tools
SIGOPS (Paper Session)
Application of MACSYMA to an asymptotic expansion problem
The national software works access to distributed files and tools
The microprocessor: Out of control ?
On the design of business systems for computers
FCFS: A Novel Scheduling Policy for Tightly-Coupled Parallel Computer Systems
One-step methods for nonlinear n-th order integro-differential equations
Individual learning styles and computer science education
Problems in biomedical computing: : what are they, and who is solving or creating them?
Competing in the ACM Scholastic Programming Contest (abstract)
The Data and Analysis Center for Software(Presentation Abstract)
New applications
A Modified Locality Matrix Model (MLMM) - dynamic clustering in a demand paging environment
Computer performance evaluation (SIGMETRICS): Brownian motion?
Application of Object-Oriented Technology for Integrating Heterogeneous Database Systems
An Architecture for Planning with External Information Points in a Real-Time System
The may company california network a case study
Concurrency and parallelism - future of computing
An appraisal of the Atlas supervisor
A learning process suitable for mechanization
Avoiding deadlock in distributed data bases
Information resource management theory training
Computer transcription of manual morse
Systematic program development/proof using Dromey's method: some comparisons with top-down design
Education and training: Computers in Engineering Education 1960-1964
Automatic data acquisition and processing of train deceleration for rapid transit train systems
An Iterative Solution to the Four-Peg Tower of Hanoi Problem
Analyzing a real-time system
A Formal Theory Of Language Acquisition
AFIPS secondary education curriculum in information technology
Parallel Processing and Trusted Database Management Systems
Machine implementation of symbolic programming
Congressional Reliance On And Use Of Computers
A new approach to construction of computer systems
Programming Languages for Non-Numeric Processing - 1: examples of symbol manipulation in the AMBIT Programming Language
Man-machine interaction: Machine-aided design of context-free grammars
The development of a large scale mathematical programming system
BUGID (abstract only): a soybean insect pest identifier
Office of the future: Using the structure of the human communication system to build the office of the future (I)
Application development without programmers (Panel Discussion)
A Real-Time Robot Collision Avoidance System (Abstract)
Natural Language Dialogue For Managing An On-Line Calendar
Computer science for secondary schools: Course content
Elementary computer literacy (SIGCAS)
Parser speedup by experimental transformation of grammars(abstract and references only)
An automatic telephone directory inquiry service system
Constructive mathematics and computer science
Towards a practical specification language
A parallel processing approach to image object labeling problems (abstract only)
Recent numerical experiments comparing successive overrelaxation iterative methods with implicit alternative direction iterative methods
Residue class error checking codes
Semantic attributes and improvement of generated code
SIGHT, a satellite interactive graphic terminal
Computers and science education: Issues and progress (Presentation Abstract)
A secure distributed capability based system (extended abstract)
Beyond the data processing horizon
CRISP: An interactive student registration system
MOSES - a system for quickly implementing efficient code for new linear programming algorithms and variants of algorithms
A universal hierarchical language interface for IMS (abstract)
A tutorial for make
Technological advances in software engineering
M65MP: An experiment in OS/360 multiprocessing
SIGCUE (Paper Session)
An automated scheduling system for project management
A proposal for training youngsters in digital computing techniques
A non-linear programming algorithm with application to product allocation
Menu planning by an EXPERT (abstract only)
Automatic nested dissection
Heuristic switching expression simplification
One freshman studies program which improved student retention in the first year computer science sequence for majors
No! high level languages should not be used to write systems software
A high speed magnetic-core output printer
Management information systems: Survey of principle types of simulation models of the firm
Structural concrete and some numerical solutions
Almost alike programs
Knotted list structures
Improving and refining programs by program manipulation
System optimization: Automatic flow chart design
Knowledge-based information retrieval (abstract only): techniques and applications
Synthetic program specifications for performance evaluation
Concurrency Control in Real-Time Database Systems
The Impact of a MultiFunction Workstation on Managerial and Organizational Communications
Combining explanation based generalization with the learning of macro operators (abstract only)
Firing table computations on the Eniac
Measurement and analysis of a demand paging Time Sharing System
Perspectives on software quality assurance (Panel)
Educational preparation for support-level careers in health computing
Invited papers - 2: soviet computer science, revisited
Artificial intelligence and information retrieval
On the control dependence in the program dependence graph
Automatic programming and compilers I: STRETCH experiment in multiprogramming
The computer analysis of chest radiographs
Numerical analysis I: Segmented minmax approximation
A hierarchy for classifying AI implications
Measurement criteria for virtual memory paging rules
On shortest paths and sorting
A comparative analysis of two concepts in the generation of uniform pseudo-random numbers
Computer Science And Statistics
Cyclic composite multistep predictor-corrector methods
The Air Force software manager