Suchergebnisse - acm: d.: software/d.4: operating system

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

Autoren: Okunola, Abiodun

Component-Based Real-Time Operating System for Embedded Applications

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

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

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

Schlagwörter: 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]

Geographisches Schlagwort: East Stroudsburg, United States

Verfügbarkeit: 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

RsaML : A Domain Specific Modeling Language for describing Robotic software architectures with integration of real time properties

Autoren: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Weitere Verfasser: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Quelle: ESWEEK 2016 - Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week, ACM, IEEE ; https://hal.univ-brest.fr/hal-01519475 ; ESWEEK 2016 - Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week, ACM, IEEE, Oct 2016, Pittsburgh PA, United States ; http://ceur-ws.org/Vol-1697/

Schlagwörter: Eclipse EMF, real-time and embedded system, MDE, domain specic modeling lan- guage, robotics software architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics, [INFO]Computer Science [cs]

Geographisches Schlagwort: Pittsburgh PA, United States

Verfügbarkeit: https://hal.univ-brest.fr/hal-01519475

From Operating-System Correctness to Pervasively Veried Applications

Autoren: Daum, Matthias W. Schirmer, Norbert Schmidt, Mareike et al.

Weitere Verfasser: Daum, Matthias W. Schirmer, Norbert Schmidt, Mareike et al.

Quelle: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524575 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.105-120

Schlagwörter: Real-Time System, Pervasive Verification, Application Program, C Code Verification, Isabelle/HOL, 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.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geographisches Schlagwort: Nancy, France

Relation: inria-00524575; https://hal.inria.fr/inria-00524575; https://hal.inria.fr/inria-00524575/document; https://hal.inria.fr/inria-00524575/file/libolos104.pdf

Verfügbarkeit: https://hal.inria.fr/inria-00524575
https://hal.inria.fr/inria-00524575/document
https://hal.inria.fr/inria-00524575/file/libolos104.pdf

High Costs and Small Benefits: A Field Study of How Users Experience Operating System Upgrades

Autoren: Vitale, Francesco Mcgrenere, Joanna Tabard, Aurélien et al.

Weitere Verfasser: Vitale, Francesco Mcgrenere, Joanna Tabard, Aurélien et al.

Quelle: CHI 2017 ; https://hal.science/hal-01493415 ; CHI 2017, May 2017, Denver, United States. pp. 4242-4253 ⟨10.1145/3025453.3025509⟩ ; https://chi2017.acm.org/

Schlagwörter: Software upgrades, observational study, qualitative analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.5: Security and Protection, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Geographisches Schlagwort: Denver, United States

Relation: info:eu-repo/grantAgreement//321135/EU/Creating Co-Adaptive Human-Computer Partnerships/CREATIV

Verfügbarkeit: https://hal.science/hal-01493415
https://hal.science/hal-01493415v1/document
https://hal.science/hal-01493415v1/file/CHI_2017_Upgrades.pdf
https://doi.org/10.1145/3025453.3025509

System Administration under OS X: Open source software to manage Apple computers running OS X ; Administration Système OS X: Outils libres pour gérer un parc de machines Apple sous OS X

Autoren: Masquelin, Mickael de Smet, Gauthier Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN) et al.

Weitere Verfasser: Masquelin, Mickael de Smet, Gauthier Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN) et al.

Quelle: Congrès JRES : Les Journées Réseaux ; https://hal.science/hal-01639491 ; Congrès JRES : Les Journées Réseaux, Dec 2015, Montpellier, France

Schlagwörter: ACM: C.: Computer Systems Organization/C.5: COMPUTER SYSTEM IMPLEMENTATION/C.5.3: Microcomputers, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Geographisches Schlagwort: Montpellier, France

Verfügbarkeit: https://hal.science/hal-01639491

Methods and tools for the design of embedded software for highly constrained device ; Élements de conception de systèmes embarqués fortement contraints

Autoren: Hauspie, Michaël Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS) et al.

Weitere Verfasser: Hauspie, Michaël Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS) et al.

Quelle: https://hal.science/tel-01104105 ; Systèmes embarqués. Université Lille 1, 2014.

Schlagwörter: embedded systems, sensors network, network intrusion detection, smart cards, internet of things, energy aware protocols, économie d'énergie, réseaux de capteurs, détection d'intrusions réseau, cartes à puce, internet des objets, systèmes embarqués, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, 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.2: Network Protocols, ACM: C.: Computer Systems Organization/C.5: COMPUTER SYSTEM IMPLEMENTATION/C.5.3: Microcomputers, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing

Verfügbarkeit: https://hal.science/tel-01104105
https://hal.science/tel-01104105v1/document
https://hal.science/tel-01104105v1/file/hauspie-hdr.pdf

Papers from the Third ACM Symposium on Operating Systems Principles.

Autoren: Denning, Peter J. Randell, Brian

Quelle: Communications of the ACM; Mar1972, Vol. 15 Issue 3, p133-134, 2p

Schlagwörter: COMPUTER operating systems, RESEARCH, CONFERENCES & conventions, COMPUTER software, SYSTEMS software

Firma/Körperschaft: ASSOCIATION for Computing Machinery

Code Staging in GNU Guix

Autoren: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest et al.

Weitere Verfasser: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest et al.

Quelle: 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17)
https://hal.inria.fr/hal-01580582
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17), Oct 2017, Vancouver, Canada. ⟨10.1145/3136040.3136045⟩
http://conf.researchr.org/home/gpce-2017

Schlagwörter: Software deployment, Scheme, Code staging, System administration, Functional languages, Source code generation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.9: Systems Programs and Utilities, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Vancouver

Time: Vancouver, Canada

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1709.00833; hal-01580582; https://hal.inria.fr/hal-01580582; https://hal.inria.fr/hal-01580582/document; https://hal.inria.fr/hal-01580582/file/gpce.pdf; ARXIV: 1709.00833

Verfügbarkeit: https://hal.inria.fr/hal-01580582
https://hal.inria.fr/hal-01580582/document
https://hal.inria.fr/hal-01580582/file/gpce.pdf
https://doi.org/10.1145/3136040.3136045

A Decision support Framework for the choice of languages and methods for the design of real time embedded system

Autoren: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Weitere Verfasser: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Quelle: ISSN: 1945-3116.

Schlagwörter: Comparison Criteria, Embedded System, Real-Time System, Modelling Language, Design Method, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO]Computer Science [cs]

Verfügbarkeit: https://hal.univ-brest.fr/hal-01519440
https://doi.org/10.4236/jsea.2016.97025

Coordinating multiple administration loops using discrete control

Autoren: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric et al.

Weitere Verfasser: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric et al.

Quelle: ACM SIGOPS Operating Systems Review. 47:18-25

Schlagwörter: [INFO.INFO-DC]Computer Science [cs]/Distributed, coordination, reconfiguration, reactive programming, Autonomic managers, administration loops, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, discrete controller synthesis, 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, Parallel, components, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], and Cluster Computing [cs.DC], [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], model-based approach, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.4: System Management

Zugangs-URL: https://dl.acm.org/doi/10.1145/2553070.2553074
https://hal.inria.fr/hal-00949555

The Evolution of C Programming Practices: A Study of the Unix Operating System 1973-2015

Autoren: Spinellis, D Louridas, P Kechagia, M

Quelle: In: (Proceedings) 38th IEEE/ACM International Conference on Software Engineering (ICSE). (pp. pp. 748-759). ACM (2016)

Schlagwörter: Science & Technology, Technology, Computer Science, Software Engineering, Engineering, Electrical & Electronic, coding style, coding practices, Unix, BSD, FreeBSD, SOFTWARE, MANAGEMENT, CODE, MODELS, RULES

Dateibeschreibung: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10074519/1/SLK16_ICSE16.pdf; https://discovery.ucl.ac.uk/id/eprint/10074519/

Verfügbarkeit: https://discovery.ucl.ac.uk/id/eprint/10074519/1/SLK16_ICSE16.pdf
https://discovery.ucl.ac.uk/id/eprint/10074519/

Reconf-Pack: A Simulator for Reconfigurable Battery-Powered Real-Time Systems

Autoren: Gammoudi, Aymen Benzina, Adel Khalgui, Mohamed et al.

Weitere Verfasser: Gammoudi, Aymen Benzina, Adel Khalgui, Mohamed et al.

Quelle: 30th European Simulation and Modelling Conference
https://inria.hal.science/hal-01401706
30th European Simulation and Modelling Conference, Oct 2016, Las Palmas, Spain

Schlagwörter: Embedded system, Real-time and low-power scheduling, Reconfiguration, OS software optimization, Simulation, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.4: Scheduling, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Geographisches Schlagwort: Las Palmas, Spain

Verfügbarkeit: https://inria.hal.science/hal-01401706
https://inria.hal.science/hal-01401706v1/document
https://inria.hal.science/hal-01401706v1/file/ESM2016_camera_ready_final.pdf

Reproducible and User-Controlled Software Environments in HPC with Guix

Autoren: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) et al.

Weitere Verfasser: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) et al.

Quelle: 2nd International Workshop on Reproducibility in Parallel Computing (RepPar)
https://inria.hal.science/hal-01161771
2nd International Workshop on Reproducibility in Parallel Computing (RepPar), Aug 2015, Vienne, Austria
http://reppar.org/

Schlagwörter: hpc, reproducible research, package management, gestion de paquets, répétabilité, calcul intensif, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Vienne, Austria

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

Verfügbarkeit: https://inria.hal.science/hal-01161771
https://inria.hal.science/hal-01161771v2/document
https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf

From an intermittent rotating star to a leader

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

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

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

Schlagwörter: 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

Verfügbarkeit: https://inria.hal.science/inria-00089975
https://inria.hal.science/inria-00089975/document
https://inria.hal.science/inria-00089975/file/PI-1810.pdf

Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories

Autoren: Delizy, Tristan Gros, Stéphane Marquet, Kevin et al.

Weitere Verfasser: Delizy, Tristan Gros, Stéphane Marquet, Kevin et al.

Quelle: RSP 2018 - 29th International Symposium on Rapid System Prototyping ; https://hal.science/hal-01891599 ; RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7

Schlagwörter: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Geographisches Schlagwort: Turin, Italy

Verfügbarkeit: https://hal.science/hal-01891599
https://hal.science/hal-01891599v1/document
https://hal.science/hal-01891599v1/file/rsp2018.pdf

Scratchpad memories vs locked caches in hard real-time systems: a qualitative and quantitative comparison

Autoren: Puaut, Isabelle Pais, Christophe Compilation, parallel architectures and system (CAPS) et al.

Weitere Verfasser: Puaut, Isabelle Pais, Christophe Compilation, parallel architectures and system (CAPS) et al.

Quelle: https://inria.hal.science/inria-00105010 ; [Research Report] PI 1818, 2006, pp.22.

Schlagwörter: Wcet, hard real-time system, compilation, software, hardware, memory, cache, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Relation: Report N°: PI 1818

Verfügbarkeit: https://inria.hal.science/inria-00105010
https://inria.hal.science/inria-00105010/document
https://inria.hal.science/inria-00105010/file/PI-1818.pdf

Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets

Autoren: Guo, Xiaojie Quinton, Sophie Fradet, Pascal et al.

Weitere Verfasser: Guo, Xiaojie Quinton, Sophie Fradet, Pascal et al.

Quelle: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3

Schlagwörter: Analyzer, Certifier, Coq-vertified, Real-time system verification, Formal Analysis, 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.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geographisches Schlagwort: Paris, France

Verfügbarkeit: https://inria.hal.science/hal-01629288
https://inria.hal.science/hal-01629288v1/document
https://inria.hal.science/hal-01629288v1/file/offset_WiP.pdf

A Lock-based Protocol for Software Transactional Memory

Autoren: Imbs, Damien Raynal, Michel As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) et al.

Weitere Verfasser: Imbs, Damien Raynal, Michel As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) et al.

Quelle: https://inria.hal.science/inria-00277378 ; [Research Report] PI 1893, 2008, pp.26.

Schlagwörter: Atomic operation, Commit/abort, Concurrency control, Consistent global state, Lock, Opacity, Shared object, Software transactional memory, Transaction, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1893

Verfügbarkeit: https://inria.hal.science/inria-00277378
https://inria.hal.science/inria-00277378/document
https://inria.hal.science/inria-00277378/file/PI-1893.pdf

The CTRON approach to operating system support for software portability

Autoren: Mooney, James D.

Quelle: ACM SIGOPS Operating Systems Review ; volume 26, issue 4, page 90-97 ; ISSN 0163-5980

Verfügbarkeit: https://doi.org/10.1145/142854.142875
https://dl.acm.org/doi/10.1145/142854.142875
https://dl.acm.org/doi/pdf/10.1145/142854.142875