Travelled to:
2 × USA
Collaborated with:
Y.Ishai A.Adir Y.Arbetman Y.Lichtenstein M.Rimon M.Vinov M.A.Calligaro A.Cofler G.Duffy
Talks about:
parallel (1) complex (1) random (1) effici (1) verif (1) studi (1) sampl (1) vliw (1) case (1)
Person: Bella Dubrov
DBLP: Dubrov:Bella
Contributed to:
Wrote 2 papers:
- STOC-2006-DubrovI #complexity #on the #performance
- On the randomness complexity of efficient sampling (BD, YI), pp. 711–720.
- DAC-2005-AdirADLRVCCD #case study #named #parallel #verification
- VLIW: a case study of parallelism verification (AA, YA, BD, YL, MR, MV, MAC, AC, GD), pp. 779–782.