Suchergebnisse
Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 296 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 236 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 153 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 104 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 96 Treffer
-
45 weitere Werte:
- [info.info-pf]computer science [cs]/performance [cs.pf] 93 Treffer
- [info.info-mc]computer science [cs]/mobile computing 87 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 74 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 68 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 65 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 60 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 50 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 48 Treffer
- [info.info-es]computer science [cs]/embedded systems 45 Treffer
- [info]computer science [cs] 44 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 43 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.2: network protocols 40 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 37 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 37 Treffer
- [info.info-cv]computer science [cs]/computer vision and pattern recognition [cs.cv] 37 Treffer
- [info.info-ti]computer science [cs]/image processing [eess.iv] 37 Treffer
- [info.info-ts]computer science [cs]/signal and image processing 37 Treffer
- [sdu]sciences of the universe [physics] 37 Treffer
- [spi.auto]engineering sciences [physics]/automatic 37 Treffer
- [spi.signal]engineering sciences [physics]/signal and image processing 37 Treffer
- fault tolerance 37 Treffer
- meteorites 37 Treffer
- meteors 37 Treffer
- wait-freedom 37 Treffer
- meteoroids -surveys -methods: observational -interplanetary medium 34 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 33 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 32 Treffer
- consensus 32 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks 30 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 30 Treffer
- asynchronous system 29 Treffer
- distributed computing 27 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.1: network architecture and design 26 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability/d.4.5.2: fault-tolerance 26 Treffer
- linearizability 26 Treffer
- distributed computability 25 Treffer
- self-stabilization 24 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 23 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 23 Treffer
- scheduling 23 Treffer
- broadcast 22 Treffer
- formal proof 22 Treffer
- process crash 22 Treffer
- acm: d.: software/d.1: programming techniques 21 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 20 Treffer
Verlag
- hal ccsd 685 Treffer
- springer 110 Treffer
- elsevier 41 Treffer
- edp sciences 39 Treffer
- ieee 38 Treffer
-
20 weitere Werte:
- springer verlag 31 Treffer
- institute of electrical and electronics engineers 13 Treffer
- lavoisier 13 Treffer
- ieee computer society 12 Treffer
- acm 10 Treffer
- springer-verlag 10 Treffer
- springer nature switzerland 9 Treffer
- european design and automation association (edaa) \ embedded systems special interest group (emsig) and schloss dagstuhl -- leibniz-zentrum fur informatik gmbh, dagstuhl publishing. 8 Treffer
- institut universitaire de france 7 Treffer
- springer-verlag berlin heidelberg 6 Treffer
- world scientific publishing 6 Treffer
- eyrolles 5 Treffer
- oxford university press (uk) 5 Treffer
- the royal society of chemistry 5 Treffer
- wiley 5 Treffer
- springer international publishing 4 Treffer
- inderscience 3 Treffer
- lipics 3 Treffer
- acm new york, ny, usa 2 Treffer
- oxford university press (oup) 2 Treffer
Publikation
- issn: 0004-6361 37 Treffer
- issn: 1879-2294 15 Treffer
- issn: 0743-7315 13 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 13 Treffer
- issn: 0178-2770 10 Treffer
-
21 weitere Werte:
- issn: 1432-4350 8 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/ 7 Treffer
- issn: 2199-2002 ; leibniz transactions on embedded systems ; https://hal.science/hal-03901898 ; leibniz transactions on embedded systems, 2022, special issue on distributed hybrid systems, 8 (2), pp.02:1-02:36. ⟨10.4230/lites.8.2.2⟩ 7 Treffer
- https://hal.sorbonne-universite.fr/hal-01762962 ; [research report] sorbonne universite, cnrs, laboratoire d'informatique de paris 6, lip6, f-75005 paris, france. 2018, pp.1-12 6 Treffer
- issn: 1094-6136 6 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 6 Treffer
- issn: 0010-4620 5 Treffer
- issn: 2041-6520 5 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⟩ 4 Treffer
- issn: 1382-6905 4 Treffer
- issn: 0022-0000 3 Treffer
- issn: 0129-6264 3 Treffer
- issn: 0178-4617 3 Treffer
- issn: 0890-5401 3 Treffer
- issn: 1532-0626 ; eissn: 1532-0634 3 Treffer
- les ressources ; https://inria.hal.science/hal-00796870 ; unknown editor. les ressources, institut universitaire de france, pp.225-243, 2011, les colloques de l'iuf 3 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⟩ 3 Treffer
- issn: 0038-0644 ; eissn: 1097-024x 2 Treffer
- issn: 0399-0559 2 Treffer
- issn: 0956-540x 2 Treffer
- issn: 1741-847x 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
685 Treffer
-
In: AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.sorbonne-universite.fr/hal-04565529 ; AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France, 2024Online KonferenzZugriff:
-
In: ISSN: 1077-2626 ; IEEE Transactions on Visualization and Computer Graphics ; https://hal.science/hal-04550117 ; IEEE Transactions on Visualization and Computer Graphics, In press, ⟨10.1109/TVCG.2024.3380100⟩, 2024Online academicJournalZugriff:
-
In: ISSN: 1077-2626 ; IEEE Transactions on Visualization and Computer Graphics ; https://hal.science/hal-04550117 ; IEEE Transactions on Visualization and Computer Graphics, In press, ⟨10.1109/TVCG.2024.3380100⟩, 2024Online academicJournalZugriff:
-
In: ISSN: 1077-2626 ; IEEE Transactions on Visualization and Computer Graphics ; https://hal.science/hal-04550117 ; IEEE Transactions on Visualization and Computer Graphics, In press, ⟨10.1109/TVCG.2024.3380100⟩, 2024Online academicJournalZugriff:
-
In: ISSN: 1077-2626 ; IEEE Transactions on Visualization and Computer Graphics ; https://hal.science/hal-04550117 ; IEEE Transactions on Visualization and Computer Graphics, In press, ⟨10.1109/TVCG.2024.3380100⟩, 2024Online academicJournalZugriff:
-
In: https://hal.sorbonne-universite.fr/hal-04401682 ; LIP6, Sorbonne Université, CNRS, UMR 7606. 2024, 2024Online reportZugriff:
-
In: Proceedings of the the IEEE Cluster Conference ; https://inria.hal.science/hal-03741013 ; Proceedings of the the IEEE Cluster Conference, Sep 2022, Heidelberg, Germany, 2022Online KonferenzZugriff:
-
In: Proceedings of the the IEEE Cluster Conference ; https://inria.hal.science/hal-03741013 ; Proceedings of the the IEEE Cluster Conference, Sep 2022, Heidelberg, Germany, 2022Online KonferenzZugriff:
-
In: CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing ; https://inria.hal.science/hal-03173410 ; CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, 2021Online KonferenzZugriff:
-
In: CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing ; https://inria.hal.science/hal-03173410 ; CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, 2021Online KonferenzZugriff:
-
In: CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing ; https://hal.inria.fr/hal-03173410 ; CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, 2021Online KonferenzZugriff:
-
In: CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing ; https://inria.hal.science/hal-02470128 ; CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, 2020Online KonferenzZugriff:
-
In: CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing ; https://hal.inria.fr/hal-02470128 ; CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, 2020Online KonferenzZugriff:
-
In: ISSN: 2041-6520, 2021Online academicJournalZugriff:
-
In: ISSN: 2041-6520, 2021Online academicJournalZugriff:
-
In: ISSN: 2041-6520, 2021Online academicJournalZugriff:
-
In: ISSN: 2041-6520, 2021Online academicJournalZugriff:
-
In: ISSN: 2041-6520, 2021Online academicJournalZugriff:
-
In: SSS 2023: Stabilization, Safety, and Security of Distributed Systems ; https://hal.sorbonne-universite.fr/hal-04232939 ; SSS 2023: Stabilization, 2023KonferenzZugriff:
-
In: Stabilization, Safety, and Security of Distributed Systems ; https://hal.sorbonne-universite.fr/hal-04232833 ; Stabilization, 2023KonferenzZugriff: