Search Results - acm: d.: software/d.4: operating system/d.4.5: reliability

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Authors: Okunola, Abiodun

From an intermittent rotating star to a leader

Authors: Fernández, Antonio Raynal, Michel Laboratorio de Algoritmia Distribuida y Redes (LADyR) et al.

Contributors: Fernández, Antonio Raynal, Michel Laboratorio de Algoritmia Distribuida y Redes (LADyR) et al.

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

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

Availability: https://inria.hal.science/inria-00089975
https://inria.hal.science/inria-00089975/document
https://inria.hal.science/inria-00089975/file/PI-1810.pdf

Multi-layer software reliability for unreliable hardware.

Authors: Shafique, Muhammad Axer, Philip Borchert, Christoph et al.

Source: IT: Information Technology; Jun2015, Vol. 57 Issue 3, p170-180, 11p

Subject Terms: SOFTWARE reliability, PROGRAMMING languages, COMPUTER operating systems, COMPILERS (Computer programs), COMPUTER reliability

Testing real-time systems with runtime enforcement

Authors: Béchennec, Jean-Luc Brun, Matthias Faucou, Sébastien et al.

Contributors: Béchennec, Jean-Luc Brun, Matthias Faucou, Sébastien et al.

Source: ISSN: 2168-2356 ; IEEE Design & Test ; https://hal.science/hal-01713193 ; IEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩.

Subject Terms: real-time systems, parametric timed model, model-based testing, RTOS, formal methods, real-time testing, runtime enforcement, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Availability: https://hal.science/hal-01713193
https://hal.science/hal-01713193v1/document
https://hal.science/hal-01713193v1/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf
https://doi.org/10.1109/MDAT.2018.2791801

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

Authors: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) et al.

Contributors: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) et al.

Source: https://inria.hal.science/inria-00379155 ; 2009.

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

Availability: 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

Efficient Testing of Recovery Code Using Fault Injection 11:37

Authors: Paul D. Marinescu George Candea The Pennsylvania State University CiteSeerX Archives

Contributors: Paul D. Marinescu George Candea The Pennsylvania State University CiteSeerX Archives

Source: http://dslab.epfl.ch/pubs/faultInjection.pdf.

Subject Terms: Categories and Subject Descriptors, D.4.5 [Operating Systems, Reliability—Fault-tolerance, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Reliability Additional Key Words and Phrases, Fault injection, automated testing ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.9452; http://dslab.epfl.ch/pubs/faultInjection.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.9452
http://dslab.epfl.ch/pubs/faultInjection.pdf

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property

Authors: Blin, Lélia Potop-Butucaru, Maria Rovedakis, Stephane et al.

Contributors: Blin, Lélia Potop-Butucaru, Maria Rovedakis, Stephane et al.

Source: ISSN: 0010-4620.

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, 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: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0905.2287; ARXIV: 0905.2287

Availability: https://hal.sorbonne-universite.fr/hal-01269828
https://doi.org/10.1093/comjnl/bxv110

Membrane: Operating System Support for Restartable File Systems.

Authors: SUNDARARAMAN, SWAMINATHAN SUBRAMANIAN, SRIRAM RAJIMWALE, ABHISHEK et al.

Source: ACM Transactions on Storage; 2010, Vol. 6 Issue 3, p11-11:30, 30p, 4 Diagrams, 9 Charts, 1 Graph

Subject Terms: COMPUTER operating systems, ELECTRONIC file management, RELIABILITY in engineering, FAULT-tolerant computing, ROBUST control, ALGORITHMS, LINE drivers (Integrated circuits), DATABASES

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

Authors: Sutra, Pierre Rivière, Etienne Cotes, Cristian et al.

Contributors: Sutra, Pierre Rivière, Etienne Cotes, Cristian et al.

Source: [Research Report] Télécom SudParis; Université de Neuchâtel; Universitat Rovira i Virgili; Red Hat. 2016

Subject Terms: ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software, Distributed Objects, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Dependability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Composability, Language support, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Listenable Key-Value Store

Access URL: https://inria.hal.science/hal-01318706v1/document
https://inria.hal.science/hal-01318706
https://inria.hal.science/hal-01318706v1/file/paper.pdf

Reliable Operating Systems: Overview and Techniques.

Authors: Ahmed, Mohamed F. Gokhale, Swapna S.

Source: IETE Technical Review; 2009, Vol. 26 Issue 6, p461-469, 9p, 4 Diagrams

Subject Terms: COMPUTER operating systems, RELIABILITY in engineering, COMPUTER systems, BEST practices, DRAWBACKS (Tariffs), COMPUTER science, COMPUTER architecture, COMPUTER software development, COMPUTER programming

Component-Based Real-Time Operating System for Embedded Applications

Authors: Loiret, Frédéric Navas, Juan Babau, Jean-Philippe et al.

Contributors: Loiret, Frédéric Navas, Juan Babau, Jean-Philippe et al.

Source: 12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09)
https://inria.hal.science/inria-00437949
12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Subject Geographic: East Stroudsburg, United States

Availability: https://inria.hal.science/inria-00437949
https://inria.hal.science/inria-00437949v1/document
https://inria.hal.science/inria-00437949v1/file/Loiret_Navas_Babau_Lobry-CBSE09.pdf

SyRA: Early System Reliability Analysis for Cross-Layer Soft Errors Resilience in Memory Arrays of Microprocessor Systems.

Authors: Vallero, A. Savino, A. Chatzidimitriou, A. et al.

Source: IEEE Transactions on Computers; May2019, Vol. 68 Issue 5, p765-783, 19p

Subject Terms: MICROPROCESSORS, SOFT errors, RELIABILITY in engineering, SYSTEM analysis, LINUX operating systems, SOFT X rays, MICROPROCESSOR design & construction

Company/Entity: INTEL Corp.

Towards Continuous Software Reliability Testing in DevOps

Authors: Roberto Pietrantuono Antonia Bertolino Guglielmo De Angelis et al.

Source: 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST), pp. 21–27, Montreal, QC, Canada, 27/5/2019
info:cnr-pdr/source/autori:Pietrantuono R.; Bertolino A.; De Angelis G.; Miranda B.; Russo S./congresso_nome:2019 IEEE%2FACM 14th International Workshop on Automation of Software Test (AST)/congresso_luogo:Montreal, QC, Canada/congresso_data:27%2F5%2F2019/anno:2019/pagina_da:21/pagina_a:27/intervallo_pagine:21–27
2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST)

Subject Terms: FOS: Computer and information sciences, Software Defect Prediction, Software quality, 02 engineering and technology, Test strategy, Software reliability, Quantum mechanics, Software Reliability Testing, Reliability engineering, Software testing, Software performance testing, Engineering, Software release life cycle, 0202 electrical engineering, electronic engineering, information engineering, Quality Gate, Software deployment, Acceptance testing, DevOps, Software construction, Software engineering, Automated Software Testing Techniques, Physics, Software development, Power (physics), Acceptance Test, Computer science, Operating system, Reliability (semiconductor), Software reliability testing, Computer Science, Physical Sciences, Software reliability, Software testing, Acceptance test, Integration testing, Operational Profile, Software Reliability Modeling, Pipeline (software), Software Reliability Assessment and Prediction, Software, Acceptance test, Empirical Studies in Software Engineering, Information Systems

File Description: application/pdf

Access URL: https://zenodo.org/record/3575189/files/AST19.pdf
http://hdl.handle.net/11588/753031
https://ieeexplore.ieee.org/document/8822025/
https://dblp.uni-trier.de/db/conf/icse/ast2019.html#PietrantuonoBAM19
https://hdl.handle.net/20.500.14243/364548
https://doi.org/10.1109/AST.2019.00009
https://dl.acm.org/citation.cfm?id=3338663

Tolerating Random Byzantine Failures in an Unbounded Network

Authors: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) et al.

Contributors: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) et al.

Source: ISSN: 0129-6264.

Subject Terms: Byzantine failures, reliable communication, distributed computing, random failures, scalability, grid, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, 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.6: Security and Protection, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], envir, manag

Relation: https://hal.sorbonne-universite.fr/hal-01294311

Availability: https://hal.sorbonne-universite.fr/hal-01294311

A stochastic reward net-based assessment of reliability, availability and operational cost for a software-defined network infrastructure.

Authors: Nguyen, Tuan Anh Han, Kihong Min, Dugki et al.

Source: Journal of Supercomputing; Aug2019, Vol. 75 Issue 8, p4657-4683, 27p

Subject Terms: SOFTWARE-defined networking, OPERATING costs, SOFTWARE failures, RELIABILITY in engineering, STOCHASTIC models, VIRTUAL machine systems

Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems

Authors: Balabonski, Thibaut Courtieu, Pierre Rieg, Lionel et al.

Contributors: Balabonski, Thibaut Courtieu, Pierre Rieg, Lionel et al.

Source: Proceedings of AVOCS 2017 ; Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS) ; https://hal.sorbonne-universite.fr/hal-01549942 ; Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/FMICS-AVoCS2017

Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, 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-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

Subject Geographic: Turin, Italy

Availability: https://hal.sorbonne-universite.fr/hal-01549942
https://doi.org/10.1007/978-3-319-67113-0_11

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots

Authors: Courtieu, Pierre Rieg, Lionel Tixeuil, Sébastien et al.

Contributors: Courtieu, Pierre Rieg, Lionel Tixeuil, Sébastien et al.

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

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

Availability: 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

Parameterized Verification of Algorithms for Oblivious Robots on a Ring

Authors: Sangnier, Arnaud Sznajder, Nathalie Potop-Butucaru, Maria et al.

Contributors: Sangnier, Arnaud Sznajder, Nathalie Potop-Butucaru, Maria et al.

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

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

Availability: 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

Measuring and Policing Blocking Times in Real-Time Systems.

Authors: SANTOS, OSMAR MARCHI DOS WELLINGS, ANDY

Source: ACM Transactions on Embedded Computing Systems; Aug2010, Vol. 10 Issue 1, p2-2:29, 29p, 7 Diagrams, 2 Charts, 4 Graphs

Subject Terms: REAL-time computing, FAULT-tolerant computing, COMPUTER reliability, POSIX (Computer software standard), TIME clocks, COMPUTER operating systems

METHOD FOR ASSESSING OF RELIABILITY CHARACTERISTICS IN DESIGNING OF FAILURERESISTANT REAL-TIME OPERATING SYSTEMS.

Alternate Title: Методика оцінки характеристик надійності в проектуванні автоматичних систем реального часу. (Ukrainian)

Authors: Shvahirev, P. Lopakov, O. Kosmachevskiy, V. et al.

Source: Proceedings of Odessa Polytechnic University / Odes'kyi Politechnichnyi Universytet Pratsi; 2020, Vol. 61 Issue 2, p108-118, 11p

Subject Terms: KERNEL functions, COMPUTER systems, USER interfaces, COMPUTER software, KERNEL operating systems, FAULT-tolerant computing