Search Results - "computation"

Refine Results
  1. 2321
  2. 2322
  3. 2323
  4. 2324
  5. 2325
  6. 2326
  7. 2327
  8. 2328
  9. 2329
  10. 2330
  11. 2331
  12. 2332
  13. 2333

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  14. 2334

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  15. 2335

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    Published 2022
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  16. 2336

    Efficient fast Fourier transform-based solvers for computing the thermomechanical behavior of applied materials by Wicht, Daniel

    Published 2022
    Subjects: “…Mikromechanik; Homogenisierung; Rechnergestützte Mechanik; Nichtlineare Optimierung; Themomechanik; Micromechanics; homogenization; computational mechanics; nonlinear optimization; thermomechanics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  17. 2337
  18. 2338
  19. 2339

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  20. 2340