Travelled to:1 × Italy
2 × USA
Collaborated with:C.Sechen R.F.Damiano D.Anastasakis H.T.Ma P.Bjesse J.H.Kukula Y.Zhu
Talks about:decomposit (2) method (2) ashenhurst (1) synthesi (1) diagnosi (1) practic (1) effici (1) compar (1) applic (1) point (1)
Person: Ted Stanion
DBLP: Stanion:Ted
Contributed to:
2003
20021995Wrote 3 papers:
- SAT-2003-BjesseKDSZ #satisfiability
- Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.
- DAC-2002-AnastasakisDMS #performance
- A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
- DAC-1995-StanionS #synthesis
- A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis (TS, CS), pp. 60–64.