Login / Signup

A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology.

Nozar TabriziMichael J. LiebeltKamran Eshraghian
Published in: IEEE Trans. Computers (1997)
Keyphrases
  • design methodology
  • relational databases
  • real time
  • probabilistic model
  • support vector machine
  • prediction model