Application of Partial-Order Methods to Reactive Programs with Event Memorization.

Frédéric Herbreteau Franck Cassez Olivier F. Roux

Published in: Real Time Syst. (2001)

Keyphrases

partial order
partially ordered
significant improvement
data mining
computational complexity
search space