5 papers:
CAV-2015-ZhuPJ #named #proving #smt- Poling: SMT Aided Linearizability Proofs (HZ, GP, SJ), pp. 3–19.
DATE-2002-XuM #matrix- Formulation of Low-Order Dominant Poles for Y-Matrix of Interconnects (QX, PM), pp. 820–825.
- DATE-1998-ShaoC #approximate #design #using
- MCM Interconnect Design Using Two-Pole Approximation (JS, RMMC), pp. 544–548.
ICPR-1998-CaiL #algorithm- A new thresholding algorithm based on all-pole model (JC, ZQL), pp. 34–36.
DAC-1996-KernsY #analysis #congruence #multi #network #performance #reduction #scalability- Stable and Efficient Reduction of Large, Multiport RC Networks by Pole Analysis via Congruence Transformations (KJK, ATY), pp. 280–285.
