-
1كتاب إلكتروني
المؤلفون: Adhikari, RameshAff11, Busch, CostasAff11
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Rajsbaum, Sergio, editorAff7, Balliu, Alkida, editorAff8, Daymude, Joshua J., editorAff9, Olivetti, Dennis, editorAff10
المصدر: Structural Information and Communication Complexity : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings. 13892:112-131
-
2مؤتمر
المصدر: 2017 46th International Conference on Parallel Processing (ICPP) ICPP Parallel Processing (ICPP), 2017 46th International Conference on. :553-562 Aug, 2017
Relation: 2017 46th International Conference on Parallel Processing (ICPP)
-
3مؤتمر
المؤلفون: Ma, Shicong, Wang, Baosheng, Zhang, Xiaozhe, Gao, Xianming, Liu, Zhongju
المصدر: 2015 8th International Symposium on Computational Intelligence and Design (ISCID) Computational Intelligence and Design (ISCID), 2015 8th International Symposium on. 2:485-488 Dec, 2015
Relation: 2015 8th International Symposium on Computational Intelligence and Design (ISCID)
-
4مؤتمر
المصدر: 2015 IEEE Asia Pacific Conference on Wireless and Mobile (APWiMob) Wireless and Mobile (APWiMob), 2015 IEEE Asia Pacific Conference on. :41-45 Aug, 2015
Relation: 2015 IEEE Asia Pacific Conference on Wireless and Mobile (APWiMob)
-
5مؤتمر
المؤلفون: Paul, Shubhadip
المصدر: 2013 International Conference on Advanced Computing and Communication Systems Advanced Computing and Communication Systems (ICACCS), 2013 International Conference on. :1-6 Dec, 2013
Relation: 2013 International Conference on Advanced Computing & Communication Systems (ICACCS)
-
6مؤتمر
المؤلفون: McKnight, Christopher, Stubens, Carl, Coady, Yvonne, Li, Kin Fun
المصدر: 2012 Seventh International Conference on P2P, Parallel, Grid, Cloud and Internet Computing P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2012 Seventh International Conference on. :218-225 Nov, 2012
Relation: 2012 Seventh International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC)
-
7دورية أكاديمية
المؤلفون: Akhtar, Muhammad NaveedAff1, Durad, Muhammad HanifAff1, Usman, AnilaAff1, Mughal, Muhammad AbidAff1
المصدر: Iranian Journal of Science and Technology, Transactions A: Science. 42(2):623-633
-
8كتاب إلكتروني
المساهمون: Herrmann, HelmutAff1, Bucksch, Herbert
المصدر: Dictionary Geotechnical Engineering/Wörterbuch GeoTechnik : English-German/Englisch-Deutsch. :815-815
-
9
المؤلفون: Dalsgaard, Andreas, Laarman, Alfons, Larsen, Kim G., Olesen, Mads Chr., van de Pol, Jaco, Jurdziński, Marcin, Ničković, Dejan
المصدر: Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings, 91-106
STARTPAGE=91;ENDPAGE=106;TITLE=Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science ISBN: 9783642333644
FORMATSمصطلحات موضوعية: Model checking, Multi-core processor, Theoretical computer science, Well-quasi-ordering, Computer science, Timed automaton, Lockless, Data structure, Parallel, FMT-MC: MODEL CHECKING, Multi-Core, Hash table, Automaton, Model Checking, Reachability, Scalability, State (computer science), Abstraction, Timed automata, Lattice-based model checking, Symbolic reachability
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18844fe1ea565170097183acd4a7bf7f
https://doi.org/10.1007/978-3-642-33365-1_8 -
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.