Microsoft Research Blog

English

  1. Alto OS Design Notes 

    February 2, 1973 | Butler Lampson

    This memo is a tentative specification of the operating system for Alto which Gene McDaniel is writing. Comments and suggestions are solicited. We begin by considering what features we will need in six months, and then try to find a subset with which to start.…

  2. Cooperation of Mutually Suspicious Subsystems in a Computer Utility 

    September 1, 1972 | Mike Schroeder

    This thesis describes practical protection mechanisms that allow mutually suspicious subsystems to cooperate in a single computation and still be protected from one another. The mechanisms are based on the division of a computation into independent domains of access privilege, each of which may encapsulate…

  3. The Analytic Cauchy Problem with Singular Data 

    May 8, 1972 | Leslie Lamport

    I left Marlboro College and went back to Brandeis in 1969 to complete my Ph.D. At that time, I intended to study and write a thesis in mathematical physics. However, I wound up doing a thesis in pure mathematics, on analytic partial differential equations. I…

  4. A hardware architecture for implementing protection rings 

    March 1, 1972 | Mike Schroeder and Jerome H. Saltzer

    Protection of computations and information is an important aspect of a computer utility. In a system which uses segmentation as a memory addressing scheme, protection can be achieved in part by associating concentric rings of decreasing access privilege with a computation. This paper describes hardware…

  5. Teaching of computer design to computer science undergraduates. 

    September 1, 1971 | Butler Lampson

    Both computer design and programming are interfacing disciplines.Ā  The activity of computer design includes four phases: architecture, logic design, physical realization, and maintenance.Ā  Programming and the first two phases of computer design are quite similar.Ā  Logic design is also quite similar to low-level machine-language programming,…

  6. Performance of the GE-645 associative memory while Multics is in operation 

    April 1, 1971 | Mike Schroeder

    The Multiplexed Information and Computing Service (Multics) of Project MAC at M.I.T. runs on a General Electric 645 computer system. The processors of this hardware system contain logic for both paging and segmentation of addressable memory. They directly accept two-part addresses of the form (segment…

  7. Comment on Bell’s Quadratic Quotient Algorithm 

    September 11, 1970 | Leslie Lamport

    This short note describes a minor inefficiency I noticed in a hash-table algorithm published by James Bell. It got me thinking about hash tables, and I invented what I called the linear quotient algorithm--an algorithm that seems quite obvious in retrospect. While I was running…

  8. Named Entity Recognition: a Survey for the Portuguese Language 

    December 30, 1969

    Named Entity Recognition (NER) is an important task in Natural Language Processing, as it is a key information extraction sub-task with numerous applications, such as information retrieval and machine learning. However, resources are still scarce for some languages, as it is the case of Portuguese.…