Hong Cai Jia Zhang 2006 conf/IEEEscc/2006 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2006.96 db/conf/IEEEscc/scc2006.html#CaiZ06