A Task-based Execution Engine for Distributed Operating Systems Tailored to Lightweight Manycores with Limited On-Chip Memory | IEEE Conference Publication | IEEE Xplore