Travelled to:
2 × USA
Collaborated with:
L.McIlwain S.Pilarski R.F.Damiano H.T.Ma T.Stanion
Talks about:
effici (2) point (2) hierarch (1) practic (1) equival (1) partit (1) method (1) compar (1) match (1) check (1)
Person: Demos Anastasakis
DBLP: Anastasakis:Demos
Contributed to:
Wrote 2 papers:
- DAC-2004-AnastasakisMP #equivalence #performance
- Efficient equivalence checking with partitions and hierarchical cut-points (DA, LM, SP), pp. 539–542.
- DAC-2002-AnastasakisDMS #performance
- A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.