The Non-Blocking Write Protocol
Part of the Monographs in Computer Science book series (MCS)
This example has been inspired by a problem from the field of real-time data processing. The rationale for that problem can be found in [Lam77, KR93]. Here we will only sketch it in brief. The problem concerns the following little two-component multiprogram
KeywordsSpeed Ratio Entire Interval Loop Body Private Variable Termination Detection Algorithm
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer Science+Business Media New York 1999