Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Bjorn Lisper"'
Publikováno v:
IEEE Access, Vol 6, Pp 78965-78991 (2018)
Automatic inference of task level parallelism is fundamental for ensuring many kinds of safety and liveness properties of parallel applications. For example, two tasks running in parallel may be involved in data races when they have conflicting memor
Externí odkaz:
https://doaj.org/article/77b688ae08574898b59b4e947202b36a
Publikováno v:
2022 IEEE Nordic Circuits and Systems Conference (NorCAS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2eb1e3b815b9a80225fdd6a30d49ada0
https://doi.org/10.1109/norcas57515.2022.9934617
https://doi.org/10.1109/norcas57515.2022.9934617
Publikováno v:
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33a9adb673fbd2ad0830dc16e4ca572a
https://doi.org/10.1109/seaa56994.2022.00029
https://doi.org/10.1109/seaa56994.2022.00029
Publikováno v:
2022 IEEE 4th International Conference on Artificial Intelligence Circuits and Systems (AICAS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec7a9ddbfe4c10e2ec31b21eb3e91a2b
https://doi.org/10.1109/aicas54282.2022.9869907
https://doi.org/10.1109/aicas54282.2022.9869907
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.
Publikováno v:
2006 27th IEEE International Real-Time Systems Symposium (RTSS'06); 2006, p57-66, 10p
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.
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.