Search
Now showing items 1-10 of 257
Some Problems in German in English Machine Translation
(1974-12)
This paper discusses some problems in the machine translation of natural language, in particular, for translation from German into English. An implementation of some parts of the translating process has been built. The ...
Program Restructuring for Virtual Memory Systems
(1975-03)
The problem area addressed in this report is program restructuring, a method of reordering the relocatable sectors of a program in its address space to increase the locality of the programs reference behavior, thereby ...
A Portable Compiler for the Language C
(1975-05)
This paper describes the implementation of a compiler for the language C. The compiler has been designed to be able to be capable of producing assembly-language code for most register-oriented machines with only minor recoding.
Equivalence Problems for Monadic Schemas
(1975-06)
A class of monadic program schemas is defined. This class, called iteration schemas, consists of schemas whose programs comprise assignment statements, conditional statements, and iteration statements. These schemas are ...
Strategy Selection in Medical Diagnosis
(1975-09)
The recorded, verbal problem-solving behavior of doctors performing the diagnostic task of taking a present illness was analyzed in this research. The goal of the analysis was to discover that data-acquisition strategies ...
Semantic of Communication Parallel Processes
(1975-09)
The thesis of this dissertation is that an understanding of the ordering constraints that are introduced among events of parallel process is essential to the understanding of synchronization and that therefore any language ...
Mechanization of Temporal Knowledge
(1975-09)
The design and implementation of a collection of computer programs knowledgeable about time "in general," called the time specialist, is described. The thesis that this time specialist can be placed in the service of ...
Semantical Considerations on Floyd-Hoare Logic
(1976-09)
This paper deals with logics of programs. The objective is to formalize a notion of program description and to give both plausible (semantic) and effective (syntactic) criteria for the notion of truth of a description. ...
Diagnostic Planning and Cancer Management
(1976-09)
This report describes a computer system for evaluating patients with Hodgkin's disease which has been developed by Clinical Decision Making Group (CDMG) at MIT Laboratory for Computer Science in conjunction with the Blood ...
Coordination of Parallel Processes in the Actor Model of Computation
(1976-12)
Two algorithms for the mutual exclusion problem are described and proven to operate correctly. The algorithms are unique in that they use very simple synchronization primitives yet are fair and retain their fairness even ...