|
|
eCommons@Cornell >
Browsing by Author Pingali, Keshav
Showing results 14 to 33 of 43
| Preview | Issue Date | Title | Author(s) | | Sep-1990 | Dependence Flow Graphs: An Algebraic Approach to Program Dependencies | Pingali, Keshav; Beck, Micah; Johnson, Richard C.; Moudgill, Mayan; Stodghill, Paul |
| 6-Sep-2001 | Efficient Computation of Interprocedural Control Dependence | Ezick, James; Bilardi, Gianfranco; Pingali, Keshav |
| Jun-1995 | Fast Compiled Logic Simulation Using Linear BDDs | Gupta, Sudeep; Pingali, Keshav |
| Jun-1995 | Fast Compiled Logic Simulation Using Linear BDDs | Gupta, Sudeep; Pingali, Keshav |
| Jul-1993 | Finding Regions Fast: Single Entry Single Exit and Control Regions in Linear Time | Johnson, Richard C.; Pearson, David; Pingali, Keshav |
| Aug-1988 | Fine-Grain Compilation for Pipelined Machines | Pingali, Keshav |
| 2-Feb-2000 | Fractal Symbolic Analysis for Program Transformations (*new file*) | Mateev, Nikolay; Menon, Vijay; Pingali, Keshav |
| Oct-1989 | From Control Flow to Dataflow | Beck, Micah; Pingali, Keshav |
| Feb-1989 | A Fully Abstract Semantics for a Functional Language with Logic Variables | Pingali, Keshav; Panangaden, Prakash; Jagadeesan, Radhakrishnan |
| Jul-1999 | A Generic Programming System for Sparse Matrix Computations | Mateev, Nikolay; Kotlyar, Vladimir; Pingali, Keshav; Stodghill, Paul |
| Feb-1987 | I-Structures: Data Structures for Parallel Computing | Arvind; Nikhil, Rishiyur; Pingali, Keshav |
| Jun-1994 | The Lambda Loop Transformation Toolkit (User's Reference Manual) | Li, Wei; Pingali, Keshav |
| Aug-1994 | The Lambda Loop Transformation Toolkit (User's Reference Manual) | Li, Wei; Pingali, Keshav |
| Nov-1987 | Lazy Evaluation and the Logic Variable | Pingali, Keshav |
| 1-Aug-2000 | Left-looking to Right-looking and vice versa: An Application of FractalSymbolic Analysis to Linear Algebra Code Restructuring | Mateev, Nikolay; Menon, Vijay; Pingali, Keshav |
| 12-Oct-2004 | Man vs. Machine : Comparing Handwritten and Compiler-generated
Application-Level Checkpointing | Ezick, James; Marques, Daniel; Pingali, Keshav; Stodghill, Paul |
| Sep-1996 | Optimal Control Dependence Computation and the Roman Chariots Problem | Pingali, Keshav; Bilardi, Gianfranco |
| 16-Feb-2004 | Performance Analysis of the Pipe Problem, a Multi-Physics Simulation
Based on Web Services | Stodghill, Paul; Cronin, Rob; Pingali, Keshav; Heber, Gerd |
| Aug-1988 | Process Decomposition Through Locality of Reference | Rogers, Anne M.; Pingali, Keshav |
| Aug-1993 | Register Renaming and Dynamic Speculation: an Alternative Approach | Moudgill, Mayan; Pingali, Keshav; Vassiliadis, Stamatis |
Showing results 14 to 33 of 43
|
