Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SMT-Based Scheduling for Overloaded Real-Time Systems.

Z. Cheng, H. Zhang, Y. Tan, und Y. Lim. IEICE Transactions, 100-D (5): 1055-1066 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xiaoyu Cheng University of Stuttgart

Tiffany Cheng University of Stuttgart

Univ. -Prof. Dr. Po Wen Cheng University of Stuttgart

Yingxing Cheng University of Stuttgart

Cheng-I Ho University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Greedy scheduling with feedback control for overloaded real-time systems.Z. Cheng, H. Zhang, Y. Tan, und A. Lim. IM, Seite 934-937. IEEE, (2015)A Case Study: SOFL + Model Checking for OSEK/VDX Application.Z. Cheng, H. Zhang, Y. Tan, und Y. Lim. SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2015)A New Clustering Protocol for Vehicular Networks in ITS.M. Liu, X. Zeng, M. Tao, und Z. Cheng. ChinaCom, Volume 262 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 615-624. Springer, (2018)Power Delivery Resonant Virus: Concept and Applications.T. Shen, D. Gao, Y. Shi, und C. Zhuo. ISLPED, Seite 1-6. IEEE, (2019)A physics-aware methodology for equivalent circuit model extraction of TSV-inductors.B. Chen, C. Zhuo, und Y. Shi. Integration, (2018)System-level design consideration and optimization of through-silicon-via inductor.C. Zhuo, und B. Chen. Integration, (2019)SMT-Based Scheduling for Overloaded Real-Time Systems.Z. Cheng, H. Zhang, Y. Tan, und Y. Lim. IEICE Transactions, 100-D (5): 1055-1066 (2017)Floating Random Walk-Based Capacitance Simulation Considering General Floating Metals.W. Yu, Z. Xu, B. Li, und C. Zhuo. IEEE Trans. on CAD of Integrated Circuits and Systems, 37 (8): 1711-1715 (2018)When Single Event Upset Meets Deep Neural Networks: Observations, Explorations, and Remedies.Z. Yan, Y. Shi, W. Liao, M. Hashimoto, X. Zhou, und C. Zhuo. CoRR, (2019)Process variation and temperature-aware reliability management.C. Zhuo, D. Sylvester, und D. Blaauw. DATE, Seite 580-585. IEEE Computer Society, (2010)