Search Results - Parallel Programs Testing

Refine Results
  1. 1

    Parallel program testing based on critical communication and branch transformation by Tian, Tian, Wang, Anshi, Yang, Xiuting, Gong, Dunwei, Hou, Tie, Yao, Xiangjuan

    ISSN: 0920-8542, 1573-0484
    Published: New York Springer US 01.01.2024
    Published in The Journal of supercomputing (01.01.2024)
    “…Software testing is an efficient way to guarantee the reliability and accuracy of parallel programs…”
    Get full text
    Journal Article
  2. 2

    Structural testing criteria for message-passing parallel programs by Souza, S. R. S., Vergilio, S. R., Souza, P. S. L., Simão, A. S., Hausen, A. C.

    ISSN: 1532-0626, 1532-0634
    Published: Chichester, UK John Wiley & Sons, Ltd 01.11.2008
    Published in Concurrency and computation (01.11.2008)
    “… In this paper we investigate the challenges of validating message‐passing parallel programs and present a set of specific testing criteria…”
    Get full text
    Journal Article
  3. 3

    A systems analysis and improvement approach to optimizing syringe services programs’ delivery of HIV testing and referrals: Study protocol for a parallel-group randomized controlled trial (SAIA-SSP-HIV) by Bazzi, Angela R., Roth, Alexis M., Akiba, Christopher F., Huffaker, Shelby L., Patel, Sheila V., Smith, Jessica, Laurano, Rose, Orme, Stephen, Zarkin, Gary A., Morgan-Lopez, Antonio, Lambdin, Barrot H.

    ISSN: 1932-6203, 1932-6203
    Published: United States Public Library of Science 25.02.2025
    Published in PloS one (25.02.2025)
    “… HIV testing and referrals to effective prevention and treatment services are critical for individual and population health, yet multilevel barriers limit access to HIV testing for this population…”
    Get full text
    Journal Article
  4. 4

    Structural testing for communication events into loops of message‐passing parallel programs by Diaz, Silvia M. D., Souza, Paulo S. L., Souza, Simone R. S.

    ISSN: 1532-0626, 1532-0634
    Published: Hoboken Wiley Subscription Services, Inc 25.09.2021
    Published in Concurrency and computation (25.09.2021)
    “… However, communication and synchronization in parallel programs bring new challenges to the testing activity, such as nondeterminism. Message…”
    Get full text
    Journal Article
  5. 5

    Parallel Specification-Based Testing for Concurrent Programs by Minh Do, Canh, Ogata, Kazuhiro

    ISSN: 2169-3536, 2169-3536
    Published: Piscataway IEEE 2022
    Published in IEEE access (2022)
    “…The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing…”
    Get full text
    Journal Article
  6. 6

    Optimal Establishments of Massive Testing Programs to Combat COVID-19: A Perspective of Parallel-Machine Scheduling-Location (ScheLoc) Problem by Li, Yantong, Wen, Xin, Choi, Tsan-Ming, Chung, Sai-Ho

    ISSN: 0018-9391, 1558-0040
    Published: IEEE 2024
    “… This article proposes a decision framework for developing massive testing programs. Specifically, a biobjective parallel-testing-site Scheduling-location (ScheLoc…”
    Get full text
    Journal Article
  7. 7

    All-uses testing of shared memory parallel programs by Yang, Cheer-Sun D., Pollock, Lori L.

    ISSN: 0960-0833, 1099-1689
    Published: Chichester, UK John Wiley & Sons, Ltd 01.01.2003
    “…‐automatic testing tools for parallel programs are lacking. This paper takes a first step in developing an approach to providing…”
    Get full text
    Journal Article
  8. 8

    The effectiveness of parallel gamma-interferon testing in New Zealand’s bovine tuberculosis eradication programme by Sinclair, J.A., Dawson, K.L., Buddle, B.M.

    ISSN: 0167-5877, 1873-1716, 1873-1716
    Published: Netherlands Elsevier B.V 01.05.2016
    Published in Preventive veterinary medicine (01.05.2016)
    “…In bovine tuberculosis (bTB) eradication programmes, especially where prevalence is low, sensitivity of testing in infected herds must be maximised to reduce the possibility of recrudescence of prior infection and the risk…”
    Get full text
    Journal Article
  9. 9

    Light64: lightweight hardware support for data race detection during systematic testing of parallel programs by Nistor, Adrian, Marinov, Darko, Torrellas, Josep

    ISBN: 9781605587981, 1605587982
    ISSN: 1072-4451
    Published: New York, NY, USA ACM 12.12.2009
    “…Developing and testing parallel code is hard. Even for one given input, a parallel program can have many possible different thread interleavings, which are hard…”
    Get full text
    Conference Proceeding
  10. 10

    Smart Interleavings for Testing Parallel Programs by Farchi, Eitan

    ISBN: 0470936908, 9780470936900
    Published: Hoboken, NJ, USA John Wiley & Sons, Inc 24.01.2017
    “…This chapter considers the problem of testing programs that execute several parallel tasks…”
    Get full text
    Book Chapter
  11. 11

    PERMORY-MPI: a program for high-speed parallel permutation testing in genome-wide association studies by Steiß, Volker, Letschert, Thomas, Schäfer, Helmut, Pahl, Roman

    ISSN: 1367-4803, 1367-4811, 1367-4811
    Published: Oxford Oxford University Press 15.04.2012
    Published in Bioinformatics (Oxford, England) (15.04.2012)
    “…PERMORY is software for accelerated permutation testing of genome-wide association studies (GWAS…”
    Get full text
    Journal Article
  12. 12

    Reachability testing algorithm for parallel program in heterogeneous network environment by WANG Wei1, DU Cui-lan2, ZHANG Hong-li1

    ISSN: 1000-436X
    Published: Editorial Department of Journal on Communications 01.02.2006
    Published in Tongxin Xuebao (01.02.2006)
    “…Orienting to difficulty of testing nondeterministic parallel programs,the relationship between message-passing behavior and network performance constraint in grid environment was analyzed,and a new…”
    Get full text
    Journal Article
  13. 13

    Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs by Alghamdi, Ahmed Mohammed, Eassa, Fathy Elbouraey, Khamakhem, Maher Ali, AL-Ghamdi, Abdullah Saad AL-Malaise, Alfakeeh, Ahmed S., Alshahrani, Abdullah S., Alarood, Ala A.

    ISSN: 2073-8994, 2073-8994
    Published: 01.09.2020
    Published in Symmetry (Basel) (01.09.2020)
    “… Several testing tools target parallel applications built by using programming models, but more effort is needed, especially for high-level Graphics Processing Unit (GPU…”
    Get full text
    Journal Article
  14. 14

    Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs by Endo, A.T., da Simao, A., Souza, S., Souza, P.

    ISBN: 9780769533834, 0769533833
    Published: IEEE 01.08.2008
    “… In this paper, we present a strategy for Web Services Composition structural integration testing…”
    Get full text
    Conference Proceeding
  15. 15

    Program State Sensitive Parallel Fuzzing for Real World Software by Ye, Jiaxi, Zhang, Bin, Li, Ruilin, Feng, Chao, Tang, Chaojing

    ISSN: 2169-3536, 2169-3536
    Published: Piscataway IEEE 2019
    Published in IEEE access (2019)
    “… Parallel testing is an augmented method aiming to make the best of the computing resource to expose more deep program bugs…”
    Get full text
    Journal Article
  16. 16

    Timing-sequence testing of parallel programs by Liang, Yu, Li, Shu, Zhang, Hui, Han, Chengde

    ISSN: 1000-9000, 1860-4749
    Published: Beijing Springer Nature B.V 01.01.2000
    Published in Journal of computer science and technology (01.01.2000)
    “…Testing of parallel programs involves two parts—testing of control-flow within the processes and testing of timing-sequence…”
    Get full text
    Journal Article
  17. 17

    Parallel and serial computing tools for testing single-locus and epistatic SNP effects of quantitative traits in genome-wide association studies by Ma, Li, Runesha, H Birali, Dvorkin, Daniel, Garbe, John R, Da, Yang

    ISSN: 1471-2105, 1471-2105
    Published: London BioMed Central 21.07.2008
    Published in BMC bioinformatics (21.07.2008)
    “…) based on the extended Kempthorne model. EPISNPmpi is the parallel computing program for epistasis testing in large scale GWAS and achieved…”
    Get full text
    Journal Article
  18. 18

    Parallel stratified random testing for concurrent programs by Do, Canh Minh, Ogata, Kazuhiro

    Published: IEEE 01.12.2020
    “…For a concurrent program in Java, the reachable state space from each initial state is divided into L layers such that each layer depth is D_{l} for l=1, \ldots, L…”
    Get full text
    Conference Proceeding
  19. 19

    Reducing scheduling sequences of message-passing parallel programs by Gong, Dunwei, Zhang, Chen, Tian, Tian, Li, Zheng

    ISSN: 0950-5849, 1873-6025
    Published: Amsterdam Elsevier B.V 01.12.2016
    Published in Information and software technology (01.12.2016)
    “…Context: Message-passing parallel programs are commonly used parallel programs. Various scheduling sequences contained in these programs, however, increase the difficulty of testing…”
    Get full text
    Journal Article
  20. 20