Zobrazeno 1 - 2
of 2
pro vyhledávání: '"préservation sémantique"'
Publikováno v:
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Concurrent programming is notoriously difficult, especially in constrained embedded contexts. Threads, in particular, are wildly nondeterministic as a model of computation, and difficult to analyze in the general case. Fortunately, it is often the ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4ee4def46ad3f3f75f07b272ba007ba8
https://inria.hal.science/hal-01509314/file/RR-9057.pdf
https://inria.hal.science/hal-01509314/file/RR-9057.pdf
Publikováno v:
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Concurrent programming is notoriously difficult, especially in constrained embedded contexts. Threads, in particular, are wildly nondeterministic as a model of computation, and difficult to analyze in the general case. Fortunately, it is often the ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::4ee4def46ad3f3f75f07b272ba007ba8
https://hal.inria.fr/hal-01509314/file/RR-9057.pdf
https://hal.inria.fr/hal-01509314/file/RR-9057.pdf