Search Results - "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

Authors: Girault, Alain Rutten, Eric Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) et al.

Contributors: Girault, Alain Rutten, Eric Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate

Authors: Girault, Alain Kalla, Hamoudi Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) et al.

Contributors: Girault, Alain Kalla, Hamoudi Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) et al.

Source: IEEE Transactions on Dependable and Secure Computing. 6:241-254

Subject Terms: Testing, availability, 02 engineering and technology, and Fault-Tolerance, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [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, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-00746768/file/main.pdf
https://inria.hal.science/hal-00746768v1

Reliability versus performance for critical applications

Authors: Girault, Alain Saule, Erik Trystram, Denis et al.

Contributors: Girault, Alain Saule, Erik Trystram, Denis et al.

Source: Journal of Parallel and Distributed Computing. 69:326-336

Subject Terms: Multi-processor scheduling, Testing, availability, 02 engineering and technology, Reliability, and Fault-Tolerance, Multi-objective optimization, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, 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, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability

Access URL: https://inria.hal.science/hal-00753169v1
https://doi.org/10.1016/j.jpdc.2008.11.002

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

Authors: Assayad, Ismail Girault, Alain Kalla, Hamoudi et al.

Contributors: Assayad, Ismail Girault, Alain Kalla, Hamoudi et al.

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

Subject Terms: 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

Subject Geographic: Morocco

Time: Agadir, Morocco

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

A statistical response-time analysis of real-time embedded systems

Authors: Yue, Lu Nolte, Thomas Bate, Ian et al.

Contributors: Yue, Lu Nolte, Thomas Bate, Ian et al.

Source: the 33rd IEEE Real-time Systems Symposium ; https://inria.hal.science/hal-00765983 ; the 33rd IEEE Real-time Systems Symposium, IEEE, 2012, San Juan, United States

Subject Terms: ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Subject Geographic: San Juan, United States

Availability: https://inria.hal.science/hal-00765983

Robust Self-Stabilizing Clustering Algorithm

Authors: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) et al.

Contributors: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) et al.

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Bordeaux, France

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

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

Authors: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) et al.

Contributors: Johnen, Colette Nguyen, Le Huy Laboratoire de Recherche en Informatique (LRI) et al.

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Venice, Italy

Time: Venice, Italy

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

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

Authors: Navet, Nicolas Real time and interoperability (TRIO) INRIA Lorraine et al.

Contributors: Navet, Nicolas Real time and interoperability (TRIO) INRIA Lorraine et al.

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

Subject Terms: 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]

Availability: https://inria.hal.science/inria-00000559