Microsoft Research Blog
English
-
-
RealityEngine graphics
January 1, 1993 | Kurt AkeleyThe RealityEngine graphics system is the first of a new generation of systems designed primarily to render texture mapped, antialiased polygons. This paper describes the architecture of the RealityEngine graphics system, then justifies some of the decisions made during its design. The implementation is near-massively…
-
An Approximate Nonmyopic Computation for Value of Information
January 1, 1993 | David Heckerman, Eric Horvitz, and Blackford MiddletonValue-of-information analyses provide a straightforward means for selecting the best next observation to make, and for determining whether it is better to gather additional information or to act immediately. Determining the next best test to perform, given a state of uncertainty about the world, requires…
-
Observation of near-interface oxide traps with the charge-pumping technique
November 30, 1992 | Ron PaulsenIn studies of MOS devices with the charge pumping technique, the authors have encountered a low-frequency increase in the charge recombined per cycle, which they attribute to the charging and discharging of traps located within a tunneling distance of the Si-SiO/sub 2/ interface, i.e., near-interface…
-
Replicating the Procedure Call Abstraction
November 12, 1992 | Rivka Ladin, Murray Mazer, and Alec WolmanThe authors recommend replicating the procedure call abstraction as a method for constructing highly available distributed programs. In order to make highly available systems much more widespread than they are today, one must make it easier for application developers to incorporate replication into one's systems.…
-
Some Consequences of Excess Load on the Echo Replicated File System
November 1, 1992Understanding the workload is crucial for the success of a replicated file system. The system must continue to provide service in the presence of excess load, otherwise, its availability will be compromised. This paper presents some shortcomings of the Echo replicated file system in handling…
-
A TMS320C25-based telephone scrambler using fast-computable filter banks
November 1, 1992 | Henrique S. Malvar and Henrique S. MalvarIn this work we describe the hardware architecture and the signal processing algorithm of a secure telephone which can be used over the public switched network. Using time-varying frequency-domain scrambling, a high level of security can be achieved, with no residual intelligibility. By means of…
-
Extended Lapped Transforms: Properties, Applications, and Fast Algorithms
November 1, 1992 | Henrique S. Malvar and Henrique S. MalvarThe family of lapped orthogonal transforms is extended to include basis functions of arbitrary length. Within this new family, the extended lapped transform (ELT) is introduced, as a generalization of the previously reported modulated lapped transform (MLT). Design techniques and fast algorithms for the ELT…
-
Authentication in Distributed Systems: Theory and Practice
November 1, 1992 | Butler Lampson, Martin Abadi, Michael Burrows, and Edward WobberWe describe a theory of authentication and a system that implements it. Our theory is based on the notion of principal and a ‘speaks for’ relation between principals. A simple principal either has a name or is a communication channel; a compound principal can express…
-
The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic
October 11, 1992 | Andy GordonIf formal methods of hardware verification are to have any impact on the practices of working designers, connections must be made between the languages used in practice to design circuits and those used for research into hardware verification. SILAGE is a simple data-flow language used…
-
A Review of Recent Work on Multi-attribute Access Methods
October 2, 1992 | David LometMost database systems provide database designers with single attribute indexing capability via some form of B+tree. Multi-attribute search structures are rare, and are mostly found in systems specialized to some more narrow application area, e.g. geographic databases. The reason is that no multi-attribute search structure…
-
Reconstruction of Tokamak Density Profiles Using Feed-forward Networks
October 2, 1992 | Christopher BishopThe tokamak is currently the principal experimental system for research into the magnetic confinement approach to controlled fusion. Hydrogen gas is raised to very high temperatures inside a toroidal vacuum vessel, and the resulting plasma is confined by a complex system of magnetic fields. Measurements…