Login / Signup
A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology.
Nozar Tabrizi
Michael J. Liebelt
Kamran Eshraghian
Published in:
IEEE Trans. Computers (1997)
Keyphrases
</>
design methodology
relational databases
real time
probabilistic model
support vector machine
prediction model