Zobrazeno 1 - 10
of 218
pro vyhledávání: '"Clang"'
Publikováno v:
Ruhuna Journal of Science, Vol 14, Iss 1, Pp 66-74 (2023)
Abstract An opportunistic study was carried out from a 113’ motor-sailing vessel along the southeast coast of Sri Lanka from April 11 to 19, 2013. Passive acoustic monitoring allowed pods of sperm whales (Physeter macrocephalus) to be detected and
Externí odkaz:
https://doaj.org/article/e4bd6af17c30421490f2ff7ddf699b19
Autor:
Sara Khan, Muhammad Asif Ikram Anjum
Publikováno v:
Journal of Communication and Cultural Trends, Vol 5, Iss 1 (2023)
Vocabulary acquisition in both L1 and L2 has depended on the opinion of associative language learning to help recognize and elucidate the procedures of lexical acquisition and development in the mind of language learners. To date, L2 studies in this
Externí odkaz:
https://doaj.org/article/87512a5c109b45bd856348e155d6fa54
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fülöp Endre, Pataki Norbert
Publikováno v:
Open Computer Science, Vol 11, Iss 1, Pp 107-115 (2020)
Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing. Moreover, static analysis can help in software engineering compreh
Externí odkaz:
https://doaj.org/article/b96dbc6f0b084d07950d4be5737f3dba
Publikováno v:
IEEE Access, Vol 7, Pp 182559-182572 (2019)
With the increasing deployment of GPUs in many domains, it is important to enhance the dependability of GPU-based systems especially in mission critical environments. We believe that undefined behaviors present a major challenge for the CUDA platform
Externí odkaz:
https://doaj.org/article/c2f3c6f6e03e4681af30425065bfbad8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This is the official artifact of the paper: GrayC: Greybox Fuzzing of Compilers and Analysers for C (ISSTA 2023). =======> DOWNLOAD THE ARTIFACT IN THE DOCKER IMAGE TO START The main GitHub Repository is: https://github.com/srg-imperial/GrayC/tree/ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09a2c2861c9861fa86c2aaa58a216f4d
Autor:
A. . Dergachev, A. . Sidorin
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 1, Pp 41-62 (2018)
A specific approach to summary-based interprocedural symbolic execution is described. The approach is suitable for analysis of program source code developed with high-level programming languages and allows executing arbitrarily complex checks during
Externí odkaz:
https://doaj.org/article/3299b07a12134cc98ad43cbb4a8644d4