Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 490 Treffer
- [info.info-es]computer science [cs]/embedded systems 83 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 74 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 54 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 51 Treffer
-
45 weitere Werte:
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 40 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 37 Treffer
- methodes formelles 34 Treffer
- essaims de robots mobiles 32 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 28 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 28 Treffer
- [info.info-mc]computer science [cs]/mobile computing 26 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 25 Treffer
- assistant de preuve 24 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 23 Treffer
- espace euclidien 22 Treffer
- [info.info-lg]computer science [cs]/machine learning [cs.lg] 21 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 20 Treffer
- self-stabilization 18 Treffer
- acm: d.: software/d.2: software engineering/d.2.3: coding tools and techniques 17 Treffer
- distributed algorithms 17 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 16 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 15 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 14 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 14 Treffer
- graphe 14 Treffer
- stream processing 14 Treffer
- fault-tolerance 13 Treffer
- service discovery 13 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 12 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 12 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 12 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming/d.1.3.1: parallel programming 12 Treffer
- connexion 12 Treffer
- evaluation de la performance 12 Treffer
- performance evaluation 12 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 11 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 11 Treffer
- coq 11 Treffer
- openmp 11 Treffer
- pactole 11 Treffer
- preuve formelle 11 Treffer
- program verification 11 Treffer
- proof assistant 11 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 10 Treffer
- [phys.phys.phys-geo-ph]physics [physics]/physics [physics]/geophysics [physics.geo-ph] 10 Treffer
- [sdu.ocean]sciences of the universe [physics]/ocean 10 Treffer
- adjoint model 10 Treffer
- atmosphere 10 Treffer
Verlag
- hal ccsd 933 Treffer
- ieee 65 Treffer
- springer 36 Treffer
- springer-verlag 15 Treffer
- springer international publishing 12 Treffer
-
11 weitere Werte:
- acm press 10 Treffer
- springer-verlag berlin heidelberg 7 Treffer
- schloss dagstuhl 5 Treffer
- springer verlag berlin heidelberg 4 Treffer
- acm 3 Treffer
- springer berlin heidelberg 3 Treffer
- springer, cham 3 Treffer
- rnti 2 Treffer
- society for industrial and applied mathematics 2 Treffer
- ieee computer science 1 Treffer
- insticc 1 Treffer
Publikation
- 14th ieee international conference on high performance computing and communications (hpcc-2012) ; https://hal.sorbonne-universite.fr/hal-00695513 ; 14th ieee international conference on high performance computing and communications (hpcc-2012), jun 2012, liverpool, united kingdom. pp.224-232, ⟨10.1109/hpcc.2012.38⟩ 8 Treffer
- stabilization, safety, and security of distributed systems. sss 2021 ; https://hal.sorbonne-universite.fr/hal-03425768 ; stabilization, safety, and security of distributed systems. sss 2021, nov 2021, online, sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩ 8 Treffer
- 7th international conference on networked systems (netys 2019) ; https://hal.science/hal-02115599 ; 7th international conference on networked systems (netys 2019), jun 2019, marrakech, morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ 7 Treffer
- algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02115611 ; algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications, jun 2019, saint laurent de la cabrerisse, france. pp.1-4 ; https://www.irit.fr/algotel2019/ 5 Treffer
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
-
9 weitere Werte:
- algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03219933 ; algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications, 2021, la rochelle, france 5 Treffer
- proceedings of avocs 2017 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs) ; https://hal.sorbonne-universite.fr/hal-01549942 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs), sep 2017, turin, italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/fmics-avocs2017 5 Treffer
- stabilization, safety, and security of distributed systems. sss 2018. ; https://hal.science/hal-01937420 ; stabilization, safety, and security of distributed systems. sss 2018., xavier defago, toshimitsu masuzawa, koichi wada, nov 2018, tokyo, japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩ 5 Treffer
- high performance computing - hipc 2006 ; hipc 2006 - 13th international conference on high performance computing. ; https://inria.hal.science/hal-01430039 ; hipc 2006 - 13th international conference on high performance computing., dec 2006, bangalore, india. pp.171-182, ⟨10.1007/11945918_21⟩ 4 Treffer
- 27th international symposium on reliable distributed systems (srds 2008) ; https://inria.hal.science/hal-01428529 ; 27th international symposium on reliable distributed systems (srds 2008), oct 2008, naples, italy 3 Treffer
- bids' 2017 - conference on big data from space ; https://inria.hal.science/hal-01671323 ; bids' 2017 - conference on big data from space, nov 2017, toulouse, france. pp.1-4 3 Treffer
- international symposium on stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-00930267 ; international symposium on stabilization, safety, and security of distributed systems, nov 2013, osaka, japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩ 3 Treffer
- sac '18: proceedings of the 33rd annual acm symposium on applied computing 3 Treffer
- sss 2007 - 9th international symposium on stabilization, safety, and security of distributed systems ; https://inria.hal.science/hal-01429571 ; sss 2007 - 9th international symposium on stabilization, safety, and security of distributed systems, nov 2007, paris, france. pp.15, ⟨10.1007/978-3-540-76627-8_9⟩ 3 Treffer
Sprache
Geographischer Bezug
934 Treffer
-
In: Cluster 2023 - IEEE International Conference on Cluster Computing ; https://hal.science/hal-04208787 ; Cluster 2023 - IEEE International Conference on Cluster Computing, Oct 2023, Santa Fe, New Mexico, United States. pp.1-10, 2023Online KonferenzZugriff:
-
In: Cluster 2023 - IEEE International Conference on Cluster Computing ; https://hal.science/hal-04208787 ; Cluster 2023 - IEEE International Conference on Cluster Computing, Oct 2023, Santa Fe, New Mexico, United States. pp.1-10, 2023Online KonferenzZugriff:
-
In: Cluster 2023 - IEEE International Conference on Cluster Computing ; https://hal.science/hal-04208787 ; Cluster 2023 - IEEE International Conference on Cluster Computing, Oct 2023, Santa Fe, New Mexico, United States. pp.1-10, 2023Online KonferenzZugriff:
-
In: IFIP Networking Conference ; https://hal.science/hal-03657370 ; IFIP Networking Conference, Jun 2022, Catania, Italy. ⟨10.23919/IFIPNetworking55013.2022.9829789⟩, 2022Online KonferenzZugriff:
-
In: IFIP Networking Conference ; https://hal.science/hal-03657370 ; IFIP Networking Conference, Jun 2022, Catania, Italy. ⟨10.23919/IFIPNetworking55013.2022.9829789⟩, 2022Online KonferenzZugriff:
-
In: ScaDL 2022 - Scalable Deep Learning over Parallel and Distributed Infrastructures - An IPDPS Workshop ; https://hal.science/hal-03613558 ; ScaDL 2022 - Scalable Deep Learning over Parallel and Distributed Infrastructures - An IPDPS Workshop, Jun 2022, Lyon / Virtual, France. pp.1-10, 2022Online KonferenzZugriff:
-
In: SC 2022 - International Conference for High Performance Computing, Networking, Storage, and Analysis (Posters) ; https://inria.hal.science/hal-03878254 ; SC 2022 - International Conference for High Performance Computing, 2022Online KonferenzZugriff:
-
In: ECCOMAS 2022 : 8th European Congress on Computational Methods in Applied Sciences and Engineering ; https://hal.science/hal-03790551 ; ECCOMAS 2022 : 8th European Congress on Computational Methods in Applied Sciences and Engineering, Jun 2022, Oslo, Norway, 2022Online KonferenzZugriff:
-
In: CCTA 2022 - Conference on Control Technology and Applications, 2022Online KonferenzZugriff:
-
In: CCTA 2022 - Conference on Control Technology and Applications, 2022Online KonferenzZugriff:
-
In: IFIP Networking Conference ; https://hal.science/hal-03657370 ; IFIP Networking Conference, Jun 2022, Catania, Italy. ⟨10.23919/IFIPNetworking55013.2022.9829789⟩, 2022Online KonferenzZugriff:
-
In: CCTA 2022 - Conference on Control Technology and Applications, 2022Online KonferenzZugriff:
-
In: ScaDL 2022 - Scalable Deep Learning over Parallel and Distributed Infrastructures - An IPDPS Workshop ; https://hal.science/hal-03613558 ; ScaDL 2022 - Scalable Deep Learning over Parallel and Distributed Infrastructures - An IPDPS Workshop, Jun 2022, Lyon / Virtual, France. pp.1-10, 2022Online KonferenzZugriff:
-
In: SC 2022 - International Conference for High Performance Computing, Networking, Storage, and Analysis (Posters) ; https://inria.hal.science/hal-03878254 ; SC 2022 - International Conference for High Performance Computing, 2022Online KonferenzZugriff:
-
In: ECCOMAS 2022 : 8th European Congress on Computational Methods in Applied Sciences and Engineering ; https://hal.science/hal-03790551 ; ECCOMAS 2022 : 8th European Congress on Computational Methods in Applied Sciences and Engineering, Jun 2022, Oslo, Norway, 2022Online KonferenzZugriff:
-
In: CCTA 2022 - Conference on Control Technology and Applications, 2022Online KonferenzZugriff:
-
In: ECCOMAS 2022 : 8th European Congress on Computational Methods in Applied Sciences and Engineering ; https://hal.science/hal-03790551 ; ECCOMAS 2022 : 8th European Congress on Computational Methods in Applied Sciences and Engineering, Jun 2022, Oslo, Norway, 2022Online KonferenzZugriff:
-
In: CCTA 2022 - Conference on Control Technology and Applications, 2022Online KonferenzZugriff:
-
In: ScaDL 2022 - Scalable Deep Learning over Parallel and Distributed Infrastructures - An IPDPS Workshop ; https://hal.science/hal-03613558 ; ScaDL 2022 - Scalable Deep Learning over Parallel and Distributed Infrastructures - An IPDPS Workshop, Jun 2022, Lyon / Virtual, France. pp.1-10, 2022Online KonferenzZugriff:
-
In: SC 2022 - International Conference for High Performance Computing, Networking, Storage, and Analysis (Posters) ; https://inria.hal.science/hal-03878254 ; SC 2022 - International Conference for High Performance Computing, 2022Online KonferenzZugriff: