Feng Liu

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