Checking order-insensitivity using ternary simulation in synchronous programs.

Moez Yeddes Hassane Alla

Published in: ISPASS (2000)

Keyphrases

databases
machine learning
image segmentation
preprocessing
mathematical model
numerical simulations