Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Author Pingali, Keshav

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 18 to 37 of 45
< previous   next >
PreviewIssue DateTitleAuthor(s)
Jun-1995Fast Compiled Logic Simulation Using Linear BDDsGupta, Sudeep; Pingali, Keshav
Jun-1995Fast Compiled Logic Simulation Using Linear BDDsGupta, Sudeep; Pingali, Keshav
Jul-1993Finding Regions Fast: Single Entry Single Exit and Control Regions in Linear TimeJohnson, Richard C.; Pearson, David; Pingali, Keshav
Aug-1988Fine-Grain Compilation for Pipelined MachinesPingali, Keshav
2-Feb-2000Fractal Symbolic Analysis for Program Transformations (*new file*)Mateev, Nikolay; Menon, Vijay; Pingali, Keshav
Oct-1989From Control Flow to DataflowBeck, Micah; Pingali, Keshav
Feb-1989A Fully Abstract Semantics for a Functional Language with Logic VariablesPingali, Keshav; Panangaden, Prakash; Jagadeesan, Radhakrishnan
Jul-1999A Generic Programming System for Sparse Matrix ComputationsMateev, Nikolay; Kotlyar, Vladimir; Pingali, Keshav; Stodghill, Paul
Feb-1987I-Structures: Data Structures for Parallel ComputingArvind; Nikhil, Rishiyur; Pingali, Keshav
Jun-1994The Lambda Loop Transformation Toolkit (User's Reference Manual)Li, Wei; Pingali, Keshav
Aug-1994The Lambda Loop Transformation Toolkit (User's Reference Manual)Li, Wei; Pingali, Keshav
Nov-1987Lazy Evaluation and the Logic VariablePingali, Keshav
1-Aug-2000Left-looking to Right-looking and vice versa: An Application of FractalSymbolic Analysis to Linear Algebra Code RestructuringMateev, Nikolay; Menon, Vijay; Pingali, Keshav
12-Oct-2004Man vs. Machine : Comparing Handwritten and Compiler-generated Application-Level CheckpointingEzick, James; Marques, Daniel; Pingali, Keshav; Stodghill, Paul
Sep-1996Optimal Control Dependence Computation and the Roman Chariots ProblemPingali, Keshav; Bilardi, Gianfranco
16-Feb-2004Performance Analysis of the Pipe Problem, a Multi-Physics Simulation Based on Web ServicesStodghill, Paul; Cronin, Rob; Pingali, Keshav; Heber, Gerd
Aug-1988Process Decomposition Through Locality of ReferenceRogers, Anne M.; Pingali, Keshav
Aug-1993Register Renaming and Dynamic Speculation: an Alternative ApproachMoudgill, Mayan; Pingali, Keshav; Vassiliadis, Stamatis
Mar-1997A Relational Approach to the Compilation of Sparse Matrix ProgramsKotlyar, Vladimir; Pingali, Keshav; Stodghill, Paul
Jul-1992A Singular Loop Transformation Framework Based on Non-singular MatricesLi, Wei; Pingali, Keshav
Showing results 18 to 37 of 45
< previous   next >

 

© 2014 Cornell University Library Contact Us