المؤلفون: Adhikari, Ramesh^Aff11, Busch, Costas^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Rajsbaum, Sergio, editor^Aff7, Balliu, Alkida, editor^Aff8, Daymude, Joshua J., editor^Aff9, Olivetti, Dennis, editor^Aff10

المصدر: Structural Information and Communication Complexity : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings. 13892:112-131

المؤلفون: Rubino, Eduardo Moscoso, Alvares, Alberto Jose, Prades, Raul Marin, Valero, Pedro Sanz

المصدر: 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)

المؤلفون: 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)

المؤلفون: Maheshwari, Sumit, Shandilya, Prashanth R K, Naidu, Naveen Kumar Srinivasa

المصدر: 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)

المؤلفون: 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)

المؤلفون: 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)

المؤلفون: Akhtar, Muhammad Naveed^Aff1, Durad, Muhammad Hanif^Aff1, Usman, Anila^Aff1, Mughal, Muhammad Abid^Aff1

المصدر: Iranian Journal of Science and Technology, Transactions A: Science. 42(2):623-633

المساهمون: Herrmann, Helmut^Aff1, Bucksch, Herbert

المصدر: Dictionary Geotechnical Engineering/Wörterbuch GeoTechnik : English-German/Englisch-Deutsch. :815-815

المؤلفون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.