Autor der Publikation

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.

, , , , , und . FTSCS, Volume 1165 von Communications in Computer and Information Science, Seite 57-73. Springer, (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthetic control over orientational degeneracy of spacer cations enhances solar cell efficiency in two-dimensional perovskites, , , , , , , , , und 8 andere Autor(en). Nature Communications, 10 (1): 1276-- (2019)Day-Ahead Hierarchical Optimal Scheduling for Offshore Integrated Electricity-Gas-Heat Energy System Considering Load Forecasting., , , , , und . IECON, Seite 2342-2347. IEEE, (2019)Ideal Bandgap Organic–Inorganic Hybrid Perovskite Solar Cells, , und . Advanced Materials, (2017)A comparative study of two formal semantics of the SIGNAL language., , und . Frontiers Comput. Sci., 7 (5): 673-693 (2013)Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B., , und . CoRR, (2015)Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance., , , und . SETTA, Volume 14464 von Lecture Notes in Computer Science, Seite 298-313. Springer, (2023)A Traffic Feature Analysis Approach for Converged Networks of LTE and Broadband Carrier Wireless Communications., , , , , und . SimuTools (1), Volume 369 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 183-193. Springer, (2020)Signal processing method for flight time measurement of gas ultrasonic flowmeter., , , und . I2MTC, Seite 1-6. IEEE, (2021)Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method., , , , , , , , und . WCSP, Seite 586-590. IEEE, (2020)A survey on formal specification and verification of separation kernels., , und . Frontiers Comput. Sci., 11 (4): 585-607 (2017)