Search Results - Handwara~

  1. 341
  2. 342
  3. 343

    Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL by Reinders, James

    Published 2023
    Subjects: “…Computer hardware bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 344

    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 345

    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
  6. 346

    Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL by Reinders, James

    Published 2023
    Subjects: “…Computer hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  7. 347
  8. 348
  9. 349
  10. 350
  11. 351
  12. 352
  13. 353
  14. 354
  15. 355
  16. 356
  17. 357
  18. 358
  19. 359
  20. 360

    Image Processing Using FPGAs by Bailey, Donald

    Published 2019
    Subjects: “…hardware acceleration…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter