Collaborated with:
S.Purini V.Benara U.Bondhugula
Talks about:
bitwidth (1) process (1) pipelin (1) analysi (1) solver (1) interv (1) custom (1) imag (1) use (1) smt (1)
Person: Ziaul Choudhury
DBLP: Choudhury:Ziaul
Contributed to:
Wrote 1 papers:
- CC-2020-PuriniBCB #analysis #image #pipes and filters #smt #using
- Bitwidth customization in image processing pipelines using interval analysis and SMT solvers (SP, VB, ZC, UB), pp. 167–178.