Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 84 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 76 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 35 Treffer
- [info.info-mc]computer science [cs]/mobile computing 24 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 23 Treffer
-
45 weitere Werte:
- [info.info-iu]computer science [cs]/ubiquitous computing 22 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 16 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 15 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 14 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 13 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 12 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 12 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 11 Treffer
- [info]computer science [cs] 11 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 10 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 9 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 9 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability/d.4.5.2: fault-tolerance 9 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.1: computations on discrete structures 6 Treffer
- acm: f.: theory of computation 5 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 5 Treffer
- acm: d.: software/d.4: operating systems/d.4.4: communications management/d.4.4.3: network communication 4 Treffer
- bitcoin 4 Treffer
- formalization 4 Treffer
- register 4 Treffer
- regularity 4 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 3 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems/c.2.4.1: distributed applications 3 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.0: complexity of proof procedures 3 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.2: geometrical problems and computations 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.3: mechanical verification 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.3: studies of program constructs/f.3.3.4: type structure 3 Treffer
- broadcast 3 Treffer
- byzantine failures 3 Treffer
- distributed computing 3 Treffer
- exploration 3 Treffer
- fault tolerance 3 Treffer
- multicast 3 Treffer
- networks 3 Treffer
- protocol 3 Treffer
- robot 3 Treffer
- self-stabilization 3 Treffer
- torus 3 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 2 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 2 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.1: network architecture and design 2 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.2: network protocols 2 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 2 Treffer
- acm: d.: software/d.4: operating systems/d.4.4: communications management 2 Treffer
- acm: d.: software/d.4: operating systems/d.4.7: organization and design 2 Treffer
Publikation
- 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
- 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
- opodis 2010 - 14th international conference on principles of distributed systems ; https://inria.hal.science/inria-00627771 ; opodis 2010 - 14th international conference on principles of distributed systems, dec 2010, tozeur, tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩ 3 Treffer
- international symposium on stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-00934161 ; international symposium on stabilization, safety, and security of distributed systems, oct 2012, toronto, canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩ 1 Treffer
Sprache
Geographischer Bezug
156 Treffer
-
In: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems ; SSS 2017 - 19th International Symposium on Stabilization, 2017Online KonferenzZugriff:
-
In: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems ; SSS 2017 - 19th International Symposium on Stabilization, 2017Online KonferenzZugriff:
-
In: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems ; SSS 2017 - 19th International Symposium on Stabilization, 2017Online KonferenzZugriff:
-
In: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems ; SSS 2017 - 19th International Symposium on Stabilization, 2017Online KonferenzZugriff:
-
In: NETYS 2015 - Third International Conference on Networked Systems ; https://inria.hal.science/hal-00926573 ; NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩, 2015Online KonferenzZugriff:
-
In: NETYS 2015 - Third International Conference on Networked Systems ; https://inria.hal.science/hal-00926573 ; NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩, 2015Online KonferenzZugriff:
-
In: NETYS 2015 - Third International Conference on Networked Systems ; https://hal.inria.fr/hal-00926573 ; NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩, 2015Online KonferenzZugriff:
-
In: 21st European Symposium on Algorithms (ESA 2013) ; https://hal.science/hal-00845530 ; 21st European Symposium on Algorithms (ESA 2013), Sep 2013, Sophia Antipolis, France. pp.181-192, ⟨10.1007/978-3-642-40450-4_16⟩, 2013Online KonferenzZugriff:
-
In: 21st European Symposium on Algorithms (ESA 2013) ; https://hal.science/hal-00845530 ; 21st European Symposium on Algorithms (ESA 2013), Sep 2013, Sophia Antipolis, France. pp.181-192, ⟨10.1007/978-3-642-40450-4_16⟩, 2013Online KonferenzZugriff:
-
In: 21st European Symposium on Algorithms (ESA 2013) ; https://hal.science/hal-00845530 ; 21st European Symposium on Algorithms (ESA 2013), Sep 2013, Sophia Antipolis, France. pp.181-192, ⟨10.1007/978-3-642-40450-4_16⟩, 2013Online KonferenzZugriff:
-
In: 21st European Symposium on Algorithms (ESA 2013) ; https://hal.science/hal-00845530 ; 21st European Symposium on Algorithms (ESA 2013), Sep 2013, Sophia Antipolis, France. pp.181-192, ⟨10.1007/978-3-642-40450-4_16⟩, 2013Online KonferenzZugriff:
-
In: International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-00742655 ; International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩, 2013Online KonferenzZugriff:
-
In: 21st European Symposium on Algorithms (ESA 2013) ; https://hal.science/hal-00845530 ; 21st European Symposium on Algorithms (ESA 2013), Sep 2013, Sophia Antipolis, France. pp.181-192, ⟨10.1007/978-3-642-40450-4_16⟩, 2013Online KonferenzZugriff:
-
In: 21st European Symposium on Algorithms (ESA 2013) ; https://hal.archives-ouvertes.fr/hal-00845530 ; 21st European Symposium on Algorithms (ESA 2013), Sep 2013, Sophia Antipolis, France. pp.181-192, ⟨10.1007/978-3-642-40450-4_16⟩, 2013Online KonferenzZugriff:
-
In: International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-00742655 ; International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩, 2013Online KonferenzZugriff:
-
In: International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-00742655 ; International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩, 2013Online KonferenzZugriff:
-
In: DISC 2012 - 26th International Symposium on Distributed Computing ; https://inria.hal.science/hal-00741982 ; DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.403-404, ⟨10.1007/978-3-642-33651-5_29⟩, 2012Online KonferenzZugriff:
-
In: DISC 2012 - 26th International Symposium on Distributed Computing ; https://inria.hal.science/hal-00741982 ; DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.403-404, ⟨10.1007/978-3-642-33651-5_29⟩, 2012Online KonferenzZugriff:
-
In: DISC 2012 - 26th International Symposium on Distributed Computing ; https://inria.hal.science/hal-00741982 ; DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.403-404, ⟨10.1007/978-3-642-33651-5_29⟩, 2012Online KonferenzZugriff:
-
In: DISC 2012 - 26th International Symposium on Distributed Computing ; https://inria.hal.science/hal-00741982 ; DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.403-404, ⟨10.1007/978-3-642-33651-5_29⟩, 2012Online KonferenzZugriff: