Chih-Chun Lee

According to our database, Chih-Chun Lee authored at least 5 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Design and implementation of an on-chip polymer micro ball bearing.

Chih-Chun Lee, Yu-Che Huang, Wen-Hsiung Hsiao, Weileun Fang

Proceedings of the 8th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2013

2011

Energy-Aware Task Consolidation Technique for Cloud Computing.

Ching-Hsien Hsu, Shih-Chang Chen, Chih-Chun Lee, Hsi-Ya Chang, Kuan-Chou Lai, Kuan-Ching Li, Chunming Rong

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

2010

To SAT or Not to SAT: Scalable Exploration of Functional Dependency.

Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang

IEEE Trans. Computers, 2010

2007

Scalable exploration of functional dependency by interpolation and incremental SAT solving.

Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

QuteSAT: a robust circuit-based SAT solver for complex circuit structure.

Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007