LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 112-114 of 486
-
Analyzing Multiprocessor Cache Behavior Through Data Reference Modeling
(1993-02)This paper develops a data reference modeling technique to estimate with high accuracy the cache miss ratio in cache-coherent multiprocessors. The technique involves analyzing the dynamic data referencing behavior of ... -
Simulation Techniques for Proving Properties of Real-time Systems
(1993-11)The method of simulations is an important technique for reasoning about real-time and other timing-based systems. It is adapted from an analogous method for untimed systems. This paper presents the simulation method in the ...
