Design methodologies for resource management of many-core embedded systems