Runtime Verification with Controllable Time Predictability and Memory Utilization