Partitioning techniques for partially protected caches in resource-constrained embedded systems