( en | de | ru )

 

Disambiguation of "Venkatesh, G."

Author of the publication

copydeleteadd this publication to your clipboard
Improving Prolog Performance by Inductive Proof Generalizations.

, and . KBCS, volume 444 of Lecture Notes in Computer Science, page 243-253. Springer, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Venkatesh Kolluru

Venkatesh Ramakrishnan

Alagarswamy Venkatesh

Ganesh Venkatesh

Swaroop Venkatesh

 

Other publications of authors with the same name

Improving Prolog Performance by Inductive Proof Generalizations., and . KBCS, volume 444 of Lecture Notes in Computer Science, page 243-253. Springer, (1989)Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract)., , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 103-110. Springer, (1995)A Methodology for Designing Optimal Self-Checking Sequential Circuits., , and . ITC, page 283-291. IEEE Computer Society, (1991)Low-power realization of FIR filters on programmable DSPs., , and . IEEE Trans. Very Large Scale Integr. Syst., 6 (4): 546-553 (1998)A methodology for the design of SFS/SCD circuits for a class of unordered codes., , and . J. Electron. Test., 2 (3): 261-277 (1991)A Decision Method for Temporal Logic Based on Resolution.. FSTTCS, volume 206 of Lecture Notes in Computer Science, page 272-289. Springer, (1985)Reasoning About Game Equilibria Using Temporal Logic.. FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 506-517. Springer, (2004)Improved Register Usage for Functional Programs through Multiple Function Versions., , and . J. Funct. Log. Program., (1998)Synthesis of multiplier-less FIR filters with minimum number of additions., , and . ICCAD, page 668-671. IEEE Computer Society / ACM, (1995)Low power realization of FIR filters using multirate architectures., , and . VLSI Design, page 370-375. IEEE Computer Society, (1996)