Search Results - acm: d.: software/d.4: operating system/d.4.8: performance

Refine Results
  1. 1

    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

    Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Coordinating multiple administration loops using discrete control

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

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

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

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

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

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Papers from the Third ACM Symposium on Operating Systems Principles.

    Authors: Denning, Peter J. Randell, Brian

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

    Subject Terms: COMPUTER operating systems, RESEARCH, CONFERENCES & conventions, COMPUTER software, SYSTEMS software

    Company/Entity: ASSOCIATION for Computing Machinery

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols

    Authors: Aflaki, Saba Bonakdarpour, Borzoo Tixeuil, Sébastien et al.

    Contributors: Aflaki, Saba Bonakdarpour, Borzoo Tixeuil, Sébastien et al.

    Source: The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015) ; https://hal.science/hal-01213273 ; The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩

    Subject Terms: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, 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, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

    Subject Geographic: Edmonton

    Time: Edmonton, Canada

    Relation: hal-01213273; https://hal.science/hal-01213273

    Availability: https://hal.science/hal-01213273
    https://doi.org/10.1007/978-3-319-21741-3_11

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    EnosLib: A Library for Experiment-Driven Research in Distributed Computing

    Authors: Ronan-Alexandre Cherrueau Marie Delavergne Alexandre van Kempen et al.

    Contributors: Ronan-Alexandre Cherrueau Marie Delavergne Alexandre van Kempen et al.

    Source: IEEE Transactions on Parallel and Distributed Systems. 33:1464-1477

    Subject Terms: [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Experiment-driven research, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 02 engineering and technology, Distributed computing experimentation library, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, Parallel, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], and Cluster Computing [cs.DC], ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.2: Installation Management/K.6.2.3: Performance and usage measurement, Performance evaluation, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.3: Performance evaluation (efficiency and effectiveness)

    File Description: application/pdf

    Access URL: https://hal.inria.fr/hal-03324177/file/tpds-enoslib-preprint.pdf
    http://ieeexplore.ieee.org/document/9534688
    https://hal.inria.fr/hal-03324177
    https://www.computer.org/csdl/journal/td/5555/01/09534688/1wLblAxTkxq
    https://ieeexplore.ieee.org/document/9534688
    https://hal.inria.fr/hal-03324177/document
    https://hal.archives-ouvertes.fr/hal-03324177v1

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition

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

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

    Source: https://inria.hal.science/inria-00362844 ; [Research Report] PI 1923, 2009, pp.23.

    Subject Terms: Atomic object, Causal past, Commit/abort, Concurrency control, Consistency condition, Consistent global state, Lock, Read-from relation, Regular Read/write object, Serializability, Shared memory, Software transactional memory, Vector clock, Transaction, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

    Relation: Report N°: PI 1923

    Availability: https://inria.hal.science/inria-00362844
    https://inria.hal.science/inria-00362844/document
    https://inria.hal.science/inria-00362844/file/PI-1923.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  8. 8

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

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

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

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

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

    Subject Geographic: Turin, Italy

    Availability: https://hal.science/hal-01891599
    https://hal.science/hal-01891599v1/document
    https://hal.science/hal-01891599v1/file/rsp2018.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Operating System Performance.

    Authors: Lynch, W. C.

    Source: Communications of the ACM; Jul1972, Vol. 15 Issue 7, p579-585, 7p

    Subject Terms: COMPUTER operating systems, SYSTEM analysis, COMPUTER systems, SYSTEMS development, COMPUTER industry, SYSTEMS design, COMPUTER software, TECHNICAL specifications, MULTIMEDIA systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    A Power- and Performance-Aware Software Framework for Control System Applications.

    Authors: Giardino, Michael Klawitter, Eric Ferri, Bonnie et al.

    Source: IEEE Transactions on Computers; Oct2020, Vol. 69 Issue 10, p1544-1555, 12p

    Subject Terms: SOFTWARE frameworks, COMPUTING platforms, SITUATIONAL awareness, MOBILE robots, MOBILE operating systems, CYBER physical systems, HIGH performance computing

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Energy-Efficient and High-Performance Software Architecture for Storage Class Memory.

    Authors: BAEK, SEUNGJAE JONGMOO CHOI LEE, DONGHEE et al.

    Source: ACM Transactions on Embedded Computing Systems; Mar2013, Vol. 12 Issue 3, p1-22, 22p

    Subject Terms: ENERGY consumption, COMPUTER software, COMPUTER architecture, PERFORMANCE, COMPUTER storage devices, COMPUTER operating systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  13. 13

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

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

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

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

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

    Subject Geographic: Pittsburgh PA, United States

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    Reproducible and User-Controlled Software Environments in HPC with Guix

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

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

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

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

    Subject Geographic: Vienne, Austria

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

    Availability: https://inria.hal.science/hal-01161771
    https://inria.hal.science/hal-01161771v2/document
    https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    acm forum.

    Authors: Ousterhout, John K. Parnas, David Lorge Sheppard, Sylvia B. et al.

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

    Subject Terms: LETTERS to the editor, COMPUTER science, COMPUTER operating systems, COMPUTER software, INFORMATION technology, COMPUTER programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Software and Hardware Requirements and Trade-Offs in Operating Systems for Wearables: A Tool to Improve Devices' Performance.

    Authors: J. P. Amorim, Vicente C. Silva, Mateus A. R. Oliveira, Ricardo

    Source: Sensors (14248220); Apr2019, Vol. 19 Issue 8, p1904-1904, 1p

    Subject Terms: WEARABLE technology, COMPUTER input-output equipment, COMPUTER software, COMPUTER operating systems, DATA mining

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  17. 17

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

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

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

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

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

    Availability: https://inria.hal.science/inria-00105010
    https://inria.hal.science/inria-00105010/document
    https://inria.hal.science/inria-00105010/file/PI-1818.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    From Operating-System Correctness to Pervasively Veried Applications

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

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

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

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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    System Structure and Software Maintenance Performance.

    Authors: Gibson, Virginia R. Senn, James A.

    Source: Communications of the ACM; Mar1989, Vol. 32 Issue 3, p347-358, 12p, 1 Diagram, 12 Charts, 2 Graphs

    Subject Terms: COMPUTER systems, SOFTWARE maintenance, COMPUTER architecture, COMPUTER operating systems, SYSTEMS software, COMPUTER programmers

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    VirtualSoC: A Research Tool for Modern MPSoCs.

    Authors: BORTOLOTTI, DANIELE MARONGIU, ANDREA BENINI, LUCA

    Source: ACM Transactions on Embedded Computing Systems; Oct2016, Vol. 16 Issue 1, p1-27, 27p

    Subject Terms: COMPUTER system design & construction, HIGH performance computing, EMBEDDED computer systems, COMPUTER simulation, COMPUTER operating systems, CENTRAL processing units

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List

Search Tools: