Travelled to:3 × USA
Collaborated with:H.Bingol P.W.Horstmann V.Pitchumani V.M.Kureichik V.A.Kalashnikov
Talks about:placement (2) design (2) comput (2) rectangular (1) comparison (1) algorithm (1) program (1) optimum (1) boolean (1) partit (1)
Person: Edward P. Stabler
DBLP: Stabler:Edward_P=
Contributed to:
1987198419821979Wrote 4 papers:
- DAC-1987-StablerB #comparison #simulation
- Boolean Comparison by Simulation (EPS, HB), pp. 584–587.
- DAC-1984-HorstmannS #design #logic programming #using
- Computer aided design (CAD) using logic programming (PWH, EPS), pp. 144–151.
- DAC-1982-PitchumaniS #design #formal method #verification
- A formal method for computer design verification (VP, EPS), pp. 809–814.
- DAC-1979-StablerKK #algorithm #clustering
- Placement algorithm by partitioning for optimum rectangular placement (EPS, VMK, VAK), pp. 24–25.