Zobrazeno 1 - 10
of 127
pro vyhledávání: '"multithreaded programs"'
Publikováno v:
IEEE Access, Vol 6, Pp 40024-40040 (2018)
Debugging multithread programs is extremely difficult because the basic assumption that underlies sequential program debugging, that is, the program behavior is deterministic under a fixed input, is no longer valid due to the nondeterminism attribute
Externí odkaz:
https://doaj.org/article/e3417ba64fef48699beb398776a462de
Autor:
Batović, Šime
Pri pisanju višedretvenog programa, programeri najčešće koriste lokote odnosno međusobno isključivanje za zapisivanje i dohvaćanje podataka iz zajedničke memorije. U ovom radu predstavljena je alternativna metoda koja ne koristi lokote, već
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3908::299a1847b458828b72bd384e2ac23e08
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:10476
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:10476
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.
Conference
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:
IEEE Access, Vol 6, Pp 40024-40040 (2018)
Debugging multithread programs is extremely difficult because the basic assumption that underlies sequential program debugging, that is, the program behavior is deterministic under a fixed input, is no longer valid due to the nondeterminism attribute
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f74a390aecbfc4aeaf0407249c7fa8ae
https://doi.org/10.1109/access.2018.2835672
https://doi.org/10.1109/access.2018.2835672
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:
El hokayem, Antoine
La vérification à l’exécution est une méthode formelle légère qui consiste à vérifier qu’une exécution d’un système est correcte par rapport à une spécification. La spécification exprime de manière rigoureuse le comportement atten
Externí odkaz:
http://www.theses.fr/2018GREAM086/document
Autor:
El hokayem, Antoine
Publikováno v:
Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM086⟩
Runtime Verification (RV) is a lightweight formal method which consists in verifying that a run of a system is correct with respect to a specification. The specification formalizes the behavior of the system typically using logics or finite-state mac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::95e3b231f1db4fe9234bc4c530cfbda1
https://tel.archives-ouvertes.fr/tel-02119348
https://tel.archives-ouvertes.fr/tel-02119348
Publikováno v:
International Journal on Software Tools for Technology Transfer. 18:517-534
We address the problem of automatically establishing correctness for programs generating an arbitrary number of concurrent processes and manipulating variables ranging over an infinite domain. The programs we consider can make use of the shared varia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41e9c0cf368c2a86b2d9c6242f171ee5
https://doi.org/10.1007/s10009-015-0411-0
https://doi.org/10.1007/s10009-015-0411-0