Feng Liu

According to our database, Feng Liu authored at least 14 papers between 2005 and 2012.

Collaborative distances:

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

2012

Formal proof of integer adders using all-prefix-sums operation.

Feng Liu, QingPing Tan, Otmane Aït Mohamed

Sci. China Inf. Sci., 2012

2011

Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen

Comput. J., 2011

2010

Formal Analysis of End-Around-Carry Adder in Floating-Point Unit.

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Proofs of Correctness and Properties of Integer Adder Circuits.

Gang Chen, Feng Liu

IEEE Trans. Computers, 2010

Formal proof of prefix adders.

Feng Liu, Qingping Tan, Gang Chen

Math. Comput. Model., 2010

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.

Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu

IET Comput. Digit. Tech., 2010

Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.

Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

AOP-based high-level power estimation in SystemC.

Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

2009

A case study on system-level modeling by aspect-oriented programming.

Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC.

Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

2007

A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".

Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He

ACM Trans. Design Autom. Electr. Syst., 2007

2006

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.

Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu

Proceedings of the Frontiers of WWW Research and Development, 2006

2005

Verifying Web Services Composition: A Transformation-Based Approach.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005