Browse by Subject

Related Papers

2007	CellSs: Making it easier to program the Cell Broadband Engine processor
2007	Open-standard development environment for IBM System z9 host firmware
2007	Production design for plate products in the steel industry
2007	Workforce optimization: Identification and assignment of professional workers using constraint programming
2005	Blue Gene/L programming and operating environment
2004	Evolution of a Java just-in-time compiler for IA-32 platforms
2004	Model-driven development of large-scale Web applications
2004	The GNU 64-bit PL8 compiler: Toward an open standard environment for firmware development
2001	Logical reversibility
2000	Some studies in machine learning using the game of checkers
1994	Instruction scheduling in the TOBEY compiler
1994	Trace-directed program restructuring for AIX executables
1993	Component procurement and allocation for products assembled to forecast: Risk-pooling effects
1991	Execution of automatically parallelized APL programs on RP3
1991	Low-overhead scheduling of nested parallelism
1991	The parallel C (pC) programming language
1989	Fault-simulation programs for integrated-circuit yield estimations
1989	Frames, semantic networks, and object-oriented programming in APL2
1989	Representing knowledge with functions and Boolean arrays
1987	Direct semantics of concurrent languages in the SMoLCS approach
1987	LEXX—A programmable structured editor
1987	Specification statements and refinement
1987	The group problem and integer programming duality
1987	Transaction processing primitives and CSP
1986	A vectorizing Fortran compiler
1986	An automatic overlay generator
1986	An execution architecture for FP
1986	Compiling APL: The Yorktown APL Translator
1986	Microtasking on IBM multiprocessors
1986	Program analysis and code generation in an APL/370 compiler
1985	A development of APL2 syntax
1984	A New Programming Methodology for Long-Lived Software Systems
1984	A Program Development Tool
1984	Combined Network Complexity Measures
1984	Empty arrays in extended APL
1984	Experience with Access Functions in an Experimental Compiler
1984	Interactive Language Implementation System
1984	Managing Multi-Version Programs with an Editor
1984	Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design
1984	Optimizing Preventive Service of Software Products
1984	Software reliability analysis models
1983	SLAN-4: A Language for the Specification and Design of Large Software Systems
1982	Real-Time Signal Processor Software Support
1981	Data Base Technology
1981	Formal Semantics of Programming Languages: VDL
1981	History of IBM's Technical Contributions to High Level Programming Languages
1981	The History of Language Processor Technology in IBM
1980	A Business Language
1980	A Data Definition Facility Based on A Value-Oriented Storage Model
1980	A Geometric Modeling System for Automated Mechanical Assembly
1980	A Language for Extended Queueing Network Models
1980	Compilation to Compact Code
1980	Grammar Characterization of Flowgraphs
1980	Improved Optimization of FORTRAN Object Programs
1980	Optimization and Code Generation in a Compiler for Several Machines
1980	Some Techniques for Compile-Time Analysis of User-Computer Interactions
1980	Stand-Alone Wiring Program for Josephson Logic
1980	The Experimental Compiling System
1979	An Access Specification Language for a Relational Data Base System
1978	A Machine-Independent APL Interpreter
1978	Adaptive Variation of the Transfer Unit in a Storage Hierarchy
1978	AQL: A Problem-solving Query Language for Relational Data Bases
1978	Interpretation of Natural Language in an Information System
1978	Language Facilities for Programming User-Computer Dialogues
1978	Noun-Phrase Model and Natural Query Language
1977	AUTOPASS: An Automatic Programming System for Computer Controlled Mechanical Assembly
1977	Comment on “Decomposition of a Data Base and the Theory of Boolean Switching Functions”
1977	Data Flow Analysis in the Presence of Procedure Calls
1976	Automatic Programming Through Natural Language Dialogue: A Survey
1976	Bases for Chain-complete Posets
1976	Conceptual Graphs for a Data Base Interface
1976	Determining the Three-dimensional Convex Hull of a Polyhedron
1976	Objects and Values: The Basis of a Storage Model for Procedural Languages
1976	On Natural Language Based Computer Systems
1976	Procedural Representation of Three-dimensional Objects
1976	REQUEST: A Natural Language Question-Answering System
1976	SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control
1975	Automatic Structuring of Programs
1975	Mathematical Construct for Program Reorganization
1975	Modified Nodal Approach to DC Network Sensitivity Computation
1975	Scheme for Invalidating References to Freed Storage
1975	Stream Processing Functions
1974	On Proving Correctness of Microprograms
1974	String Path Search Procedures for Data Base Systems
1973	APLGOL, an Experimental Structured Programming Language
1973	Axioms and Theorems for a Theory of Arrays
1973	Decomposition of a Data Base and the Theory of Boolean Switching Functions
1973	General Arrays, Operators and Functions
1973	System Formulation and APL Shared Variables
1973	The Design of APL
1972	Combinatory Programming and Combinatorial Analysis
1972	Compiling Optimized Code from Decision Tables
1972	Efficient Evaluation of Array Subscripts of Arrays
1971	A Procedure for Implementing the Fast Fourier Transform on Small Computers
1969	Data Recovery in a Photo-Digital Storage System
1969	Dynamic Inventory Models and Stochastic Programming
1969	Fast Sequential Decoding Algorithm Using a Stack
1969	Operational Program for the IBM 2750
1969	Programmed Automatic Customer Engineer (PACE) Dispatch
1969	Symbolic Polynomial Operations with APL
1967	SCEPTRE: A Program for Automatic Network Analysis
1967	Some Studies in Machine Learning Using the Game of Checkers. II—Recent Progress
1964	Solid Logic Design Automation
1963	Computer-Automated Design of Multifont Print Recognition Logic
1962	A “Logical Pattern” Recognition Program
1962	Dual Programs
1962	Pseudo Division and Pseudo Multiplication Processes
1961	Table Look-up Procedures in Language Processing Part I: The Raw Text
1960	A Duality Theorem for Convex Programs
1960	A Proof Method for Quantification Theory: Its Justification and Realization
1960	Inductive Proof of the Simplex Method
1960	Solving a Matrix Game by Linear Programming
1959	Automatic Failure Recovery in a Digital Data Processing System
1959	Computation of Sin N, Cos N, and m√N Using an Electronic Computer
1959	Indexing and Control-Word Techniques
1959	Some Studies in Machine Learning Using the Game of Checkers
1958	A Learning Machine: Part I
1958	A New Approach to Small-Computer Programming and Control
1958	Chess-Playing Programs and the Problem of Complexity
1958	Programs as a Tool for Research in Systems Organization
1957	The Formalization of Scientific Languages—Part I: The Work of Woodger and Hull