Autor der Publikation

Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.

, , , , , , und . ICSE, Seite 462-473. ACM, (2022)

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

Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers., , , , und . PaCT, Volume 3606 von Lecture Notes in Computer Science, Seite 216-225. Springer, (2005)Scheduling Convex Bipartite Communications Toward Efficient GEN_BLOCK Transformations., , , , und . ISPA, Volume 3758 von Lecture Notes in Computer Science, Seite 419-424. Springer, (2005)Poster: Efficient Power Control Based on Interference Range in Wireless Ad Hoc Networks., , und . EWSN, Seite 265-266. Junction Publishing, Canada / ACM, (2016)Correctional DP-Based Energy Management Strategy of Plug-In Hybrid Electric Bus for City-Bus Route., , , , und . IEEE Trans. Vehicular Technology, 64 (7): 2792-2803 (2015)Finite-time synchronization of coupled time-delayed neural networks with discontinuous activations., und . Neurocomputing, (2017)A Fast Sparse Triangular Solver for Structured-grid Problems on Sunway Many-core Processor SW26010., , , , , , , , und . ICPP, Seite 53:1-53:11. ACM, (2018)On Reducing I/O Overheads in Large-Scale Invariant Subspace Projections., , , , , und . Euro-Par Workshops (1), Volume 7155 von Lecture Notes in Computer Science, Seite 305-314. Springer, (2011)Dynamic Scheduling of Multi-Type Battery Charging Stations for EV Battery Swapping., , , , , und . SmartGridComm, Seite 1-6. IEEE, (2019)An Improved Quantum Genetic Algorithm Based on Population Partition and Dynamic Probability Amplitude., , , und . ICNC-FSKD, Volume 1074 von Advances in Intelligent Systems and Computing, Seite 168-177. Springer, (2019)A fully implicit constraint-preserving simulator for the black oil model of petroleum reservoirs., , , und . J. Comput. Phys., (2019)