Efficient optimization of large probabilistic models

Συγγραφείς: Struck, Simon, Güdemann, Matthias, Ortmeier, Frank

Συνεισφορές: Mateescu, Radu, CSE, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University Magdeburg (OVGU), Construction of verified concurrent systems (CONVECS), 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)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: Journal of Systems and Software. 86:2488-2501

Θεματικοί όροι: availability, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 01 natural sciences, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation

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

Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-00816636/file/Struck-Gudemann-Ortmeier-13.pdf
https://inria.hal.science/hal-00816636v1
https://inria.hal.science/hal-00816636v1/document
https://doi.org/10.1016/j.jss.2013.03.078
https://hal.inria.fr/hal-00816636
https://www.sciencedirect.com/science/article/pii/S0164121213000770
http://dblp.uni-trier.de/db/journals/jss/jss86.html#StruckGO13
https://hal.inria.fr/hal-00816636/document
https://dblp.uni-trier.de/db/journals/jss/jss86.html#StruckGO13

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems: The TSH tricriteria scheduling heuristic

Συγγραφείς: Assayad, Ismail, Girault, Alain, Kalla, Hamoudi

Συνεισφορές: Girault, Alain, Ecole Nationale Supérieure d'Electricité et de Mécanique Casablanca (ENSEM), Université Hassan II de Casablanca = University of Hassan II Casablanca = جامعة الحسن الثاني (ar) (UH2C), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), 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)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Hadj Lakhdar Batna 1

Πηγή: International Journal on Software Tools for Technology Transfer. 15:229-245

Θεματικοί όροι: reliability, Embedded systems, multiprocessor scheduling, Testing, availability, power consumption, 02 engineering and technology, Pareto front, 7. Clean energy, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, and Fault-Tolerance, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, multicriteria optimization, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, DVFS

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

Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-00923926/file/main.pdf
https://inria.hal.science/hal-00923926v1
https://doi.org/10.1007/s10009-012-0263-9
https://inria.hal.science/hal-00923926v1/document

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

Συγγραφείς: Girault, Alain, Kalla, Hamoudi

Συνεισφορές: Girault, Alain, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), 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)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Hadj Lakhdar Batna 1

Πηγή: IEEE Transactions on Dependable and Secure Computing. 6:241-254

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

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

Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-00746768/file/main.pdf
https://inria.hal.science/hal-00746768v1

Reliability versus performance for critical applications

Συγγραφείς: Girault, Alain, Saule, Erik, Trystram, Denis

Συνεισφορές: Girault, Alain, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), 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)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), PrograMming and scheduling design fOr Applications in Interactive Simulation (MOAIS), 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.)

Πηγή: Journal of Parallel and Distributed Computing. 69:326-336

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

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

Συγγραφείς: Assayad, Ismail, Girault, Alain, Kalla, Hamoudi

Συνεισφορές: Ecole Nationale Supérieure d'Electricité et de Mécanique Casablanca (ENSEM), Université Hassan II Casablanca (UH2MC), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Hadj Lakhdar Batna 1

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

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

Θέμα γεωγραφικό: Morocco

Time: Agadir, Morocco

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

Computing the throughput of probabilistic and replicated streaming applications

Συγγραφείς: Benoit, Anne, Dufossé, Fanny, Gallet, Matthieu, Gaujal, Bruno, Robert, Yves

Συνεισφορές: Legrand, Arnaud, Gallet, Matthieu, Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL), 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)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Middleware efficiently scalable (MESCAL), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA

Πηγή: Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures. :166-175

Θεματικοί όροι: [INFO.INFO-DC]Computer Science [cs]/Distributed, replication, Scheduling, availability, probabilistic streaming applications, 02 engineering and technology, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, and serviceability, throughput, timed Petri nets

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

Σύνδεσμος πρόσβασης: http://graal.ens-lyon.fr/~yrobert/onlinepapers/RRLIP2010-03.pdf
https://inria.hal.science/inria-00452424v1
https://link.springer.com/article/10.1007/s00453-013-9768-1
https://dblp.uni-trier.de/db/conf/spaa/spaa2010.html#BenoitDGRG10
http://graal.ens-lyon.fr/~yrobert/onlinepapers/RR-INRIA-7510.pdf
https://hal.inria.fr/inria-00555890/document
https://link.springer.com/content/pdf/10.1007%2Fs00453-013-9768-1.pdf
https://hal.archives-ouvertes.fr/inria-00452424/en/

Design of automotive X-by-Wire systems

Συγγραφείς: Wilwert, Cédric, Navet, Nicolas, Song, Ye-Qiong, Simonot-Lion, Françoise

Συνεισφορές: PSA Peugeot - Citroën (PSA), PSA Peugeot Citroën (PSA), Real time and interoperability (TRIO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Richard Zurawski

Πηγή: The Industrial Communication Technology Handbook ; https://inria.hal.science/inria-00000562 ; Richard Zurawski. The Industrial Communication Technology Handbook, CRC Press, 2005, 0849330777

Θεματικοί όροι: Networks, Fieldbuses, Real-Time Systems, In-vehicle Embedded Systems, Middlewares, Dependability, X-by-Wire, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.6: Real time, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

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

Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem

Συγγραφείς: Girault, Alain, Kalla, Hamoudi

Συνεισφορές: Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA

Πηγή: https://inria.hal.science/inria-00177117 ; [Research Report] RR-6319, INRIA. 2007, pp.36.

Θεματικοί όροι: reliability block diagrams, Bicriteria optimization, reliability, Pareto optima, static multiprocessor scheduling, 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: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.4: Heuristic methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Διαθεσιμότητα: https://inria.hal.science/inria-00177117
https://inria.hal.science/inria-00177117v2/document
https://inria.hal.science/inria-00177117v2/file/RR-6319.pdf

Monitoring Service Choreographies from Multiple Sources

Συγγραφείς: Ben Hamida, Amira, Bertolino, Antonia, Calabrò, Antonello, De Angelis, Guglielmo, Lago, Nelson, Lesbegueries, Julien

Συνεισφορές: Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI), Consiglio Nazionale delle Ricerche Roma (CNR), Department of Computer Science (USP), University of São Paulo (USP), Paris Avgeriou, European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010)

Πηγή: SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems ; https://hal.inria.fr/hal-00741684 ; SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems, Paris Avgeriou, Sep 2012, Pisa, Italy. pp.134-149, ⟨10.1007/978-3-642-33176-3_10⟩

Θεματικοί όροι: Monitoring, Choreographies, Complex Event Processing, SOA, SLA, QoS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], manag, edu

Θέμα γεωγραφικό: Pisa, Italy

Relation: https://hal.inria.fr/hal-00741684

Διαθεσιμότητα: https://hal.inria.fr/hal-00741684

Robust Self-Stabilizing Clustering Algorithm

Συγγραφείς: Johnen, Colette, Nguyen, Le Huy

Συνεισφορές: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ACI securité Fragile, Alexander A. Shvartsman

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

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

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

Διαθεσιμότητα: https://inria.hal.science/inria-00158856
https://doi.org/10.1007/11945529_29

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

Συγγραφείς: Navet, Nicolas

Συνεισφορές: Real time and interoperability (TRIO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Nicolas Navet

Πηγή: https://inria.hal.science/inria-00000559 ; Nicolas Navet. BIRP, pp.515, 2005.

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

Διαθεσιμότητα: https://inria.hal.science/inria-00000559