PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tan, QingPing"

Author of the publication

copydeleteadd this publication to your clipboard
The application of Aspectual Feature Module in the development and verification of SystemC models.

, , and . FDL, page 1-6. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiangyin Tan University of Stuttgart

Tobias Tannert University of Stuttgart

Simon Tannert University of Stuttgart

Daniel Tandler University of Stuttgart

Tobias Tandler University of Stuttgart

 

Other publications of authors with the same name

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures., , , , , and . IET Computers & Digital Techniques, 4 (4): 306-316 (2010)Formal proof of prefix adders., , and . Mathematical and Computer Modelling, 52 (1-2): 191-199 (2010)Formal proof of integer adders using all-prefix-sums operation., , and . SCIENCE CHINA Information Sciences, 55 (9): 1949-1960 (2012)Formal Analysis of End-Around-Carry Adder in Floating-Point Unit., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 29 (10): 1655-1659 (2010)An Approach to Analyze Effects of Soft Errors from Dynamic Software Behaviors., and . HPCC, page 796-801. IEEE, (2011)Utility-Function-Based Self-Adaptation in Elevator Group Control System., and . CSSE (1), page 1158-1161. IEEE Computer Society, (2008)FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming., , , and . IPDPS Workshops, page 302-305. IEEE, (2011)PRASE: An Approach for Program Reliability Analysis with Soft Errors., , and . PRDC, page 240-247. IEEE Computer Society, (2008)Formal verification of signature-monitoring mechanisms by model checking., , , and . Comput. Sci. Inf. Syst., 9 (4): 1431-1451 (2012)A note on ä mapping algorithm for computer-assisted exploration in the design of embedded systems"., , , , and . ACM Trans. Design Autom. Electr. Syst., 12 (4): 52 (2007)