Search Results - Handwara~

  1. 581
  2. 582
  3. 583
  4. 584
  5. 585
  6. 586
  7. 587
  8. 588
  9. 589
  10. 590
  11. 591
  12. 592
  13. 593
  14. 594
  15. 595
  16. 596
  17. 597

    Software for Exascale Computing - SPPEXA 2016-2019

    Published 2020
    Subjects: “…Hardware Performance and Reliability.…”
    Link to Metadata
    Electronic eBook
  18. 598

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

    Published 2023
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  19. 599

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

    Published 2020
    Subjects: “…Hardware and System Verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 600

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

    Published 2021
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter