Search Results - "Concurrent computing"

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13

    Source: IEEE Access, Vol 10, Pp 121365-121384 (2022)
    Aljaafari, F, Menezes, R, Manino, E, Shmarov, F, Mustafa, M A & Cordeiro, L 2022, 'Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs', IEEE Access, vol. 10, pp. 121365-121384. https://doi.org/10.1109/ACCESS.2022.3223359

  14. 14
  15. 15
  16. 16
  17. 17

    Contributors: Bethel, E. [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)]

    Source: International Conference for High Performance Computing, Networking, Storage and Analysis (Online); 2017; Conference: International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, UT (United States), 13-18 Nov 2016

    File Description: Medium: ED; Size: 921 - 932

  18. 18
  19. 19
  20. 20

    Source: Repositori Universitat Jaume I
    Universitat Jaume I
    RiuNet: Repositorio Institucional de la Universitat Politécnica de Valéncia
    Universitat Politècnica de València (UPV)
    RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
    instname
    UPCommons. Portal del coneixement obert de la UPC
    Universitat Politècnica de Catalunya (UPC)
    IEEE Transactions on Computers

    File Description: application/pdf