LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 124-126 of 486
-
Automatic Partitioning of Parallel Loops for Cache-coherent Multiprocessors
(1992-12)This paper presents a theoretical framework for automatically partitioning parallel loops to minimize cache coherency traffic on shared-memory multiprocessors. The framework introduces the notion of uniformly intersecting ... -
Action Transducers and Timed Automata
(1992-11)The timed automaton model of [29, 30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown ... -
Experience with Fine-grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient
(1992-10)This paper discusses our experience with fine-grain synchronization for the preconditioned conjugate gradient method using the modified incomplete Cholesky factorization of the coefficient matrix as a preconditioner. This ...


