Resource-bounded multicore emulation using Beefarm

   Abstract