Sign in

Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs.

Malay K. GanaiChao 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