Travelled to:1 × USA
Collaborated with:S.Bapat M.Ahmed M.Mehendale S.D.Sherlekar
Talks about:logic (2) transform (1) proposit (1) sequenc (1) multipl (1) generat (1) tempor (1) system (1) reason (1) linear (1)
Person: G. Venkatesh
DBLP: Venkatesh:G=
Contributed to:
19961986
1993Wrote 3 papers:
- DAC-1996-MehendaleVS #code generation #linear #multi
- Optimized Code Generation of Multiplication-free Linear Transforms (MM, GV, SDS), pp. 41–46.
- DAC-1986-BapatV #logic #reasoning #using
- Reasoning about digital systems using temporal logic (SB, GV), pp. 215–219.
- TAPSOFT-1993-AhmedV #logic #sequence
- A Propositional Dense Time Logic (Based on Nested Sequences) (MA, GV), pp. 584–598.