Sign in
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs.
Malay K. Ganai
Chao Wang
Published in:
RV (2010)
Keyphrases
</>
interval analysis
autocalibration
constrained optimization
constraint propagation
graph matching
fuzzy set theory
search algorithm
np hard
linear programming
provably correct