Microsoft Research Blog

English

  1. A Generalization of Algebraic Surface Drawing 

    July 1, 1982 | Jim Blinn

    The mathematical description of three-dimensional surfaces usually falls in one of two classifications; parametric and algebraic. The algebraic form is defined as all points which satisfy some equation F(x,y,z)=0. This form is ideally suited for image space shaded picture drawing, the pixel coordinates are substituted…

  2. A Machine-Independent Linker 

    May 7, 1982 | Christopher W. Fraser and David R. Hanson

    Linkers, although a well-established component of language translation, are typically machine-dependent, idiosyncratic, and hard for many users to understand. This paper describes a machine-independent linker and object language. The linker embodies those linking functions that are machine-independent and centralizes them in a single tool, simplifying…

  3. Byzantine Generals and Transaction Commit Protocols 

    April 28, 1982 | Leslie Lamport and Michael Fischer

    I visited Michael Fischer at Yale in the spring of 1982. It was known that solutions to the Byzantine generals problem that can handle n Byzantine failures require n+1 rounds of communication. While I was at Yale, Fischer and I proved that this number of…

  4. Grapevine: An exercise in distributed computing 

    April 1, 1982 | Andrew Birrell, Roy Levin, Roger M. Needham, and Mike Schroeder

    Grapevine is a multicomputer system on the Xerox research internet. It provides facilities for the delivery of digital messages such as computer mail; for naming people, machines, and services; for authenticating people and machines; and for locating services on the internet. This paper has two…

  5. The Cambridge Distributed Computing System 

    January 1, 1982 | R. M. Needham and Andrew Herbert

    It is well known that the dramatic developments of the last few years in integrated circuit technology have revolutionised the approach taken to the provision of computer hardware. The use of many microcomputers with substantial amounts of memory is considered routine,and it is quite reasonable…

  6. Light Reflection Function for Simulation of Clouds and Dusty Surfaces 

    January 1, 1982 | Jim Blinn

    The study of the physical process of light interacting with matter is an important part of computer image synthesis since it forms the basis for calculations of intensities in the picture. The simpler models used in the past are being augmented by more complex models…

  7. Password Authentication with Insecure Communication 

    November 5, 1981 | Leslie Lamport

    Despite a casual interest in civilian cryptography going back to its origins (see the discussion of [36]), this is my only publication in the field. It presents a cute hack for using a single password to login to a system multiple times without allowing an…

  8. Numerical shape from shading and occluding boundaries 

    July 31, 1981 | Katsushi Ikeuchi and Berthold K. P. Horn

    An iterative method for computing shape from shading using occluding boundary information is proposed. Some applications of this method are shown. We employ the stereographic plane to express the orientations of surface patches, rather than the more commonly used gradient space. Use of the stereographic…