Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Multi-threaded programs"'
Publikováno v:
IEEE Access, Vol 8, Pp 160802-160814 (2020)
Widespread intentional or unintentional software plagiarisms have posed serious threats to the healthy development of software industry. In order to detect such evolving software plagiarism, software dynamic birthmark techniques of better anti-obfusc
Externí odkaz:
https://doaj.org/article/f7c91b0aa22f4a0d97a65019547331dd
Context-bounded analysis of concurrent programs is a technique to compute a sequence of under-approximations of all behaviors of the program. For a fixed bound k, a context bounded analysis considers only those runs in which a single process is inter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11a227c4aaad7b5b133803852e5b9819
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.
Publikováno v:
Mathematical and Computational Applications, Vol 24, Iss 2, p 64 (2019)
Preserving the confidentiality of information is a growing concern in software development. Secure information flow is intended to maintain the confidentiality of sensitive information by preventing them from flowing to attackers. This paper discusse
Externí odkaz:
https://doaj.org/article/aecd35a5ddf046359e0ef8345244b7dc
Publikováno v:
IEEE Access, Vol 8, Pp 160802-160814 (2020)
Widespread intentional or unintentional software plagiarisms have posed serious threats to the healthy development of software industry. In order to detect such evolving software plagiarism, software dynamic birthmark techniques of better anti-obfusc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0ecd94d0993799cf0de404712fd7dde
https://ieeexplore.ieee.org/document/9184827/
https://ieeexplore.ieee.org/document/9184827/
Autor:
Harmim, Dominik
Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomi
Externí odkaz:
http://www.nusl.cz/ntk/nusl-445592
Publikováno v:
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2019, 67, pp.42-55. ⟨10.1016/j.micpro.2019.01.008⟩
Microprocessors and Microsystems: Embedded Hardware Design
Microprocessors and Microsystems: Embedded Hardware Design, 2019, 67, pp.42-55. ⟨10.1016/j.micpro.2019.01.008⟩
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2019, 67, pp.42-55. ⟨10.1016/j.micpro.2019.01.008⟩
Microprocessors and Microsystems: Embedded Hardware Design
Microprocessors and Microsystems: Embedded Hardware Design, 2019, 67, pp.42-55. ⟨10.1016/j.micpro.2019.01.008⟩
International audience; Architecture parameter exploration is one of the main analysis that needs to be performed in order to ensure that a multicore system has an optimal set of parameters. The main drawback of current simulation approaches is the l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bfcaef17c30102df950ad01e53fb76c
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02100235/file/S0141933118302825.pdf
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02100235/file/S0141933118302825.pdf
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.
Publikováno v:
2017 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip
ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip
ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2017, Madrid, Spain. ⟨10.1109/ReCoSoC.2017.8016146⟩
ReCoSoC
12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip
ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip
ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2017, Madrid, Spain. ⟨10.1109/ReCoSoC.2017.8016146⟩
ReCoSoC
International audience; Multicore system analysis requires efficient solutions for architectural parameter and scalability exploration. Long simulation time is the main drawback of current simulation approaches. In order to reduce the simulation time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70d596f73a1005da46283e9aa56486fb