Travelled to:1 × Germany
Collaborated with:P.Dasgupta P.P.Chakrabarti A.Nandi A.Chakrabarti
Talks about:level (2) function (1) descript (1) arithmet (1) abstract (1) linear (1) compon (1) word (1) bit (1)
Person: Sekar Krishna
DBLP: Krishna:Sekar
Contributed to:
2001Wrote 1 papers:
- DATE-2001-DasguptaCNKC #abstraction #component #linear
- Abstraction of word-level linear arithmetic functions from bit-level component descriptions (PD, PPC, AN, SK, AC), pp. 4–8.