Suggested Topics within your search.
Showing 261 - 280 results of 499 for search '"software engineering"', query time: 0.10s Refine Results
  1. 261
    Model-Based Performance Prediction for Concurrent Software on Multicore Architectures A Simulation-Based Approach

    Model-Based Performance Prediction for Concurrent Software on Multicore Architectures A Simulation-Based Approach by Frank, Markus Kilian

    Published 2022
    Subjects: “…Modellbasierte Performancevorhersage; Software Engineering; Multicore-Architekturen; parallele Entwurfsmuster; Model-based Performance Prediction; Multicore architectures; Parallel Design Patterns…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 262
    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 263
    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Published 2023
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 264
    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 265
    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 266
    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2020
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 267
    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2020
    Subjects: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  8. 268
    Evaluating Architectural Safeguards for Uncertain AI Black-Box Components

    Evaluating Architectural Safeguards for Uncertain AI Black-Box Components by Scheerer, Max

    Published 2023
    Subjects: “…self-adaptive systems; safeguarding AI; architectural reliability analysis; Software engineering; Selbst-Adaptive Systeme; Absicherung von KI; architekturelle Zuverlässigkeitsanalyse; Softwaretechnik…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  9. 269
    Critical Perspectives on Open Development Empirical Interrogation of Theory Construction

    Critical Perspectives on Open Development Empirical Interrogation of Theory Construction

    Published 2020
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  10. 270
    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  11. 271
    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Published 2022
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  12. 272
    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  13. 273
    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    Published 2022
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  14. 274
    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Published 2022
    Subjects: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  15. 275
    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Published 2023
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  16. 276
    Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache

    Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache by Weigelt, Sebastian

    Published 2022
    Subjects: “…Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  17. 277
    I Corpora LBC Informatica Umanistica per il Lessico dei Beni Culturali

    I Corpora LBC Informatica Umanistica per il Lessico dei Beni Culturali

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  18. 278
    Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach

    Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach

    Published 2022
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  19. 279
    Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache

    Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache by Weigelt, Sebastian

    Published 2022
    Subjects: “…Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  20. 280
    I Corpora LBC Informatica Umanistica per il Lessico dei Beni Culturali

    I Corpora LBC Informatica Umanistica per il Lessico dei Beni Culturali

    Published 2020
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: