Buffer optimization and dispatching scheme for embedded systems with behavioral transparency