LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 295-297 of 486

    • Layouts for the Suffle-Exchange Graph Based on the Complex Plane Diagram 

      Leighton, Frank Thomson; Lepley, Margaret; Miller, Gary L. (1982-06)
      The shuffule-exchange graph is one of the best structures known for parallel computation. Among other things, a shuffle-exchange computer can be used to compute discrete. Fourier transforms, multiply matrices, evaluate ...

    • Circuit Analysis of Self-timed Elements for NMOS VLSI Systems 

      Chu, Tam-Anh (1982-05)
      Scalingof VLSI digital systems introduces new problems to the design of synchronous systems, due to the disproportional increase in wire delays with the decrease in transistor sizes. One the other hand, the asynchronous ...

    • Recursive Decomposition Ordering and Multiset Orderings 

      Jouannaud, Jean-Pierre; Lescanne, Pierre; Reinig, Fernand (1982-06)
      The Recursive Decomposition Ordering, a simplification ordering on terms, is useful to prove termination of term rewriting systems. In this paper we give the definition of the decomposition ordering and prove that it is a ...