Autor der Publikation

Modular Verification of SPARCv8 Code.

, , und . APLAS, Volume 11275 von Lecture Notes in Computer Science, Seite 245-263. Springer, (2018)

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

A general Phragmén-Lindelöf principle for weak solutions of the Schrödinger equation and its applications.. Appl. Math. Lett., (2018)Pipe Stress Optimization Analysis Based on MIGA Algorithm., , , , , und . CIPAE, Seite 277-280. ACM, (2020)Virtually-Federated Scheduling of Parallel Real-Time Tasks., , , , , und . RTSS, Seite 482-494. IEEE, (2021)Deep Feature Learning to Quantitative Prediction of Software Defects., , , und . COMPSAC, Seite 1401-1402. IEEE, (2021)Fast, High-radix Silicon Photonic Switches., , , , und . OFC, Seite 1-3. IEEE, (2018)Autonomous UAV Landing System Based on Visual Navigation., , , , , , , , , und . IST, Seite 1-6. IEEE, (2019)Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems., , , , , , und . ICCD, Seite 676-679. IEEE, (2019)Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications., , , , , , und . ICCD, Seite 246-254. IEEE, (2019)Performance and Power Consumption Analysis of IEEE802.11ah for Smart Grid., , , und . Wirel. Commun. Mob. Comput., (2018)A User Attribute Recommendation Algorithm and Peer3D Technology based WebVR P2P Transmission Scheme., , und . ICSCA, Seite 453-456. ACM, (2019)