Feng Liu

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Top Venues

Sci. China Inf. Sci.

Publications

Feng Liu, QingPing Tan, Otmane Aït Mohamed
Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. 55 (9) (2012)
Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. 54 (6) (2011)
Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) (2010)
Feng Liu, Qingping Tan, Gang Chen
Formal proof of prefix adders. Math. Comput. Model. 52 (1-2) (2010)
Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. 4 (4) (2010)
Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI (2010)
Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan
A case study on system-level modeling by aspect-oriented programming. ISQED (2009)
Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD (2009)
Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12 (4) (2007)
Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. APWeb (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. SAINT (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
Verifying Web Services Composition: A Transformation-Based Approach. PDCAT (2005)