Výsledky vyhledávání - "ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: IEEE Design & Test. 35:31-37
Témata: formal methods, real-time testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, model-based testing, real-time systems, runtime enforcement, parametric timed model, 13. Climate action, RTOS, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01713193/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf
https://hal.archives-ouvertes.fr/hal-01713193/document
https://doi.org/10.1109/MDAT.2018.2791801
https://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18
https://hal.archives-ouvertes.fr/hal-01713193
http://doi.org/10.1109/MDAT.2018.2791801
https://ieeexplore.ieee.org/document/8253506/ -
2
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Parallel and Distributed Computing. 73:698-711
Témata: [INFO.INFO-DC]Computer Science [cs]/Distributed, IaaS clouds, virtual disk snapshots, 02 engineering and technology, checkpoint-restart, Parallel, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, high performance computing, and Cluster Computing [cs.DC], rollback of file system changes, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, fault tolerance
Popis souboru: application/pdf
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: HPDC '13: 22th International ACM Symposium on High-Performance Parallel and Distributed Computing ; https://inria.hal.science/hal-00809847 ; HPDC '13: 22th International ACM Symposium on High-Performance Parallel and Distributed Computing, Jun 2013, New York, United States. pp.155-166, ⟨10.1145/2462902.2462918⟩
Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Geografické téma: New York, United States
-
4
Autoři:
Přispěvatelé:
Zdroj: European Lisp Symposium ; https://hal.inria.fr/hal-00824004 ; European Lisp Symposium, Jun 2013, Madrid, Spain
Témata: Package management, Functional programming, Scheme, Embedded domain-specific language, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.9: Systems Programs and Utilities, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: Spain
Time: Madrid, Spain
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1305.4584; hal-00824004; https://hal.inria.fr/hal-00824004; https://hal.inria.fr/hal-00824004/document; https://hal.inria.fr/hal-00824004/file/guix.pdf; ARXIV: 1305.4584
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: Euro-Par '12: 18th International Euro-Par Conference on Parallel Processing ; https://inria.hal.science/hal-00703119 ; Euro-Par '12: 18th International Euro-Par Conference on Parallel Processing, Aug 2012, Rhodes, Greece. pp.313-324, ⟨10.1007/978-3-642-32820-6_32⟩
Témata: Cloud computing, IaaS, storage systems, virtual disk resilience, erasure codes, Reed Solomon, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.sorbonne-universite.fr/hal-01540339 ; [Research Report] UPMC Sorbonne Universités. 2017.
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols/C.2.2.2: Protocol verification, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1706.05193; ARXIV: 1706.05193
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.sorbonne-universite.fr/hal-01540744 ; [Research Report] UPMC Sorbonne Universités. 2017.
Témata: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1706.05263; ARXIV: 1706.05263
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: Wireless World Research Forum (WWRF'09) ; https://inria.hal.science/inria-00390693 ; Wireless World Research Forum (WWRF'09), May 2009, Paris, France
Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: E.: Data/E.4: CODING AND INFORMATION THEORY/E.4.1: Error control codes, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: 10th IEEE International Workshop on Signal Processing for Space Communications (SPSC'2008)
https://inria.hal.science/inria-00291656
10th IEEE International Workshop on Signal Processing for Space Communications (SPSC'2008), Oct 2008, Rhodes Island, GreeceTémata: hybrid iterative decoding/Gaussian elimination, LDPC-staircase, erasure channel, AL-FEC codes, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]
Geografické téma: Rhodes Island, Greece
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-01318706 ; [Research Report] Télécom SudParis; Université de Neuchâtel; Universitat Rovira i Virgili; Red Hat. 2016.
Témata: Language support, Dependability, Distributed Objects, Composability, Listenable Key-Value Store, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO]Computer Science [cs], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: info:eu-repo/grantAgreement//318809/EU/LEADS: Large-Scale Elastic Architecture for Data as a Service/LEADS; info:eu-repo/grantAgreement//644182/EU/Software Defined Storage for Big Data/IOSTACK
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-01238765 ; 2015.
Témata: Reliable broadcast abstraction, Linearizability, Byzantine process, Asynchronous message-passing system, Atomic read/write register, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management, [INFO]Computer Science [cs]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.sorbonne-universite.fr/hal-01159890 ; [Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015.
Témata: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, 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, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.01603; ARXIV: 1506.01603
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00379155 ; 2009.
Témata: ACM: D.: Software, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00392450 ; [Research Report] PI 1932, 2009, pp.8.
Témata: Asynchronous message-passing system, Atomic register, Necessity proof, Process crash, Weakest failure detector, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: Report N°: PI 1932
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/inria-00394118 ; [Research Report] 2009, pp.15.
Témata: Self-stabilization, Distributed algorithm, specification, safety, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0906.1947; inria-00394118; https://hal.inria.fr/inria-00394118; https://hal.inria.fr/inria-00394118/document; https://hal.inria.fr/inria-00394118/file/ideal.pdf; ARXIV: 0906.1947
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00300400 ; [Research Report] PI 1896, 2008, pp.20.
Témata: Security, ambient systems, trust, programming model, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: Report N°: PI 1896
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00157341 ; [Research Report] RR-6231, INRIA. 2007, pp.84.
Témata: OSGi Platform, Security, Dependability, Java, Hardened Execution Platform, Vulnerability Catalog, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0706.3812; ARXIV: 0706.3812
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00089975 ; [Research Report] PI 1810, 2006, pp.19.
Témata: Systèmes répartis asynchrones, Tolérance aux fautes, Crash de processus, Oracle oméga, Détection de fautes, Leader inéluctable, Synchronie partielle\\ Assumption coverage, Asynchronous system, Distributed algorithm, Eventual $t$-source, Eventual leader, Failure detector, Fault-tolerance, Message pattern, Moving source, Omega, Partial synchrony, Process crash, System model, Timely link, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
Relation: Report N°: PI 1810
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00111161 ; [Research Report] PI 1825, 2006, pp.16.
Témata: Data resilience, mobile computing, collaboration, backup, sensor networks, mobile ad~hoc networks, data MULEs, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing
Relation: Report N°: PI 1825
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00089977 ; [Research Report] PI 1811, 2006, pp.14.
Témata: Asynchronous algorithm, Asynchronous system, Atomic register, Consensus, Leader oracle, Participating process, Set agreement, Shared object, Wait-free algorithm \\ Algorithme asynchrone, Registre atomique, Oracle leader, Processus participant, Accord ensembliste, Object partagé, algorithme sans attente, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: Report N°: PI 1811
Full Text Finder 
Nájsť tento článok vo Web of Science