Sentence examples for the timeout at from inspiring English sources

This is because processes might increase the timeout at different rounds.

The problem with this solution is that different processes might increase the timeout at different points in time.

Leaving the timeout at the default value of 5000 ms allowed 99.8% of structures to complete but took nearly 10 times longer (291 seconds) (Figure 3).

We can make the following additional observation: (3) A timeoutΓ v ≥3δfor roundr (viewv) ensures that if a correct process starts roundrat timeτ, it receives all roundrmessages from all correct processes before the expiration of the timeout (at timeτ+3δ).

A timeoutΓ v ≥3δfor roundr (viewv) ensures that if a correct process starts roundrat timeτ, it receives all roundrmessages from all correct processes before the expiration of the timeout (at timeτ+3δ).

A timeoutΓ v ≥3δfor roundrensures that if a correct processpsends message 〈Start,−,v,r,p〉 to all at timeτ≥τ G, it will receive all round messages 〈Start,−,v,r,q〉 from all correct processesq, before the expiration of the timeout (at timeτ+3δ).

After the timeout, Coach Phil Jackson yelled at Referee Rodney Mott, who told him to back off.

With Michigan back in the men's Final Four for the first time in 20 years, the video of Chris Webber's attempted timeout at the end of the 1993 national championship game between Michigan and North Carolina will surely be shown again and again.

The Wolves called timeout at 2.4 seconds, and Sam Mitchell inbounded the ball to Garnett, who was closely guarded by three players as he stepped into the lane and let loose a 10-foot floater that fluttered the net at the horn.

His teammates surrounded him at the timeout, slapped his shoulders, lifted him off the ground.

Examples given of opponents using McKay's comments as an excuse to run up the score included the reverse that Denver ran late in a 48 10 victory, and the timeout that Chuck Fairbanks called at the end of the Patriots game to enable Steve Grogan to break the NFL record of season rushing touchdowns by a quarterback.