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

Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.

O. Radwan, Y. Zhang, and L. Geretti. CoRR, (2023)

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.

Yilin Zhang

Yilin Zhou

Yilin Zhao

Yilin Vogel

Yilin Wang

Other publications of authors with the same name

Recalling instructions from idling threads to maximize resource utilization for simultaneous multi-threading processors.Y. Zhang, C. Douglas, and W. Lin. Comput. Electr. Eng., 39 (7): 2031-2044 (2013)O-Router: an optical routing framework for low power on-chip silicon nano-photonic integration.D. Ding, Y. Zhang, H. Huang, R. Chen, and D. Pan. DAC, page 264-269. ACM, (2009)Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.O. Radwan, Y. Zhang, and L. Geretti. CoRR, (2023)Projection divergence in the reproducing kernel Hilbert space: Asymptotic normality, block-wise and slicing estimation, and computational efficiency.Y. Zhang, and L. Zhu. J. Multivar. Anal., (2023)Generalized complex vague soft set and its applications.Y. Zhang, and C. Wang. Soft Comput., 26 (12): 5465-5479 (2022)A Knowledge-Enhanced Multi-View Framework for Drug-Target Interaction Prediction.Y. Shen, Y. Zhang, K. Yuan, D. Li, and H. Zheng. IEEE Trans. Big Data, 8 (5): 1387-1398 (2022)A Method for Calibration and Compensation of Kinematic Parameters for Recycling Robot in Nuclear Power Plant.Z. Han, Y. Pan, Y. Zhang, C. Liu, F. Meng, and X. Duan. RCAR, page 171-176. IEEE, (2020)Resilient Approximation-Based Distributed Nonconvex Optimization.Y. Zhang, Z. He, and J. He. ACC, page 2773-2778. IEEE, (2022)Performance-Sensitivity-based Workload Tailoring for Effective Design Exploration.J. Luo, Y. Zhang, S. Vadlamani, and B. Lee. ITNG, page 496-501. IEEE Computer Society, (2012)A Real-Time Per-Thread IQ-Capping Technique for Simultaneous Multi-threading (SMT) Processors.A. Sahba, Y. Zhang, M. Hays, and W. Lin. ITNG, page 413-418. IEEE Computer Society, (2014)

BibSonomy

Disambiguation of "Zhang, Yilin"

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

Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.

Please choose a person to relate this publication to

Yilin Zhang

Yilin Zhou

Yilin Zhao

Yilin Vogel

Yilin Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Zhang, Yilin"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.

Please choose a person to relate this publication to

Yilin Zhang

Yilin Zhou

Yilin Zhao

Yilin Vogel

Yilin Wang

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

Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.