Travelled to:
1 × USA
Collaborated with:
A.Roy S.Zeisset J.C.Huang
Talks about:
polynomi (1) general (1) consist (1) memori (1) verif (1) time (1) fast (1)
Person: Charles J. Fleckenstein
DBLP: Fleckenstein:Charles_J=
Contributed to:
Wrote 1 papers:
- CAV-2006-RoyZFH #consistency #memory management #performance #polynomial #verification
- Fast and Generalized Polynomial Time Memory Consistency Verification (AR, SZ, CJF, JCH), pp. 503–516.