Testing Real-Time Systems With Runtime Enforcement

Συγγραφείς: Jean-Luc Bechennec, Sebastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel

Συνεισφορές: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Centre National de la Recherche Scientifique (CNRS), ESEO-TRAME (TRAME), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Université de Nantes (UN), École Centrale de Nantes (ECN)

Πηγή: IEEE Design & Test. 35:31-37

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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/

BlobCR: Virtual disk based checkpoint-restart for HPC applications on IaaS clouds

Συγγραφείς: Nicolae, Bogdan, Cappello, Franck

Συνεισφορές: Nicolae, Bogdan, IBM Research - Ireland, IBM, Joint Laboratory for Petascale Computing Illinois (JLPC), Institut National de Recherche en Informatique et en Automatique (Inria)-University of Illinois at Urbana-Champaign Urbana (UIUC), University of Illinois System-University of Illinois System, Argonne National Laboratory Lemont (ANL), Global parallel and distributed computing (GRAND-LARGE), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

Πηγή: Journal of Parallel and Distributed Computing. 73:698-711

Θεματικοί όροι: [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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hal.inria.fr/docs/00/85/79/64/PDF/paper.pdf
https://inria.hal.science/hal-00857964v1/document
https://inria.hal.science/hal-00857964v1
https://doi.org/10.1016/j.jpdc.2013.01.013

AI-Ckpt: Leveraging Memory Access Patterns for Adaptive Asynchronous Incremental Checkpointing

Συγγραφείς: Nicolae, Bogdan, Cappello, Franck

Συνεισφορές: Joint Laboratory for Petascale Computing Illinois (JLPC), Institut National de Recherche en Informatique et en Automatique (Inria)-University of Illinois at Urbana-Champaign Urbana (UIUC), University of Illinois System-University of Illinois System, Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Global parallel and distributed computing (GRAND-LARGE), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: 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⟩

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: New York, United States

Διαθεσιμότητα: https://inria.hal.science/hal-00809847
https://inria.hal.science/hal-00809847v1/document
https://inria.hal.science/hal-00809847v1/file/paper.pdf
https://doi.org/10.1145/2462902.2462918

Functional Package Management with Guix

Συγγραφείς: Courtès, Ludovic

Συνεισφορές: Chercheur indépendant

Πηγή: European Lisp Symposium ; https://hal.inria.fr/hal-00824004 ; European Lisp Symposium, Jun 2013, Madrid, Spain

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: 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

Διαθεσιμότητα: https://hal.inria.fr/hal-00824004
https://hal.inria.fr/hal-00824004/document
https://hal.inria.fr/hal-00824004/file/guix.pdf

Scalable Reed-Solomon-based Reliable Local Storage for HPC Applications on IaaS Clouds

Συγγραφείς: Bautista Gomez, Leonardo, Nicolae, Bogdan, Maruyama, Naoya, Cappello, Franck, Matsuoka, Satoshi

Συνεισφορές: Joint Laboratory for Petascale Computing Illinois (JLPC), Institut National de Recherche en Informatique et en Automatique (Inria)-University of Illinois at Urbana-Champaign Urbana (UIUC), University of Illinois System-University of Illinois System, Matsuoka Lab, Tokyo Institute of Technology Tokyo (TITECH), Global parallel and distributed computing (GRAND-LARGE), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: 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⟩

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Rhodes, Greece

Διαθεσιμότητα: https://inria.hal.science/hal-00703119
https://inria.hal.science/hal-00703119/document
https://inria.hal.science/hal-00703119/file/1569568223.pdf
https://doi.org/10.1007/978-3-642-32820-6_32

Parameterized Verification of Algorithms for Oblivious Robots on a Ring

Συγγραφείς: Sangnier, Arnaud, Sznajder, Nathalie, Potop-Butucaru, Maria, Tixeuil, Sébastien

Συνεισφορές: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Networks and Performance Analysis (NPA), Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Projet LIP6 SYNTAS, UPMC Sorbonne Universités

Πηγή: https://hal.sorbonne-universite.fr/hal-01540339 ; [Research Report] UPMC Sorbonne Universités. 2017.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://hal.sorbonne-universite.fr/hal-01540339
https://hal.sorbonne-universite.fr/hal-01540339v1/document
https://hal.sorbonne-universite.fr/hal-01540339v1/file/draft.pdf

Concurrent Geometric Multicasting

Συγγραφείς: Adamek, Jordan, Nesterenko, Mikhail, Robinson, James Scott, Tixeuil, Sébastien

Συνεισφορές: Department of computer science, Kent State University, Networks and Performance Analysis (NPA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT), UPMC Sorbonne Universités, ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016)

Πηγή: https://hal.sorbonne-universite.fr/hal-01540744 ; [Research Report] UPMC Sorbonne Universités. 2017.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://hal.sorbonne-universite.fr/hal-01540744
https://hal.sorbonne-universite.fr/hal-01540744v1/document
https://hal.sorbonne-universite.fr/hal-01540744v1/file/multicasting.pdf

Reed Solomon Codes On Graph for DVB-SH Streaming Services

Συγγραφείς: Alloum, Amira, Sayadi, Bessem, Roca, Vincent

Συνεισφορές: Alcatel Lucent Bell Labs, ALCATEL, Protocols and applications for the Internet (PLANETE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria), SelfNet contract

Πηγή: Wireless World Research Forum (WWRF'09) ; https://inria.hal.science/inria-00390693 ; Wireless World Research Forum (WWRF'09), May 2009, Paris, France

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Paris, France

Διαθεσιμότητα: https://inria.hal.science/inria-00390693
https://inria.hal.science/inria-00390693v1/document
https://inria.hal.science/inria-00390693v1/file/wwrf09_final_alloum.pdf

Optimizing the Error Recovery Capabilities of LDPC-staircase Codes Featuring a Gaussian Elimination Decoding Scheme

Συγγραφείς: Cunche, Mathieu, Roca, Vincent

Συνεισφορές: Protocols and applications for the Internet (PLANETE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria), ESA, ANR-06-TCOM-0019,CAPRI/FEC,Design and Analysis of Application-Level Forward Error Correction (AL-FEC) Codes and Application to Mobile Communications(2006)

Πηγή: 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, Greece

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Rhodes Island, Greece

Διαθεσιμότητα: https://inria.hal.science/inria-00291656
https://inria.hal.science/inria-00291656v1/document
https://inria.hal.science/inria-00291656v1/file/spsc08_ldpc_staircase_with_ge.pdf

Atomic Object Factory: Efficient, Consistent and Dependable Support for Distributed Objects

Συγγραφείς: Sutra, Pierre, Rivière, Etienne, Cotes, Cristian, Sánchez Artigas, Marc, Garcia Lopez, Pedro, Bernard, Emmanuel, Burns, William, Zamarreño, Galder

Συνεισφορές: Télécom SudParis (TSP), Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris), Université de Neuchâtel = University of Neuchatel (UNINE), University Rovira i virgili = Universidad Rovira y Virgili = Universitat Rovira i Virgili (URV), Red Hat Inc., Télécom SudParis, Université de Neuchâtel, Universitat Rovira i Virgili, Red Hat, European Project: 318809,FP7-ICT-2011-8,FP7-ICT-2011-8,LEADS(2012), European Project: 644182,H2020-ICT-2014,H2020-ICT-2014-1,IOSTACK(2015)

Πηγή: https://inria.hal.science/hal-01318706 ; [Research Report] Télécom SudParis; Université de Neuchâtel; Universitat Rovira i Virgili; Red Hat. 2016.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/hal-01318706
https://inria.hal.science/hal-01318706v1/document
https://inria.hal.science/hal-01318706v1/file/paper.pdf

Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems ; Mémoire partagée fiable dans les systèmes asynchrones avec processus Byzantins

Συγγραφείς: Mostefaoui, Achour, Petrolia, Matoula, Raynal, Michel, Jard, Claude

Συνεισφορές: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ASAP INRIA de Rennes

Πηγή: https://inria.hal.science/hal-01238765 ; 2015.

Θεματικοί όροι: 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]

Διαθεσιμότητα: https://inria.hal.science/hal-01238765
https://inria.hal.science/hal-01238765/document
https://inria.hal.science/hal-01238765/file/RR-2028-SeqNb-Byz-memmory.pdf

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots

Συγγραφείς: Courtieu, Pierre, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier

Συνεισφορές: Programming languages, types, compilation and proofs (GALLIUM), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers Cnam (Cnam), Collège de France (CdF (institution)), Networks and Performance Analysis (NPA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), UPMC, Sorbonne Universites CNRS, CNAM, Paris, College de France, Université Paris Sud, PACTOLE

Πηγή: https://hal.sorbonne-universite.fr/hal-01159890 ; [Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://hal.sorbonne-universite.fr/hal-01159890
https://hal.sorbonne-universite.fr/hal-01159890v1/document
https://hal.sorbonne-universite.fr/hal-01159890v1/file/hal.pdf

Adding Integrity Verification Capabilities to the LDPC-Staircase Erasure Correction Codes

Συγγραφείς: Cunche, Mathieu, Roca, Vincent

Συνεισφορές: Protocols and applications for the Internet (PLANETE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-06-TCOM-0019,CAPRI/FEC,Design and Analysis of Application-Level Forward Error Correction (AL-FEC) Codes and Application to Mobile Communications(2006)

Πηγή: https://inria.hal.science/inria-00379155 ; 2009.

Θεματικοί όροι: 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]

Διαθεσιμότητα: https://inria.hal.science/inria-00379155
https://inria.hal.science/inria-00379155v1/document
https://inria.hal.science/inria-00379155v1/file/verifec_globecom09_v0.06.pdf

A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems

Συγγραφείς: Bonnet, François, Raynal, Michel

Συνεισφορές: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

Πηγή: https://inria.hal.science/inria-00392450 ; [Research Report] PI 1932, 2009, pp.8.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/inria-00392450
https://inria.hal.science/inria-00392450/document
https://inria.hal.science/inria-00392450/file/PI-1932.pdf

Ideal Stabilization

Συγγραφείς: Nesterenko, Mikhail, Tixeuil, Sébastien

Συνεισφορές: Department of computer science, Kent State University, Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), ANR

Πηγή: https://hal.inria.fr/inria-00394118 ; [Research Report] 2009, pp.15.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://hal.inria.fr/inria-00394118
https://hal.inria.fr/inria-00394118/document
https://hal.inria.fr/inria-00394118/file/ideal.pdf

Message Quality for Ambient System Security

Συγγραφείς: Bryce, Ciaran

Συνεισφορές: Ambient computing and embedded systems (ACES), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: https://inria.hal.science/inria-00300400 ; [Research Report] PI 1896, 2008, pp.20.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/inria-00300400
https://inria.hal.science/inria-00300400/document
https://inria.hal.science/inria-00300400/file/PI-1896.pdf

Java Components Vulnerabilities - An Experimental Classification Targeted at the OSGi Platform

Συγγραφείς: Parrend, Pierre, Frénot, Stéphane

Συνεισφορές: Architectures of networks of services (ARES), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Muse IST Project n°026442, INRIA

Πηγή: https://inria.hal.science/inria-00157341 ; [Research Report] RR-6231, INRIA. 2007, pp.84.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/inria-00157341
https://inria.hal.science/inria-00157341v4/document
https://inria.hal.science/inria-00157341v4/file/RR-6231.pdf

From an intermittent rotating star to a leader

Συγγραφείς: Fernández, Antonio, Raynal, Michel

Συνεισφορές: Laboratorio de Algoritmia Distribuida y Redes (LADyR), Universidad Rey Juan Carlos = Rey Juan Carlos University (URJC), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: https://inria.hal.science/inria-00089975 ; [Research Report] PI 1810, 2006, pp.19.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/inria-00089975
https://inria.hal.science/inria-00089975/document
https://inria.hal.science/inria-00089975/file/PI-1810.pdf

Increasing Data Resilience of Mobile Devices with a Collaborative Backup Service

Συγγραφείς: Martin-Guillerez, Damien, Banâtre, Michel, Couderc, Paul

Συνεισφορές: Ambient computing and embedded systems (ACES), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: https://inria.hal.science/inria-00111161 ; [Research Report] PI 1825, 2006, pp.16.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/inria-00111161
https://inria.hal.science/inria-00111161/document
https://inria.hal.science/inria-00111161/file/PI-1825.pdf

In search of the holy grail: Looking for the weakest failure detector for wait-free set agreement

Συγγραφείς: Raynal, Michel, Travers, Corentin

Συνεισφορές: Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: https://inria.hal.science/inria-00089977 ; [Research Report] PI 1811, 2006, pp.14.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://inria.hal.science/inria-00089977
https://inria.hal.science/inria-00089977/document
https://inria.hal.science/inria-00089977/file/PI-1811.pdf