2 × USA
R.A.Rutenbar A.Singhee J.D.Ma M.Püschel T.Chen
toward (2) probabilist (1) arithmet (1) statist (1) practic (1) analysi (1) surrog (1) static (1) precis (1) interv (1)
Person: Claire Fang Fang
Wrote 2 papers:
- DAC-2006-SingheeFMR #probability #statistics #tool support #towards
- Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools (AS, CFF, JDM, RAR), pp. 167–172.
- DAC-2003-FangRPC #modelling #performance #static analysis #towards
- Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling (CFF, RAR, MP, TC), pp. 496–501.