Content deleted Content added
m →Control Dependency: MOS:HEAD |
m →Data dependencies: fixed weird formatting of list and wrapped <math> followed by punctuation in a {{nobr}}. |
||
Line 11:
where:
* <math>I(S_i)</math> is the set of memory locations read by {{nobr|1=<math>S_i</math>
* <math>O(S_j)</math> is the set of memory locations written by {{nobr|1=<math>S_j</math>,}} and
*
This Condition is called Bernstein Condition, named by A. J. Bernstein.
|