An efficient job selection scheme in real-time scheduling under the stack resource policy | IEEE Conference Publication | IEEE Xplore