|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lei Xiong, Qingping Tan |
An approach to analyze effects of soft errors on program level.  |
Mathematical and Computer Modelling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen |
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Xu, Qingping Tan, Huiping Zhou |
Scheduling Instructions for Soft Errors in Register Files. |
DASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Ye, QingPing Tan, Tun Li |
Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. |
ISQED |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Ye, Qingping Tan, Tun Li, GuoRong Cao |
FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming. |
IPDPS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Xiong, Qingping Tan |
An Approach to Analyze Effects of Soft Errors from Dynamic Software Behaviors. |
HPCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Xiong, Qingping Tan, Jianjun Xu |
Effects of Soft Error to System Reliability. |
AINA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Xiong, Qingping Tan |
Data Flow Error Recovery with Checkpointing and Instruction-Level Fault Tolerance. |
PDCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Qingping Tan, Gang Chen |
Formal proof of prefix adders. |
Mathematical and Computer Modelling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen |
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Computers & Digital Techniques |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi |
AOP-based high-level power estimation in SystemC. |
ACM Great Lakes Symposium on VLSI |
2010 |
DBLP DOI BibTeX RDF |
systemc, power estimation, aspectc++ |
| 1 | Guoliang Xu, Qingping Tan |
Constructing the Hybrid Dithering Matrix with Equal Clustered Dot Density. |
IMAGAPP/IVAPP |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jun Ye, QingPing Tan, Tun Li, Bin Wu, Yuanru Meng |
Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen |
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. |
ICA3PP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Xu, Qingping Tan, Wanwei Liu |
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Xu, Qingping Tan, Rui Shen |
The Instruction Scheduling for Soft Errors Based on Data Flow Analysis. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan |
A case study on system-level modeling by aspect-oriented programming. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | JinGang Xie, QingPing Tan, GuoRong Cao |
Modeling and Analyzing Web Service Behavior with Regular Flow Nets. |
WISM |
2009 |
DBLP DOI BibTeX RDF |
regular flow net, symbolic coverability tree, Web service behavior |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Ye, Tun Li, QingPing Tan |
The application of Aspectual Feature Module in the development and verification of SystemC models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jianjun Xu, Rui Shen, Qingping Tan |
PRASE: An Approach for Program Reliability Analysis with Soft Errors. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Xu, Qingping Tan, Rui Shen |
A Novel Optimum Data Duplication Approach for Soft Error Detection. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengjian Zhu, Qingping Tan, Peidong Zhu, Qianbing Zheng |
Security Broadcast Based on Linear Network Coding in WSN. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wu, Qingping Tan |
Utility-Function-Based Self-Adaptation in Elevator Group Control System. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengjian Zhu, Qingping Tan, Peidong Zhu |
A Stream-Data Oriented Secure Routing Protocol in Wireless Sensor Networks. |
MSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengjian Zhu, Qingping Tan, Peidong Zhu |
An Effective Secure Routing for False Data Injection Attack in Wireless Sensor Network. |
APNOMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu |
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. |
SAINT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinshan Yu, Tun Li, Yang Guo, QingPing Tan |
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. |
EUC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Yang, QingPing Tan, Yong Xiao |
Verifying web services composition based on hierarchical colored petri nets. |
IHIS |
2005 |
DBLP DOI BibTeX RDF |
CP-net, web service, verification, composition, transformation |
| 1 | Yanping Yang, QingPing Tan, Yong Xiao |
Transformation-Driven Development of Composite Web Services. |
ISPA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Yang, QingPing Tan, Yong Xiao |
Verifying Web Services Composition. |
ER (Workshops) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Yang, QingPing Tan, Yong Xiao |
Setup Algorithm of Web Service Composition. |
ICA3PP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu |
Verifying Web Services Composition: A Transformation-Based Approach. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Yang, QingPing Tan, Yong Xiao |
Model Transformation Based Verification of Web Services Composition. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingping Tan |
A higher-order unification algorithm for inductive types and dependent types. |
J. Comput. Sci. Technol. |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")