( en | de | ru )

 

Disambiguierung von "Huang, Hongtao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification and verification of policy using RAISE and modelchecking.

, , , und . BMEI, Seite 2082-2086. IEEE, (2011)

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.

Hongtao Du

Hongtao Lu

Hongtao Sun

Josef Huang

Pa Huang

 

Weitere Publikationen von Autoren mit dem selben Namen

A Virtual Network Embedding Algorithm Based on Hybrid Particle Swarm Optimization., , , , , und . SmartCom, Volume 10135 von Lecture Notes in Computer Science, Seite 568-576. Springer, (2016)Leakage-Aware Reallocation for Periodic Real-Time Tasks on Multicore Processors., , , , und . FCST, Seite 85-91. IEEE Computer Society, (2010)Specification and verification of policy using RAISE and modelchecking., , , und . BMEI, Seite 2082-2086. IEEE, (2011)A PSO-Based Virtual Network Mapping Algorithm with Crossover Operator., , , , , und . SmartCom, Volume 10135 von Lecture Notes in Computer Science, Seite 527-536. Springer, (2016)Detection of Disjunctive Normal Form Predicate in Distributed Systems.. ICDCN, Volume 4904 von Lecture Notes in Computer Science, Seite 158-169. Springer, (2008)MatchNAS: Optimizing Edge AI in Sparse-Label Data Contexts via Automating Deep Neural Network Porting for Mobile Deployment., , , und . WWW, Seite 2965-2975. ACM, (2024)On Detecting Regular Predicates in Distributed Systems.. ATVA, Volume 5799 von Lecture Notes in Computer Science, Seite 397-411. Springer, (2009)Slocc classification for nine families of four-qubits., , , und . Quantum Inf. Comput., 9 (9&10): 778-800 (2009)Research of Crowed Abnormal Behavior Detection Technology Based on Trajectory Gradient., , , und . ISICA (2), Volume 874 von Communications in Computer and Information Science, Seite 486-500. Springer, (2017)Detection of a Set of States in Distributed Systems.. APSEC, Seite 281-288. IEEE Computer Society, (2008)