A queuing-theoretic performance model for context-flow system-on-chip platforms