LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 37-39 of 486
-
An Information Theoretic Approach for Shared Bottleneck Inference Based on End-to-end Measurements
(2000-03)Recent years have marked a growing interest in studying Internet path characteristics. However, most of the currently available tools to an end system to perform such measurements are slow inaccurate and generate an excessive ... -
Proving Correctness of a Distributed Shared Memory Implementation
(1999-1)DiSOM [3,4,2] is a distributed shared memory system that offers users an atomic collection of memory cells provided they satisfy certain well-formedness conditions. This report proves the correctness of DiSOM. The system ... -
Bitwidth Analysis with Application to Silicon Compilation
(1999-11)In this paper introduces Bitwise, a compiler that minimizes the bitwidth - the number of bits used to represent each operand - for both integers and pointers in a program. By propagating static information both forward and ...
