- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0452
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Redundancy in distributed proofs ; day:7 ; month:10 ; year:2020 ; pages:1-20
Distributed computing ; (7.10.2020), 1-20
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00446-020-00386-z
- URN
-
urn:nbn:de:101:1-2020112223105943513318
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Feuilloley, Laurent
- Fraigniaud, Pierre
- Hirvonen, Juho
- Paz, Ami
- Perry, Mor
- SpringerLink (Online service)
Ähnliche Objekte (12)
Redundancy in distributed proofs
Distributed redundancy in elastostatics for the design of adaptive structures
Distributed redundancy in elastostatics for the design of adaptive structures
Time redundancy
Efficiency in redundancy
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Synthetic proofs
Reusing Proofs
CRC (Cyclic Redundancy Check)
Non-clausal redundancy properties
Enhanced Robot Compliance, State Estimation and Identification using Distributed Tactile Feedback: Leveraging Redundancy and Multimodality
Redundancy in distributed proofs
Distributed redundancy in elastostatics for the design of adaptive structures
Distributed redundancy in elastostatics for the design of adaptive structures
Time redundancy
Efficiency in redundancy
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Synthetic proofs
Reusing Proofs
CRC (Cyclic Redundancy Check)
Non-clausal redundancy properties
Enhanced Robot Compliance, State Estimation and Identification using Distributed Tactile Feedback: Leveraging Redundancy and Multimodality
Redundancy in distributed proofs
Distributed redundancy in elastostatics for the design of adaptive structures
Distributed redundancy in elastostatics for the design of adaptive structures
Time redundancy
Efficiency in redundancy
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Synthetic proofs
Reusing Proofs
CRC (Cyclic Redundancy Check)
Non-clausal redundancy properties