Výsledky vyhledávání - acm: d.: software/d.4: operating system/d.4.0: general

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

Autoři: Okunola, Abiodun

Papers from the Third ACM Symposium on Operating Systems Principles.

Autoři: Denning, Peter J. Randell, Brian

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

Témata: COMPUTER operating systems, RESEARCH, CONFERENCES & conventions, COMPUTER software, SYSTEMS software

Korporace: ASSOCIATION for Computing Machinery

Component-Based Real-Time Operating System for Embedded Applications

Autoři: Loiret, Frédéric Navas, Juan Babau, Jean-Philippe a další

Přispěvatelé: Loiret, Frédéric Navas, Juan Babau, Jean-Philippe a další

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

Témata: 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]

Geografické téma: East Stroudsburg, United States

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

A conceptual meta-model for secured information systems

Autoři: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky a další

Přispěvatelé: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky a další

Zdroj: ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011) ; https://hal.science/hal-01125862 ; ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011), May 2011, Waikiki, Honolulu, Hawaii, United States. pp.22-28, ⟨10.1145/1988630.1988635⟩

Témata: Model Driven Approach, Information System, Security, Sécurité, Système d'information, Approche Model Driven, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.0: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO]Computer Science [cs], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Geografické téma: Waikiki, Honolulu, Hawaii, United States

Dostupnost: https://hal.science/hal-01125862
https://doi.org/10.1145/1988630.1988635

Efficient Testing of Recovery Code Using Fault Injection 11:37

Autoři: Paul D. Marinescu George Candea The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul D. Marinescu George Candea The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

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

Autoři: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard a další

Přispěvatelé: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard a další

Zdroj: 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/

Témata: 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]

Geografické téma: Pittsburgh PA, United States

Dostupnost: https://hal.univ-brest.fr/hal-01519475

From an intermittent rotating star to a leader

Autoři: Fernández, Antonio Raynal, Michel Laboratorio de Algoritmia Distribuida y Redes (LADyR) a další

Přispěvatelé: Fernández, Antonio Raynal, Michel Laboratorio de Algoritmia Distribuida y Redes (LADyR) a další

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

Témata: 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

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

From Operating-System Correctness to Pervasively Veried Applications

Autoři: Daum, Matthias W. Schirmer, Norbert Schmidt, Mareike a další

Přispěvatelé: Daum, Matthias W. Schirmer, Norbert Schmidt, Mareike a další

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

Témata: 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]

Geografické téma: 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

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

Autoři: Vitale, Francesco Mcgrenere, Joanna Tabard, Aurélien a další

Přispěvatelé: Vitale, Francesco Mcgrenere, Joanna Tabard, Aurélien a další

Zdroj: 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/

Témata: 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]

Geografické téma: Denver, United States

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

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

acm forum.

Autoři: Ousterhout, John K. Parnas, David Lorge Sheppard, Sylvia B. a další

Zdroj: Communications of the ACM; Aug1981, Vol. 24 Issue 8, p546-549, 4p

Témata: LETTERS to the editor, COMPUTER science, COMPUTER operating systems, COMPUTER software, INFORMATION technology, COMPUTER programming

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

Autoři: Masquelin, Mickael de Smet, Gauthier Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN) a další

Přispěvatelé: Masquelin, Mickael de Smet, Gauthier Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN) a další

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

Témata: 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]

Geografické téma: Montpellier, France

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

Autoři: 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) a další

Přispěvatelé: 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) a další

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

Témata: 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

Dostupnost: https://hal.science/tel-01104105
https://hal.science/tel-01104105v1/document
https://hal.science/tel-01104105v1/file/hauspie-hdr.pdf

Liability in software engineering: overview of the LISE approach and illustration on a case study

Autoři: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a další

Přispěvatelé: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a další

Zdroj: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. :135-144

Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Legal Aspects, Specication, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, Formal Methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Specification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Liability, 0202 electrical engineering, electronic engineering, information engineering, Defects, Contract, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, Evidence

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/inria-00472287/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://inria.hal.science/inria-00440437v1
https://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#MetayerMTMPCFH10
https://hal.inria.fr/inria-00440437/document
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006062081
https://hal.archives-ouvertes.fr/inria-00440437/en/
https://ieeexplore.ieee.org/document/6062081/
https://dl.acm.org/doi/10.1145/1806799.1806823

HARS: A Hardware-Assisted Runtime Software for embedded many-core architectures

Autoři: Lhuillier, Y. Ojail, M. Guerre, A. a další

Přispěvatelé: Lhuillier, Y. Ojail, M. Guerre, A. a další

Zdroj: ISSN: 1539-9087.

Témata: B.5.0 [Register-Transfer-Level Implementation]: General, 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.1: Process Management, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, [INFO]Computer Science [cs]

Dostupnost: https://cea.hal.science/cea-01818892
https://doi.org/10.1145/2517311

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Autoři: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Přispěvatelé: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Zdroj: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://hal.inria.fr/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823

Témata: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, droit, stat

Geografické téma: Cape Town, South Africa

Time: Cape Town, South Africa

Relation: https://hal.inria.fr/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf; https://hal.inria.fr/inria-00472287

Dostupnost: https://hal.inria.fr/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://hal.inria.fr/inria-00472287

Coordinating multiple administration loops using discrete control

Autoři: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric a další

Přispěvatelé: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric a další

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

Témata: [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

Přístupová URL adresa: https://dl.acm.org/doi/10.1145/2553070.2553074
https://hal.inria.fr/hal-00949555

Code Staging in GNU Guix

Autoři: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest a další

Přispěvatelé: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest a další

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

Témata: 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]

Geografické téma: 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

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

Autoři: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard a další

Přispěvatelé: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard a další

Zdroj: ISSN: 1945-3116.

Témata: 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]

Dostupnost: https://hal.univ-brest.fr/hal-01519440
https://doi.org/10.4236/jsea.2016.97025

NEWS.

Zdroj: Communications of the ACM; Jul1970, Vol. 13 Issue 7, p454-459, 6p

Témata: ASSOCIATIONS, institutions, etc., CONFERENCES & conventions, COMPUTER operating systems, COMPUTER programming, MEMBERSHIP, SYSTEMS software

Geografický termín: UNITED States

BLNSYS--A 1401 Operating System with Braille Capabilities.

Autoři: Landwehr, J.B. McLaughlin, C. Mueller, H. a další

Zdroj: Communications of the ACM; May65, Vol. 8 Issue 5, p300-303, 4p, 5 Diagrams

Témata: COMPUTER operating systems, ELECTRONIC data processing, COMPUTER software, BRAILLE