yusuke1997/dblp-id-title huggingface dataset:
Papers presented at the 1956 joint ACM-AIEE-IRE western computer conference, AIEE-IRE 1956 (Western), San Francisco, California, USA, February 7-9, 1956
On-line sales recording system
AN/FST-2 radar-processing equipment for SAGE
Applications of computers to aircraft dynamic problems
A chess playing program for the IBM 704
Optical display for data-handling system output
The Univac® M-460 computer
A method of combining ALGOL and COBOL
Cascaded variable cycle control as applied to the 220 computer
Use of a digital computer for airborne guidance and navigation
The Lincoln TX-2 input-output system
Computer performance tests employed by the National Bureau of Standards
A computer oriented toward spatial problems
Man-to-machine communication and automatic code translation
Data processing techniques in design automation
Square-loop magnetic logic circuits
New frontiers
The ElectroData computer in a data-reduction system
Applications of small digital computers in the aircraft industry
Analysis of perceptions
A truly automatic computing system
A topological application of computing machines
The Univac Air Lines Reservations System: a special-purpose application of a general-purpose computer
Design features of Remington Rand Speed Tally
Programmed interpretation of text as a basis for information-retrieval systems
The RETMA support of the 1950 computer conference: a progress report
Papers and discussions presented at the 1957 eastern joint computer conference: Computers with deadlines to meet, IRE-ACM-AIEE 1957 (Eastern), Washington, D.C., USA, December 9-13, 1957
Considerations in making a data-gathering system compatible
On the reduction of error in certain analog computer calculations by the use of constraint equations
An evaluation of analog and digital computers
A new input-output selection system for the Florida Automatic Computer (FLAC)
A functional description of the Lincoln TX-2 computer
Characteristics of the RCA BIZMAC computer
Impulse switching of ferrites
Communication between remotely located digital computers
Reliability experience on the OARAC
The utilization of domain-wall viscosity in data-handling devices
The spectral evaluation of iterative differential analyzer integration techniques
Ideal transformers in the synthesis of analog computer circuits
SIMCOM: the simulator compiler
Automatic failure recovery in a digital data-processing system
Techniques for increasing storage density of magnetic drum systems
The philosophy of automatic error correction
Continuous computer operational reliability
A pulse-duration-modulated data-processing system
A digital computer for industrial process analysis and control
The flow diagram approach to computer logical design using the NCR 304 as an illustration
A nondestructive readout film memory
The impending revolution in computer technology
On microelectronic components, interconnections, and system fabrication
Special-purpose, electronic data systems: the solution to industrial and commercial automation
Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1960 (Western), San Francisco, California, USA, May 3-5, 1960
Trends in electronic business data systems development
The RAMAC data-processing machine: system organization of the IBM 305
The measurement of social change
The advantages of built-in checking
The engineering design of the stretch computer
The RCA BIZMAC system central
Impact of automation on digital computer design
The role of communications networks in digital data systems
The GE-100 data processing system
Hot-wire anemometer paper tape reader
Temperature compensation for a core memory
A command structure for complex information processing
Automatic data processing in the tactical field army
A screening method for large information retrieval systems
Application of computers to circuit design for Univac Larc
Automatic input for business data-processing systems
After-luncheon remarks
A coordinated data-processing system and analog computer to determine refinery-process operating guides
Reliability of a large REAC installation
Simulation: a survey
A PDM converter
The processing of information-containing documents
A built-in table lookup arithmetic unit
Machine language in digital computer design
Simulation of sampled-data systems using analog-to-digital converters
Application of the Burroughs E101 computer
A magnetically controlled gating element
The computer simulation of a colonial socio-economic system
Analog computer techniques for plotting Bode and Nyquist diagrams
A multi-level file structure for information processing
Experiments with a digital computer in a simple control system
Will electronic principles make possible a business revolution
A description of the IBM 7074 system
APAR: automatic programming and recording
A time-sharing analog computer
Requirements of the bureau of old-age and survivors insurance for electronic data processing equipment
Recent developments in very-high-speed magnetic storage techniques
A general digital computer program for static stress analysis
Developing a long-range plan for corporate methods and the dependence on electronic data processing
A centralized data processing system
Transfer-function synthesis with computer amplifiers and passive networks
Organization and retrieval of records generated in a large-scale engineering project
Computers with European accents
Testing of micrologic elements
An experimental program for the selection of "disjunctive hypotheses"
IBM current mode transistor logical circuits
Design objectives for the IBM stretch computer
Computer design from the programmer's viewpoint
A new method of verifying analog computer problems and performances
The transistor as a digital computer component
Some physiology of automata
The IBM card-programmed electronic calculator
Analog - digital hybrid computers in simulation with humans and hardware
A computer analytic method for solving differential equations
An electronic directory for sorting mail
A first version of UNCOL
The automatic determination of human and other system parameters
Summary of AIEE-IRE-ACM conference
Anatran: first step in breeding the "diginalog"
The role of computers in air defense
An improved multichannel drift-stabilization system
Analysis of TRL circuit propagation delay
Design techniques for multiple interconnected on-line data processors
The IBM 650 RAMAC system disk storage operation
Optimized control through digital equipment
MicroSADIC, a high-speed system with variable format output
A new approach to the programming problem
Superconductive devices
The multi-sequence computer as a communications tool
The trial translator: an automatic programming system for experimental Russian-English machine translation
A compiler capable of learning
The social problem of automation
Programming a model of human concept formulation
Parallel computing with vertical data
Computers: the answer to real-time flight analysis
The computer and its peripheral equipment
Real-time automobile ride simulation
A computer controlled dynamic servo test system
The next twenty years in information retrieval: some goals and predictions
Automatic digital matric structural analysis
A self-checking system for high-speed transmission of magnetic-tape digital data
New horizons in systems
A specialized library index search computer
Transistor resistor logic circuits for digital data systems
A high-speed data translator for computer simulation of speech and television devices
Engineering experience with the SEAC
A magnetically coupled low-cost high-speed shaft position digitizer
A cryotron catalog memory system
A self-checking high-speed printer
The social problems of automation
The ACRE computer: a digital computer for a missile checkout system
The instruction unit of the stretch computer
The historical development, and predicted state-of-the-art of the general-purpose digital computer
A set of transistor circuits for asynchronous, direct-coupled computers
A 2.5-megacycle ferractor accumulator
Automatic registration in high-speed character sensing equipment
Developments in programming research
Papers and discussions presented at the 1956 eastern joint computer conference: New developments in computers, AIEE-IRE 1956 (Eastern), New York, New York, USA, December 10-12, 1956
DAFT: a digital/analog function table
Simulation by modeling
High-speed circuit techniques utilizing minority carrier storage to enhance transient response
The CORDIC computing technique
Small digital computers and business applications
Introduction to session on learning machines
Evaluation of the engineering aspects of Whirlwind I
The impact of computer development on the training and utilization of engineers
The use of the IBM 704 in the simulation of speech-recognition systems
State-logic relations in autonomous sequential networks
Computers as tools for management
A digital control unit for a repetitive analog computer
Mathematical applications of the dynamic storage analog computer
New logical and systems concepts
Ready-to-wear unit control procedure
The megacycle ferractor
ALGY - an algebraic manipulation program
Redundancy checking for small digital computers
Devices for reading handwritten characters
Computing machines in aircraft engineering
The transfluxor
Accuracy control in the RCA Bizmac system
The use of a binary computer for data processing
The role of digital computers in the dynamic optimization of chemical reactions
The Lincoln TX-2 computer development
Ferrite apertured plate for random-access memory
The Tradic Leprechaun computer
New computer developments around the world
Pattern recognition and reading by machine
Some experimentation on the tie-in of the human operator to the control loop of an airborne navigational digital computer system
The 465L (SACCS) computer application
Nonlinear resistors in logical switching circuits
Polyphase merge sorting: an advanced technique
Why not try a plugboard?
Factors influencing the effective use of computers
Functional description of the NCR 304 data-processing system for business applications
A digital system simulator
An experimental monitoring routine for the IBM 705
Engineering design of a magnetic-disk random-access memory
An optimization concept for business data-processing equipment
Theory of files
Group discussion on technical applications
Application of operational digital techniques to industrial control: (abstract)
A combined analog-digital differential analyzer
Purpose and application of the RCA BIZMAC system
The numericord machine-tool director
The EDSAC computer
Symmetrical transistor logic
Operating experience with the Los Alamos 701
Computer applications in air traffic control
The social consequences of automation
New laboratory for three-dimensional guided missile simulation
File searching using variable length keys
Are computers important?
Original documents in retail accounts receivable
TABSOL: a fundamental concept for systems-oriented languages
Transistor-magnetic core bilogical computer element
A fixed-program data processor for banking operations
Combined analogue and digital computing techniques for the solution of differential equations
Small digital computers to assist large digital computers
The Burroughs 220 high-speed printer system
A digital system for position determination
Recognition of sloppy, hand-printed characters
The RCA 501 high-speed printers: the story of a product design
A transistor-circuit chassis for high reliability in missile-guidance systems
The dynamics of toggle action
A suggested model for information representation in a computer that perceives, learns, and reasons
Communication between computers
Papers presented at the 1961 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1961 (Western), Los Angeles, California, USA, May 9-11, 1961
Communications within a polymorphic intellectronic system
FOXY 2: a transistorized analog memory for functions of two variables
Applications of digital computers to problems in the study of vehicular traffic
Real-time digital analysis and error-compensating techniques
Accuracy control systems for magnetic-core memories
Proceedings of the 1953 western computer conference, AIEE-IRE 1953 (Western), Los Angeles, California, USA, February 1-6, 1953
Empirical explorations of the geometry theorem machine
Unusual techniques employed in heat transfer programs
A computer for weather data acquisition
Programming the logic theory machine
Coding a general-purpose digital computer to operate as a differential analyzer
Automation of information retrieval
System characteristics of a computer controller for use in the process industries
Design of Univac®-LARC system: I
Reliability and characteristics of the Illiac electrostatic memory
Factors affecting the choice of memory
Information retrieval on a high-speed computer
A generalized scanner for pattern- and character-recognition studies
Program interrupt on the Univac scientific computer
A small, low-cost business computer
The place of the special purpose electronic data processing systems
Organization and program of the BMEWS checkout data processor
Computer-based management control
File problems associated with the National Menu Study
Design of the RCA 501 system
Simulation of behavior in the binary choice experiment
An introduction to the Bell System's first electronic switching office
An experiment in mechanical searching of research literature with RAMAC
Error detection in redundant systems
Pattern and character recognition systems: picture processing by nets of neuron-like elements
A high-speed transistorized analog-to-digital converter
A program to draw multilevel flow charts
Switching transistors
The role of the university in computers, data processing, and related fields
Contrasts in large file memories for large-scale computers
Time-analysis of logical processes in man
Communication across language barriers
PILOT, the NBS multicomputer system
A survey of digital methods for radar data processing
Application of computers to automobile control and stability problems
Descriptive languages and problem solving
Iterative circuit computers
FILTER: a topological pattern separation computer program
Digital computers: present and future trends
Methods of file organization for efficient use of IBM RAMAC files
The Burroughs laboratory computer
Multiweapon automatic target and battery evaluator
Introductory remarks
A logical machine for measuring problem solving ability
Group discussion on crystal diodes
Programming design features of the GAMMA 60 computer
Standardization of computer intercommunication
Papers presented at the 1957 western joint computer conference: Techniques for reliability, IRE-AIEE-ACM 1957 (Western), Los Angeles, California, USA, February 26-28, 1957
On programming a highly parallel machine to be an intelligent technician
Electron tube performance in some typical military environments
Proceedings of the 1954 eastern joint computer conference: Design and application of small digital computers, AIEE-IRE 1954 (Eastern), Philadelphia, Pennsylvania, USA, December 8-10, 1954
Storage and retrieval of information
A compiler with an analog-oriented input language
The printed motor: a new approach to intermittent and continuous motion devices in data processing equipment
A self organizing recognition system
The recording, checking, and printing of logic diagrams
Operation of the SAGE duplex computers
The interpretation and attainment of reliability in industrial data systems
Magnetic recording head design
What is an intelligent machine?
A shaft-to-digital encoder
The selection of an instruction language
Can computers help solve society's problems?
The digitac airborne control system
Performance advances in a transistorized computer system: The TRANSAC S-2000
Minimum transistor logic modules for air-borne control applications
A high speed, small size magnetic drum memory unit for subminiature digital computers
Apparatus for magnetic storage on three-inch wide tapes
The solution of partial differential equations by difference methods using the electronic differential analyzer
The UNIVAC system
Datafile: a new tool for extensive file storage
The automatic handling of business data
The Athena computer, a reliability report
The MIT magnetic-core memory
Proceedings of the 1958 western joint computer conference: contrasts in computers, IRE-ACM-AIEE 1958 (Western), Los Angeles, California, USA, May 6-8, 1958
On iterative factorization in network analysis by digital computer
The equivalent circuits of shells used in airframe construction
An approach to computers that perceive, learn, and reason
Baseball: an automatic question-answerer
A technique for using memory cores as logical elements
Real-time data processing for CAA air-traffic control
Encoding of incompletely specified Boolean matrices
Electronics in financial accounting
Preparations for tracking artificial earth-satellites at the Vanguard Computing Center
Techniques for reliability in computers for weapon control: keynote address
Applications of automatic coding to small calculators
Trends in design of large computer systems
The manual use of automatic records
Empirical explorations of the logic theory machine: a case study in heuristic
The synthesis of computer-limited sampled-data simulation and filtering systems
Deposited magnetic films as logic elements
The CELLSCAN system - T.M. a leucocyte pattern analyzer
The Marchant computer system
TX-0, a transistor computer with a 256 by 256 memory
Dynamic production scheduling of job-shop operations on the IBM 704 data-processing equipment
Simulation of an information channel on the IBM 704 computer
Document processing
The outlook for machine translation
A memory of 314 million bits capacity with fast and direct access: its systems and economic considerations
A high-speed multichannel analog-digital converter
The design, construction, and performance of a large-scale general-purpose digital computer
Scientific manpower problems
Transistor circuitry in the Lincoln TX-2
Data transmission equipment concepts for FIELDATA
A saturable-transformer digital amplifier with diode switching
Control of automobile traffic: a problem in real-time computation
A card changeable nondestructive readout twistor store
Some experiments in machine learning
A device to facilitate combined analog-digital computation
The logical design of a 1-microsecond parallel adder using 1-megacycle circuitry
The RCA 501 assembly system
Computers for field artillery
The operation and logic of the MARK III electronic calculator in view of operating experience
Digital computer solution of differential equations in real time
Applications of Boolean matrices to the analysis of flow diagrams
The system approach to reliability
An experimental digital flight control system
A theory of information retrieval
Analysis of business application problems on IBM 650 magnetic drum data-processing machine
The master terrain model system
A new approach to high-speed logic
A review of the Bell Laboratories' digital computer developments
Alpha-numeric character recognition using local operations
Discussion of problems in pattern recognition
Inlining java native calls at runtime
A method specialisation and virtualised execution environment for Java
Enabling Hybrid Parallel Runtimes Through Kernel and Virtualization Support
FoxyTechnique: tricking operating system policies with a virtual machine monitor
Fast and correct performance recovery of operating systems using a virtual machine monitor
A platform for secure static binary instrumentation
Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010
VMScatter: migrate virtual machines to many hosts
Hardware-Assisted Secure Resource Accounting under a Vulnerable Hypervisor
Netchannel: a VMM-level mechanism for continuous, transparentdevice access during VM migration
Optimized interval splitting in a linear scan register allocator
Scheduling I/O in virtual machine monitors
SPIRE: improving dynamic binary translation through SPC-indexed indirect branch redirecting
Virtual machine showdown: stack versus registers
Demystifying magic: high-level low-level programming
Cibyl: an environment for language diversity on mobile devices
Opening black boxes: using semantic information to combat virtual machine image sprawl
vCPU as a container: towards accurate CPU allocation for VMs
Deconstructing the garbage-first collector
HeteroVisor: Exploiting Resource Heterogeneity to Enhance the Elasticity of Cloud Platforms
ReHype: enabling VM survival across hypervisor failures
Dolly: virtualization-driven database provisioning for the cloud
Deoptimization for dynamic language JITs on typed, stack-based virtual machines
Stochastic resource allocation
TEEv: virtualizing trusted execution environments on mobile platforms
A programmable microkernel for real-time systems
Cloneable JVM: a new approach to start isolated java applications faster
SymCall: symbiotic virtualization through VMM-to-guest upcalls
A binary-compatible unikernel
Supporting High Performance Molecular Dynamics in Virtualized Clusters using IOMMU, SR-IOV, and GPUDirect
VEE '22: 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Virtual Event, Switzerland, 1 March 2022
DBT path selection for holistic memory efficiency and performance
VEE '21: 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Virtual USA, April 16, 2021
Towards verifiable resource accounting for outsourced computation
On Selecting the Right Optimizations for Virtual Machine Migration
Perfctr-Xen: a framework for performance counter virtualization
Next Generation Virtual Memory Management
ClusterRR: a record and replay framework for virtual machine cluster
Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation
A new approach to real-time checkpointing
Dynamic compilation: the benefits of early investing
Multi-stage replay with crosscut
An efficient and generic reversible debugger using the virtual machine based approach
Exploiting FIFO Scheduler to Improve Parallel Garbage Collection Performance
Evaluation of delta compression techniques for efficient live migration of large virtual machines
Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining
Improving dynamic binary optimization through early-exit guided code region formation
Transparent dynamic instrumentation
Java TM on the bare metal of wireless sensor devices: the squawk Java virtual machine
Virtualization challenges: a view from server consolidation perspective
Safe Inspection of Live Virtual Machines
CompSC: live migration with pass-through devices
Hop, Skip, & Jump: Practical On-Stack Replacement for a Cross-Platform Language-Neutral VM
Optimizing crash dump in virtualized environments
Heterogeneous Managed Runtime Systems: A Computer Vision Case Study
ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks
Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments
Swift: a register-based JIT compiler for embedded JVMs
Catalyst: GPU-assisted rapid memory deduplication in virtualization environments
Automatic feedback-directed object inlining in the java hotspot TM virtual machine
Novel online profiling for virtual machines
Portkey: hypervisor-assisted container migration in nested cloud environments
Performance potential of optimization phase selection during dynamic JIT compilation
Ginseng: market-driven memory allocation
A Comprehensive Implementation and Evaluation of Direct Interrupt Delivery
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning
TruffleWasm: a WebAssembly interpreter on GraalVM
Improving Virtualized Storage Performance with Sky
Experiences in the land of virtual abstractions
The changing face of enterprise virtualization (keynote)
Cross-ISA machine instrumentation using fast and scalable dynamic binary translation
Efficient runtime tracking of allocation sites in Java
Dynamic cache contention detection in multi-threaded applications
Xen and co.: communication-aware CPU scheduling for consolidated xen-based hosting platforms
Impact of virtual execution environments on processor energy consumption and hardware adaptation
Limits of region-based dynamic binary parallelization