Zobrazeno 1 - 10
of 135
pro vyhledávání: '"Donaldson, A.F."'
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:
In Computer Networks 2007 51(2):439-455
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:
Donaldson, A.F., Gopalakrishnan, G., Chong, N., Ketema, J., Li, G., Li, P., Lokhmotov, A., Qadeer, S.
Publikováno v:
In Advances in GPU Research and Practice 2017:3-21
Publikováno v:
28th International Conference on Concurrency Theory
Meyer, R.Nestmann, U., 28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017, 85
Meyer, R.Nestmann, U., 28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017, 85
The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years in the Multicore Programming Group at Imperial College London, and with collaborators internationally, related to understanding and reasoning about co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4279a7f68110b42fb4af06107283c2d1
http://resolver.tudelft.nl/uuid:cf0627e8-26ab-4ed6-8b60-d58ddc7271c8
http://resolver.tudelft.nl/uuid:cf0627e8-26ab-4ed6-8b60-d58ddc7271c8
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.
Kniha
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:
Bosnacki, D., Donaldson, A.F., Leuschel, M., Massart, T., Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y.
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783540755951
ATVA
Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan, 300-315
STARTPAGE=300;ENDPAGE=315;TITLE=Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan
ATVA
Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan, 300-315
STARTPAGE=300;ENDPAGE=315;TITLE=Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing a marker for each state encountered during search. We propose a comple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ebc24d27f7db0d290ea9b6579da0c93c
https://doi.org/10.1007/978-3-540-75596-8_22
https://doi.org/10.1007/978-3-540-75596-8_22
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.