Abstract: A television receiver may present live television programming along with a sports gaming interface that indicates various betting options that are selectable by a television viewer via a remote control. The television receiver may receive a selection of a betting option presented in the sports gaming interface. A request may then be sent to a mobile device of the television viewer. The television receiver may in response to the selection, transmit a bet identifier of the selected betting option and an account identifier to the television service provider system. After a user has funded the bet and completed the transaction via a mobile device, the sports gaming interface may indicate the active bet.

Abstract: A television receiver may present live television programming along with a sports gaming interface that indicates various betting options that are selectable by a television viewer via a remote control. The television receiver may receive a selection of a betting option presented in the sports gaming interface. A request may then be sent to a mobile device of the television viewer. The television receiver may in response to the selection, transmit a bet identifier of the selected betting option and an account identifier to the television service provider system. After a user has funded the bet and completed the transaction via a mobile device, the sports gaming interface may indicate the active bet.

Abstract: A television receiver may present live television programming along with a sports gaming interface that indicates various betting options that are selectable by a television viewer via a remote control. The television receiver may receive a selection of a betting option presented in the sports gaming interface. A request may then be sent to a mobile device of the television viewer. The television receiver may in response to the selection, transmit a bet identifier of the selected betting option and an account identifier to the television service provider system. After a user has funded the bet and completed the transaction via a mobile device, the sports gaming interface may indicate the active bet.

Abstract: Described is a probabilistic concurrency testing mechanism for testing a concurrent software program that provides a probabilistic guarantee of finding any concurrent software bug at or below a bug depth (that corresponds to a complexity level for finding the bug). A scheduler/algorithm inserts priority lowering points into the code and runs the highest priority thread based upon initially randomly distributed priorities. When that thread reaches a priority lowering point, its priority is lowered to a value associated (e.g., by random distribution) with that priority lowering point, whereby a different thread now has the currently highest priority. That thread is run until its priority is similarly lowered, and so on, whereby all schedules needed to find a concurrency bug are run.

Abstract: Described is a probabilistic concurrency testing mechanism for testing a concurrent software program that provides a probabilistic guarantee of finding any concurrent software bug at or below a bug depth (that corresponds to a complexity level for finding the bug). A scheduler/algorithm inserts priority lowering points into the code and runs the highest priority thread based upon initially randomly distributed priorities. When that thread reaches a priority lowering point, its priority is lowered to a value associated (e.g., by random distribution) with that priority lowering point, whereby a different thread now has the currently highest priority. That thread is run until its priority is similarly lowered, and so on, whereby all schedules needed to find a concurrency bug are run.