Travelled to:
1 × Germany
Collaborated with:
B.Mammo D.Chatterjee A.Nahir A.Ziv R.Morad V.Bertacco
Talks about:
approxim (1) checker (1) acceler (1) simul (1)
Person: Dmitry Pidan
DBLP: Pidan:Dmitry
Contributed to:
Wrote 1 papers:
- DATE-2012-MammoCPNZMB #approximate #simulation
- Approximating checkers for simulation acceleration (BM, DC, DP, AN, AZ, RM, VB), pp. 153–158.