Výsledky vyhľadávania - ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance

Automating the addition of fault tolerance with discrete controller synthesis

Autori: Girault, Alain Rutten, Eric Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) a ďalší

Prispievatelia: Girault, Alain Rutten, Eric Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) a ďalší

Zdroj: Formal Methods in System Design. 35:190-225

Predmety: ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], 0209 industrial biotechnology, 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, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, distributed, and parallel languages, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-00748687/file/main.pdf
https://inria.hal.science/hal-00748687v1
https://doi.org/10.1007/s10703-009-0084-y
https://inria.hal.science/hal-00748687v1/document

Intrinsic Fault Tolerance of Hopfield Model for Scheduling Technique in RSoC

Autori: Rajhans, Singh Chillet, Daniel Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN) a ďalší

Prispievatelia: Rajhans, Singh Chillet, Daniel Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN) a ďalší

Zdroj: International Conference on Neural Computing and Therory Application (NCTA 2014) ; https://inria.hal.science/hal-01097500 ; International Conference on Neural Computing and Therory Application (NCTA 2014), Oct 2014, Rome, Italy

Predmety: ACM: C.: Computer Systems Organization, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Geografické téma: Rome, Italy

Dostupnosť: https://inria.hal.science/hal-01097500

Throughput Optimal Total Order Broadcast for Cluster Environments 5

Autori: Rachid Guerraoui Ron R. Levy Bastian Pochon a ďalší

Prispievatelia: Rachid Guerraoui Ron R. Levy Bastian Pochon a ďalší

Zdroj: http://infoscience.epfl.ch/record/150248/files/a5-guerraoui.pdf?version%3D1.

Predmety: Categories and Subject Descriptors, C.2.1 [Computer-Communication Networks, Network Architecture and Design—Network communications, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol architecture, C.2.4 [Computer-Communication Networks, Distributed Systems—Network operating systems, D.4.4 [Operating Systems, Communications Management—Network communication, D.4.5 [Operating Systems, Reliability— Fault-tolerance, D.4.7 [Operating Systems, Organization and Design—Distributed systems General Terms, Algorithms, Performance, Reliability Additional Key Words and Phrases, software fault-tolerance, replication, total order broadcast, cluster computing ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.62

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.62
http://infoscience.epfl.ch/record/150248/files/a5-guerraoui.pdf?version%3D1

AdaFT: A Framework for Adaptive Fault Tolerance for Cyber-Physical Systems.

Autori: YE XU KOREN, ISRAEL KRISHNA, C. MANI

Zdroj: ACM Transactions on Embedded Computing Systems; Mar2017, Vol. 16 Issue 3, p1-25, 25p

Predmety: FAULT tolerance (Engineering), CYBER physical systems, REDUNDANCY in engineering, COMPUTER software, COMPUTER simulation

Robust Self-Stabilizing Clustering Algorithm

Autori: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) a ďalší

Prispievatelia: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) a ďalší

Zdroj: 10th International Conference Principles of Distributed Systems
https://inria.hal.science/inria-00158856
10th International Conference Principles of Distributed Systems, Dec 2006, Bordeaux, France. pp.410-424, ⟨10.1007/11945529_29⟩

Predmety: Self-stabilization, Distributed algorithm, Clustering, Ad hoc networking, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Geografické téma: Bordeaux, France

Dostupnosť: https://inria.hal.science/inria-00158856
https://doi.org/10.1007/11945529_29

Self-Stabilizing weight-based Clustering Algorithm for Ad hoc sensor Networks

Autori: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) a ďalší

Prispievatelia: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) a ďalší

Zdroj: Second International Workshop on Algorithmic Aspects of Wireless Sensor Networks ; https://inria.hal.science/inria-00158857 ; Second International Workshop on Algorithmic Aspects of Wireless Sensor Networks, Jun 2006, Venice, Italy. pp.83-94, ⟨10.1007/11963271_8⟩

Predmety: Self-stabilization, Distributed algorithm, Clustering, Sensor network, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.3: Network operating systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Venice, Italy

Time: Venice, Italy

Dostupnosť: https://inria.hal.science/inria-00158857
https://doi.org/10.1007/11963271_8

Optimal replica allocation for TTP/C based systems

Autori: Gaujal, Bruno Navet, Nicolas Real time and interoperability (TRIO) a ďalší

Prispievatelia: Gaujal, Bruno Navet, Nicolas Real time and interoperability (TRIO) a ďalší

Zdroj: 5th IFAC International Conference on Fieldbus Systems and their Applications - FeT'2003
https://inria.hal.science/inria-00107704
5th IFAC International Conference on Fieldbus Systems and their Applications - FeT'2003, 2003, Aveiro, Portugal. 8 p

Predmety: network reliability, systèmes temps réel, real-time systems, vehicles, fault tolerance, noisy channels, véhicules, tolérance aux fautes, transmission non-fiable, fiabilité réseau, ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.6: Real time, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geografické téma: Aveiro, Portugal

Dostupnosť: https://inria.hal.science/inria-00107704
https://inria.hal.science/inria-00107704/document
https://inria.hal.science/inria-00107704/file/FET2003_BG_NN.pdf

Synchronous byzantine agreement with nearly a cubic number of communication bits

Autori: Kowalski, Dariusz R. Mostefaoui, Achour Department of Computer Science Liverpool a ďalší

Prispievatelia: Kowalski, Dariusz R. Mostefaoui, Achour Department of Computer Science Liverpool a ďalší

Zdroj: ACM symposium on Principles of distributed computing (PODC'13) ; https://hal.science/hal-01151136 ; ACM symposium on Principles of distributed computing (PODC'13), Jul 2013, New-York, United States. pp.84-91, ⟨10.1145/2484239.2484271⟩

Predmety: Agreement problem, Synchronous distributed system, Byzantine process, Message-passing model, Round-based protocol, EIG, Consensus, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures/C.1.4.0: Distributed architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrency, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization, [INFO]Computer Science [cs], [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]

Geografické téma: New-York, United States

Dostupnosť: https://hal.science/hal-01151136
https://hal.science/hal-01151136v1/document
https://hal.science/hal-01151136v1/file/podc%20final.pdf
https://doi.org/10.1145/2484239.2484271

Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs.

Autori: Izosimov, Viacheslav Pop, Paul Eles, Petru a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; Sep2012, Vol. 11 Issue 3, p61:1-61:35, 35p

Predmety: COMPUTER scheduling, COMBINATORIAL optimization, FAULT-tolerant computing, EMBEDDED computer systems, TRANSPARENCY (Optics), PERFORMANCE evaluation, MULTIDISCIPLINARY design optimization

SoftRM: Self-Organized Fault-Tolerant Resource Management for Failure Detection and Recovery in NoC Based Many-Cores.

Autori: TSOUTSOURAS, VASILEIOS MASOUROS, DIMOSTHENIS XYDIS, SOTIRIOS a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; 2017 Special Issue, Vol. 16 Issue 5s, p1-19, 19p

Predmety: COMPUTING platforms, COMPUTER architecture, FAULT tolerance (Engineering), SYSTEMS design, FAULT-tolerant computing

Deterministic delta-Connected Overlay for Peer-to-Peer Networks

Autori: Datta, Ajoy Gradinariu, Maria Virgillito, Antonino a ďalší

Prispievatelia: Datta, Ajoy Gradinariu, Maria Virgillito, Antonino a ďalší

Zdroj: https://inria.hal.science/inria-00001188 ; [Research Report] PI 1739, 2006, pp.10.

Predmety: Connectivity, P2P overlays, fault tolerance, self-organization \\ Connectivité, tolerance aux fautes, auto-organisation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Relation: Report N°: PI 1739

Dostupnosť: https://inria.hal.science/inria-00001188
https://inria.hal.science/inria-00001188/document
https://inria.hal.science/inria-00001188/file/PI-1739.pdf

Proceedings of the 13th International Conference on Real-Time Systems (RTS'2005)

Autori: Navet, Nicolas Real time and interoperability (TRIO) INRIA Lorraine a ďalší

Prispievatelia: Navet, Nicolas Real time and interoperability (TRIO) INRIA Lorraine a ďalší

Zdroj: https://inria.hal.science/inria-00000559 ; Nicolas Navet. BIRP, pp.515, 2005.

Predmety: Real-Time systems, Scheduling, Modeling, Middleware, Fault-Tolerance, Operating Systems, Formal Methods, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.1: Process control systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.0: GENERAL/C.0.3: System architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [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-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Dostupnosť: https://inria.hal.science/inria-00000559

Software Fault Tolerance in Real-Time Systems: Identifying the Future Research Questions.

Autori: REGHENZANI, FEDERICO ZHISHAN GUO FORNACIARI, WILLIAM

Zdroj: ACM Computing Surveys; 2023 Suppl14s, Vol. 55, p1-30, 30p

Predmety: FAULT tolerance (Engineering), RESEARCH questions, CONSTRAINT satisfaction, FAULT currents, COMPUTER software

Reliability Versus Performance for Critical Applications

Autori: Girault, Alain Saule, Erik Trystram, Denis a ďalší

Prispievatelia: Girault, Alain Saule, Erik Trystram, Denis a ďalší

Zdroj: ISSN: 0743-7315.

Predmety: Multi-processor scheduling, Multi-objective optimization, Reliability, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance

Dostupnosť: https://inria.hal.science/hal-00753169
https://doi.org/10.1016/j.jpdc.2008.11.002

Scheduling of Real-Time Embedded Systems under Reliability and Power Constraints

Autori: Assayad, Ismail Girault, Alain Kalla, Hamoudi a ďalší

Prispievatelia: Assayad, Ismail Girault, Alain Kalla, Hamoudi a ďalší

Zdroj: International Conference on Complex Systems, ICCS'12 ; https://inria.hal.science/hal-00777723 ; International Conference on Complex Systems, ICCS'12, Nov 2012, Agadir, Morocco

Predmety: ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Geografické téma: Morocco

Time: Agadir, Morocco

Dostupnosť: https://inria.hal.science/hal-00777723
https://inria.hal.science/hal-00777723v1/document
https://inria.hal.science/hal-00777723v1/file/main-220.pdf

Methods for Fault Tolerance in Networks-on-Chip.

Autori: RADETZKI, MARTIN CHAOCHAO FENG XUEQIAN ZHAO a ďalší

Zdroj: ACM Computing Surveys; Oct2013, Vol. 46 Issue 1, p8:1-8:38, 38p, 9 Diagrams, 4 Charts, 2 Graphs

Predmety: MULTIPROCESSORS, MOORE'S law, FAULT tolerance (Engineering), COMPUTER networks, SCALABILITY

A Survey of Linguistic Structures for Application-Level Fault Tolerance.

Autori: De Florio, Vincenzo Blondia, Chris

Zdroj: ACM Computing Surveys; Apr2008, Vol. 40 Issue 2, p1-37, 37p, 13 Diagrams, 1 Chart

Predmety: APPLICATION software, FAULT-tolerant computing, FAULT tolerance (Engineering), COMPUTER software development, COMPUTER software quality control, SOFTWARE engineering

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems

Autori: Assayad, Ismail Girault, Alain Kalla, Hamoudi a ďalší

Prispievatelia: Assayad, Ismail Girault, Alain Kalla, Hamoudi a ďalší

Zdroj: ISSN: 1433-2779.

Predmety: Embedded systems, multicriteria optimization, reliability, power consumption, DVFS, multiprocessor scheduling, Pareto front, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Dostupnosť: https://inria.hal.science/hal-00923926
https://inria.hal.science/hal-00923926v1/document
https://inria.hal.science/hal-00923926v1/file/main.pdf
https://doi.org/10.1007/s10009-012-0263-9

A Leader Election Protocol for Eventually Synchronous Shared Memory Systems

Autori: Guerraoui, Rachid Raynal, Michel Ecole Polytechnique Fédérale de Lausanne (EPFL) a ďalší

Prispievatelia: Guerraoui, Rachid Raynal, Michel Ecole Polytechnique Fédérale de Lausanne (EPFL) a ďalší

Zdroj: https://inria.hal.science/inria-00000861 ; [Research Report] PI 1765, 2005, pp.10.

Predmety: Asynchronous system, Commodity disk, Consensus, Efficiency, Eventual synchrony, Fault-tolerance, Leader service, Paxos, Shared memory system, Storage area network \\ Systèmes asynchrones, Tolérance aux fautes, Crash de processus, Leader inéluctable, Mémoire partagée, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, ACM: B.: Hardware/B.3: MEMORY STRUCTURES, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1765

Dostupnosť: https://inria.hal.science/inria-00000861
https://inria.hal.science/inria-00000861/document
https://inria.hal.science/inria-00000861/file/PI-1765.pdf

COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS

Autori: Zammali, Amira de Bonneval, Agnan Crouzet, Yves a ďalší

Prispievatelia: Zammali, Amira de Bonneval, Agnan Crouzet, Yves a ďalší

Zdroj: Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th ; 34th Digital Avionics Systems Conference (DASC), 2015 ; https://hal.science/hal-01275304 ; 34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩

Predmety: Communication Integrity, Fault tolerance, Helicopters flight control systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geografické téma: PRAGUE, Czech Republic

Dostupnosť: https://hal.science/hal-01275304
https://hal.science/hal-01275304v1/document
https://hal.science/hal-01275304v1/file/ZAMMALI_DASC-34.pdf
https://doi.org/10.1109/DASC.2015.7311453