Now showing items 1-6 of 6

    • Dependence Flow Graphs: An Algebraic Approach to Program Dependencies 

      Pingali, Keshav; Beck, Micah; Johnson, Richard C.; Moudgill, Mayan; Stodghill, Paul (Cornell University, 1990-09)
      The topic of intermediate languages for optimizing and parallelizing compilers has received much attention lately. In this paper, we argue that any good representation must have two crucial properties: first, the ...
    • From Control Flow to Dataflow 

      Beck, Micah; Pingali, Keshav (Cornell University, 1989-10)
      Are imperative languages tied inseparably to the von Neumann model or can they be implemented in some natural way on dataflow architectures? In this paper, we show how imperative language programs can be translated into ...
    • Implementation Issues In Clock Synchronization 

      Beck, Micah; Srikanth, T. K.; Toueg, Sam (Cornell University, 1986-05)
      We present some results from an experimental implementation of a recent clocks synchronization algorithm. This algorithm was designed to overcome arbitrary processor failures, and to achieve optimal accuracy, i.e., the ...
    • Sorting Large Files on a Backend Multiprocessor 

      Beck, Micah; Bitton, Dina; Wilkinson, W. Kevin (Cornell University, 1986-03)
      A fundamental measure of processing power in a database management system is the performance of the sort utility it provides. When sorting a large data file on a serial computer, performance is limited by factors involving ...
    • Static Scheduling for Dynamic Dataflow Machines 

      Beck, Micah; Pingali, Keshav; Nicolau, Alexandru (Cornell University, 1989-01)
      Dataflow machines can "unravel" loops automatically so that many iterations of a loop can execute in parallel. Unbounded loop unraveling can strain the resources available on the machine and, in extreme cases, deadlock ...
    • TransFig: Portable Figures for TEX Version 1.4-TFX Release 4 

      Beck, Micah (Cornell University, 1989-02)
      TransFig is a mechanism for integrating figures into TEX documents. Several "graphics languages" exist which achieve such integration, but none is widely enough used to be called a standard. TransFig's goal is to maintain ...