| http://www.w3.org/ns/prov#value | - th a theoretical analysis showed that the proposed technique is highly scalable and practical even for large interrupt-driven programs.Detecting data races that occur first in a program is an important issue, since it may make other data races to disappear.
|
