Výsledky vyhledávání - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability~

Testing real-time systems with runtime enforcement

Autoři: Béchennec, Jean-Luc Brun, Matthias Faucou, Sébastien a další

Přispěvatelé: Béchennec, Jean-Luc Brun, Matthias Faucou, Sébastien a další

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

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

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

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

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

Autoři: Balabonski, Thibaut Courtieu, Pierre Rieg, Lionel a další

Přispěvatelé: Balabonski, Thibaut Courtieu, Pierre Rieg, Lionel a další

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

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

Geografické téma: Turin, Italy

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

Tolerating Random Byzantine Failures in an Unbounded Network

Autoři: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) a další

Přispěvatelé: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) a další

Zdroj: ISSN: 0129-6264.

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

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

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

Autoři: Blin, Lélia Potop-Butucaru, Maria Rovedakis, Stephane a další

Přispěvatelé: Blin, Lélia Potop-Butucaru, Maria Rovedakis, Stephane a další

Zdroj: ISSN: 0010-4620.

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

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

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

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots

Autoři: Courtieu, Pierre Rieg, Lionel Tixeuil, Sébastien a další

Přispěvatelé: Courtieu, Pierre Rieg, Lionel Tixeuil, Sébastien a další

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

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

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

Autoři: Sangnier, Arnaud Sznajder, Nathalie Potop-Butucaru, Maria a další

Přispěvatelé: Sangnier, Arnaud Sznajder, Nathalie Potop-Butucaru, Maria a další

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

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

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

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

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

Autoři: Sutra, Pierre Rivière, Etienne Cotes, Cristian a další

Přispěvatelé: Sutra, Pierre Rivière, Etienne Cotes, Cristian a další

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

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

Přístupová URL adresa: https://inria.hal.science/hal-01318706v1/document
https://inria.hal.science/hal-01318706
https://inria.hal.science/hal-01318706v1/file/paper.pdf

Multi-layer software reliability for unreliable hardware.

Autoři: Shafique, Muhammad Axer, Philip Borchert, Christoph a další

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

Témata: SOFTWARE reliability, PROGRAMMING languages, COMPUTER operating systems, COMPILERS (Computer programs), COMPUTER reliability

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

Autoři: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) a další

Přispěvatelé: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) a další

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

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

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

Membrane: Operating System Support for Restartable File Systems.

Autoři: SUNDARARAMAN, SWAMINATHAN SUBRAMANIAN, SRIRAM RAJIMWALE, ABHISHEK a další

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

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

ACM SPECIAL INTEREST GROUPS.

Zdroj: Communications of the ACM; Aug1983, Vol. 26 Issue 8, p569-569, 2/3p

Témata: LISTS, COMPUTER operating systems, COMPUTER software, COMPUTER architecture, COMPUTER systems

Reliable Operating Systems: Overview and Techniques.

Autoři: Ahmed, Mohamed F. Gokhale, Swapna S.

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

Témata: COMPUTER operating systems, RELIABILITY in engineering, COMPUTER systems, BEST practices, DRAWBACKS (Tariffs), COMPUTER science, COMPUTER architecture, COMPUTER software development, COMPUTER programming

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

Measuring and Policing Blocking Times in Real-Time Systems.

Autoři: SANTOS, OSMAR MARCHI DOS WELLINGS, ANDY

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

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

Health-Analytics Data to Evidence Suite (HADES): Open-Source Software for Observational Research.

Autoři: SCHUEMIE, Martijn REPS, Jenna BLACK, Adam a další

Zdroj: Medinfo; 2023, Vol. 310, p966-970, 5p

Témata: STATISTICS, RELIABILITY (Personality trait), SCIENTIFIC observation, CONFERENCES & conventions, ACQUISITION of data, MACHINE learning, SOFTWARE architecture, HEALTH insurance reimbursement, MEDICAL records, ATTRIBUTION (Social psychology), RESEARCH funding, DATA analysis, DATA analysis software, PREDICTION models, COMPUTER operating systems

Geografický termín: NEW South Wales

Selected Papers from the ACM Conference on Language Design for Reliable Software.

Autoři: Horning, J. J.

Zdroj: Communications of the ACM; Aug1977, Vol. 20 Issue 8, p539-539, 1p

Témata: COMPUTER software, PROGRAMMING languages, RELIABILITY in engineering, COMPUTER programmers, COMPUTER science

A new multiscale tool for simulating smart-grid energy management based on a systemic approach

Autoři: Randriantsoa, Ando, Ny Aina Fakra, Ali Hamada Fakra, Damien, Ali Hamada a další

Přispěvatelé: Randriantsoa, Ando, Ny Aina Fakra, Ali Hamada Fakra, Damien, Ali Hamada a další

Zdroj: ISSN: 0045-7906 ; Computers and Electrical Engineering ; https://hal.science/hal-03278354 ; Computers and Electrical Engineering, 2021, 94, pp.107292. ⟨10.1016/j.compeleceng.2021.107292⟩.

Témata: SMARTEN, energy management, energy-mix, smart grid, multiscale, simulation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.3: Network Operations, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Dostupnost: https://hal.science/hal-03278354
https://hal.science/hal-03278354v1/document
https://hal.science/hal-03278354v1/file/SMARTEN_Elsevier_Original_Format.pdf
https://doi.org/10.1016/j.compeleceng.2021.107292