Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

J. Hu, Y. Hu, L. Yu, W. Wang, H. Yang, Y. Kang, and J. Cheng. CODES+ISSS, page 1-2. IEEE, (2020)

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.

Jie Cheng

Zhou Jie

Yucheng Jie

Cheng-Yung Cheng

Other publications of authors with the same name

Real-Time Trajectory Planning for Autonomous Driving with Gaussian Process and Incremental Refinement.J. Cheng, Y. Chen, Q. Zhang, L. Gan, C. Liu, and M. Liu. ICRA, page 8999-9005. IEEE, (2022)A Programming Framework for Large Scale Numerical Simulations on Unstructured Mesh.Q. Liu, W. Zhao, J. Cheng, Z. Mo, A. Zhang, and J. Liu. BigDataSecurity/HPSC/IDS, page 310-315. IEEE, (2016)A Low-cost Creatinine Biosensor by Differential Optical Signal Readout for the Whole Blood Analysis.J. Cheng, J. Guo, and J. Guo. EMBC, page 1-4. IEEE, (2023)Evaluation of Surface Upward Longwave Radiation in the CMIP6 Models with Ground and Satellite Observations.J. Xu, X. Zhang, C. Feng, S. Yang, S. Guan, K. Jia, Y. Yao, X. Xie, B. Jiang, J. Cheng and 1 other author(s). Remote. Sens., 13 (21): 4464 (2021)Deep Learning Based Page Creation for Improving E-Commerce Organic Search Traffic.C. Jie, D. Xu, Z. Wang, and W. Shen. CoRR, (2022)Efficient Speed Planning for Autonomous Driving in Dynamic Environment with Interaction Point Model.Y. Chen, R. Xin, J. Cheng, Q. Zhang, X. Mei, M. Liu, and L. Wang. CoRR, (2022)Detection Algorithm of DoS High Camouflage Attack Feature Based on S_Kohonen Neural Network.W. Hu, J. Li, J. Cheng, H. Guo, and H. Xie. CSIA (2), volume 1147 of Advances in Intelligent Systems and Computing, page 599-602. Springer, (2020)Saturated nonlinear control of robots with series elastic actuators.J. Cheng, S. Ding, H. Yang, X. Zhang, and T. Sun. RCAR, page 194-199. IEEE, (2021)Self-Promoted Prototype Refinement for Few-Shot Class-Incremental Learning.K. Zhu, Y. Cao, W. Zhai, J. Cheng, and Z. Zha. CVPR, page 6801-6810. Computer Vision Foundation / IEEE, (2021)Differentiable hierarchical and surrogate gradient search for spiking neural networks.K. Che, L. Leng, K. Zhang, J. Zhang, Q. Meng, J. Cheng, Q. Guo, and J. Liao. NeurIPS, (2022)

BibSonomy

Disambiguation of "Cheng, Jie"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

Please choose a person to relate this publication to

Jie Cheng

Jie Cheng

Zhou Jie

Yucheng Jie

Cheng-Yung Cheng

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Cheng, Jie"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

Please choose a person to relate this publication to

Jie Cheng

Jie Cheng

Zhou Jie

Yucheng Jie

Cheng-Yung Cheng

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.