Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Hoang. M. Le"'
Publikováno v:
2022 30th European Signal Processing Conference (EUSIPCO).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c673495d8bcd6109eeb1a8d9dcc53b04
https://doi.org/10.23919/eusipco55093.2022.9909964
https://doi.org/10.23919/eusipco55093.2022.9909964
Deep Learning to Robustify a Geometric Interpretation of Trilateration for 3D RSS-based Localization
Publikováno v:
2022 IEEE 21st Mediterranean Electrotechnical Conference (MELECON).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0c41d178d4322ae81427b0829467959
https://doi.org/10.1109/melecon53508.2022.9842872
https://doi.org/10.1109/melecon53508.2022.9842872
2D DoA-based Positioning with Phase Jump Corrections and An Approximate Maximum Likelihood Estimator
Publikováno v:
2021 3rd IEEE Middle East and North Africa COMMunications Conference (MENACOMM).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fdee0bb27ba0e4d091e51fbe16b1952e
https://doi.org/10.1109/menacomm50742.2021.9678233
https://doi.org/10.1109/menacomm50742.2021.9678233
Publikováno v:
2021 IEEE Jordan International Joint Conference on Electrical Engineering and Information Technology (JEEIT).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c8aa9b8026136fe2d4aa4952b810375
https://doi.org/10.1109/jeeit53412.2021.9634150
https://doi.org/10.1109/jeeit53412.2021.9634150
Publikováno v:
2021 29th European Signal Processing Conference (EUSIPCO).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bdbdc73f2957a42aa4774b6cc1d97f1
https://doi.org/10.23919/eusipco54536.2021.9615965
https://doi.org/10.23919/eusipco54536.2021.9615965
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38:1359-1372
Formal verification of high-level SystemC designs is an important and challenging problem. One has to deal with the full complexity of C++ to extract a suitable formal model (front-end problem) and then, with large cyclic state spaces defined by symb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::963b22c20143cddc894f4ba9dc589c2d
https://doi.org/10.1109/tcad.2018.2846638
https://doi.org/10.1109/tcad.2018.2846638
Publikováno v:
European Journal of Organic Chemistry. 2019:2362-2367
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d24a6f12b917d96faaf51cd0f8d536e
https://doi.org/10.1002/ejoc.201801827
https://doi.org/10.1002/ejoc.201801827
Publikováno v:
International Journal on Software Tools for Technology Transfer. 21:545-565
Sequentialization has been shown to be an effective symbolic verification technique for safety properties in multi-threaded C programs using POSIX threads. The tool Lazy-CSeq, which applies a lazy sequentialization scheme, demonstrated its efficiency
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08def696c4f3ccf063915885a087a654
https://doi.org/10.1007/s10009-019-00507-5
https://doi.org/10.1007/s10009-019-00507-5
Publikováno v:
EUSIPCO
Trilateration is a popular approach in localization. Many related geometric approaches have been proposed for 2D scenarios. In general, each approach has a standard case in which the main solution is applied, and many specific cases. Each specific ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2083baa656e4616024f0fa09dccee62e
https://doi.org/10.23919/eusipco47968.2020.9287413
https://doi.org/10.23919/eusipco47968.2020.9287413
Autor:
Hoang M. Le
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE
FASE
LibKluzzer is a novel implementation of hybrid fuzzing, which combines the strengths of coverage-guided fuzzing and dynamic symbolic execution (a.k.a. whitebox fuzzing). While coverage-guided fuzzing can discover new execution paths at nearly native
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::810f0c86745ef95c588a966baa5091fb
https://doi.org/10.1007/978-3-030-45234-6_29
https://doi.org/10.1007/978-3-030-45234-6_29
