Collaborated with:
V.Herdt D.Große R.Drechsler
Talks about:
parallel (1) symbol (1) effici (1) compil (1) simul (1) par (1)
Person: Hoang Minh Le 0001
DBLP: 0001:Hoang_Minh_Le
Contributed to:
Wrote 1 papers:
- CAV-2016-HerdtLGD #named #performance #simulation
- ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (VH, HML0, DG, RD), pp. 177–183.