Einloggen

Thematische Bibliographien / Paraller programs testing / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Paraller programs testing.

Zeitschriftenartikel zum Thema „Paraller programs testing“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Paraller programs testing" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Liang, Yu, Shu Li, Hui Zhang, and Chengde Han. "Timing-sequence testing of parallel programs." Journal of Computer Science and Technology 15, no. 1 (2000): 84–95. http://dx.doi.org/10.1007/bf02951930.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Minh Do, Canh, and Kazuhiro Ogata. "Parallel Specification-Based Testing for Concurrent Programs." IEEE Access 10 (2022): 24955–75. http://dx.doi.org/10.1109/access.2022.3155629.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Souza, S. R. S., S. R. Vergilio, P. S. L. Souza, A. S. Simão, and A. C. Hausen. "Structural testing criteria for message-passing parallel programs." Concurrency and Computation: Practice and Experience 20, no. 16 (2008): 1893–916. http://dx.doi.org/10.1002/cpe.1297.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Yang, Cheer-Sun D., and Lori L. Pollock. "All-uses testing of shared memory parallel programs." Software Testing, Verification and Reliability 13, no. 1 (2003): 3–24. http://dx.doi.org/10.1002/stvr.262.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Kähkönen, Kari, Olli Saarikivi, and Keijo Heljanko. "LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs." Electronic Notes in Theoretical Computer Science 296 (August 2013): 253–59. http://dx.doi.org/10.1016/j.entcs.2013.09.002.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Awar, Nader Al, Kush Jain, Christopher J. Rossbach, and Milos Gligoric. "Programming and execution models for parallel bounded exhaustive testing." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–28. http://dx.doi.org/10.1145/3485543.

Der volle Inhalt der Quelle

Annotation:

Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method for detecting software bugs. Systematic property-based testing is a BET approach where developers write test generation programs that describe properties of test inputs. Hybrid test generation programs offer the most expressive way to write desired properties by freely combining declarative filters and imperative generators. However, exploring hybrid test generation programs, to obtain test inputs, is both computationally demanding and challenging to parallelize. We p

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Alghamdi, Ahmed Mohammed, Fathy Elbouraey Eassa, Maher Ali Khamakhem, et al. "Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs." Symmetry 12, no. 9 (2020): 1555. http://dx.doi.org/10.3390/sym12091555.

Der volle Inhalt der Quelle

Annotation:

The importance of high-performance computing is increasing, and Exascale systems will be feasible in a few years. These systems can be achieved by enhancing the hardware’s ability as well as the parallelism in the application by integrating more than one programming model. One of the dual-programming model combinations is Message Passing Interface (MPI) + OpenACC, which has several features including increased system parallelism, support for different platforms with more performance, better productivity, and less programming effort. Several testing tools target parallel applications built by u

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Williams, Marc S. "Early Lessons from the Implementation of Genomic Medicine Programs." Annual Review of Genomics and Human Genetics 20, no. 1 (2019): 389–411. http://dx.doi.org/10.1146/annurev-genom-083118-014924.

Der volle Inhalt der Quelle

Annotation:

Massively parallel sequencing is emerging from research settings into clinical practice, helping the vision of precision medicine to become a reality. The most successful applications are using the tools of implementation science within the framework of the learning health-care system. This article examines the application of massively parallel sequencing to four clinical scenarios: pharmacogenomics, diagnostic testing, somatic testing for molecular tumor characterization, and population screening. For each application, it highlights an exemplar program to illustrate the enablers and challenge

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

HINSEN, KONRAD. "HIGH-LEVEL PARALLEL SOFTWARE DEVELOPMENT WITH PYTHON AND BSP." Parallel Processing Letters 13, no. 03 (2003): 473–84. http://dx.doi.org/10.1142/s0129626403001434.

Der volle Inhalt der Quelle

Annotation:

One of the main obstacles to a more widespread use of parallel computing in computational science is the difficulty of implementing, testing, and maintaining parallel programs. The combination of a simple parallel computation model, BSP, and a high-level programming language, Python, simplifies these tasks significantly. It allows the rapid development facilities of Python to be applied to parallel programs, providing interactive development as well as interactive debugging of parallel programs.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Delamaro, Márcio E., Stevão A. Andrade, Simone R. S. de Souza, and Paulo S. L. de Souza. "Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study." International Journal of Software Engineering and Knowledge Engineering 31, no. 03 (2021): 337–80. http://dx.doi.org/10.1142/s0218194021500121.

Der volle Inhalt der Quelle

Annotation:

Mutation testing is well known as one of the most effective approaches to create test cases, which can detect software faults. However, its drawback is the low scalability — if no special attention is given to improve efficiency — that directly affects its application in practice. This paper shows a replication study focused on emphasizing evidence in which the use of distributed processing structures can improve mutation testing. For this purpose, an architecture that enables mutation testing concurrent execution was designed. Five load balancing algorithms responsible for controlling the dis

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Suijlen, Wijnand. "Mock BSPlib for Testing and Debugging Bulk Synchronous Parallel Software." Parallel Processing Letters 27, no. 01 (2017): 1740001. http://dx.doi.org/10.1142/s0129626417400011.

Der volle Inhalt der Quelle

Annotation:

Testing parallel applications on a large number of processors is often impractical. Not only does it require access to scarce compute resources, but tracking down defects with the available debugging tools can often be very time consuming. Highly parallel codes should be testable on one processor at a time, so that a developer’s workstation is sufficient for executing and debugging test cases on millions of processes. Thanks to its supersteps, Bulk Synchronous Parallel programs are well suited for this kind of testing. This paper presents a mocking library for BSPlib which enables testing of f

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

König, Daniel, and Markus Lohrey. "Parallel identity testing for skew circuits with big powers and applications." International Journal of Algebra and Computation 28, no. 06 (2018): 979–1004. http://dx.doi.org/10.1142/s0218196718500431.

Der volle Inhalt der Quelle

Annotation:

Powerful skew arithmetic circuits are introduced. These are skew arithmetic circuits with variables, where input gates can be labeled with powers [Formula: see text] for binary encoded numbers [Formula: see text]. It is shown that polynomial identity testing for powerful skew arithmetic circuits belongs to [Formula: see text], which generalizes a corresponding result for (standard) skew circuits. Two applications of this result are presented: (i) Equivalence of higher-dimensional straight-line programs can be tested in [Formula: see text]; this result is even new in the one-dimensional case, w

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

AlDhubhani, Raed, Fathy Eassa, and Faisal Saeed. "Exascale Message Passing Interface based Program Deadlock Detection." International Journal of Electrical and Computer Engineering (IJECE) 6, no. 2 (2016): 887. http://dx.doi.org/10.11591/ijece.v6i2.9575.

Der volle Inhalt der Quelle

Annotation:

Deadlock detection is one of the main issues of software testing in High Performance Computing (HPC) and also inexascale computing areas in the near future. Developing and testing programs for machines which have millions of cores is not an easy task. HPC program consists of thousands (or millions) of parallel processes which need to communicate with each other in the runtime. Message Passing Interface (MPI) is a standard library which provides this communication capability and it is frequently used in the HPC. Exascale programs are expected to be developed using MPI standard library. For para

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

AlDhubhani, Raed, Fathy Eassa, and Faisal Saeed. "Exascale Message Passing Interface based Program Deadlock Detection." International Journal of Electrical and Computer Engineering (IJECE) 6, no. 2 (2016): 887. http://dx.doi.org/10.11591/ijece.v6i2.pp887-894.

Der volle Inhalt der Quelle

Annotation:

Deadlock detection is one of the main issues of software testing in High Performance Computing (HPC) and also inexascale computing areas in the near future. Developing and testing programs for machines which have millions of cores is not an easy task. HPC program consists of thousands (or millions) of parallel processes which need to communicate with each other in the runtime. Message Passing Interface (MPI) is a standard library which provides this communication capability and it is frequently used in the HPC. Exascale programs are expected to be developed using MPI standard library. For para

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Fedulov, Alexander S., Yaroslav A. Fedulov, and Anastasiya S. Fedulova. "Joint use of OpenMP and MPI technologies on the nodes of the computational cluster." Journal Of Applied Informatics 16, no. 92 (2021): 60–71. http://dx.doi.org/10.37791/2687-0649-2021-16-2-60-71.

Der volle Inhalt der Quelle

Annotation:

This work is devoted to the problem of implementing an efficient parallel program that solves the asigned task using the maximum available amount of computing cluster resources in order to obtain the corresponding gain in performance with respect to the sequential version of the algorithm. The main objective of the work was to study the possibilities of joint use of the parallelization technologies OpenMP and MPI, considering the characteristics and features of the problems being solved, to increase the performance of executing parallel algorithms and programs on a computing cluster. This arti

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Gibadullin, Ruslan Farshatovich, and Ivan Vladimirovich Viktorov. "Ambiguous Results when Using Parallel Class Methods within the .NET Framework." Программные системы и вычислительные методы, no. 2 (February 2023): 1–14. http://dx.doi.org/10.7256/2454-0714.2023.2.39801.

Der volle Inhalt der Quelle

Annotation:

Parallel programming is a way of writing programs that can run in parallel on multiple processors or cores. This allows programs to process large amounts of data or perform more complex calculations in a reasonable amount of time than would be possible on a single processor. The advantages of parallel programming: increased performance, load sharing, processing large amounts of data, improved responsiveness, increased reliability. In general, parallel programming has many advantages that can help improve the performance and reliability of software systems, especially with the increasing comple

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Miller, Vanessa Rangel, Sean Daugherty, Rupal N. Gupta, et al. "Parallel biochemical and genetic testing informs a timely and accurate diagnosis of MPS VII: Findings from 5 years of sponsored testing programs." Molecular Genetics and Metabolism 141, no. 2 (2024): 108015. http://dx.doi.org/10.1016/j.ymgme.2023.108015.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Darondeau, Philippe, and Boubakar Gamatie. "Infinitary Behaviours and Infinitary Observations." Fundamenta Informaticae 13, no. 3 (1990): 353–86. http://dx.doi.org/10.3233/fi-1990-13308.

Der volle Inhalt der Quelle

Annotation:

We present a denotational model for CCS, accounting for finite as well as infinite behaviours. The meanings of programs are combinations of ready sets and infinitary languages. The model is shown fully abstract w.r.t. the equivalence u ∼ v if L(u,t)=L(v,t) for any testing program t, where L(p,q) is the set of totally ordered traces of communications between programs p and q set in parallel.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Zhao, An, Yihua Yan, Wei Wang, Linjie Chen, Jian Zhang, and Fei Liu. "Five-element Digital Corrector Receiver for the Chinese Spectral Radioheliograph." Proceedings of the International Astronomical Union 8, S294 (2012): 497–98. http://dx.doi.org/10.1017/s1743921313003025.

Der volle Inhalt der Quelle

Annotation:

AbstractThe design of five-element digital receiver system is decribed. At first, we analyzed the process of data processing in the receiver system. Then we wrote programs to implement the FIR parallel filter and showed its simulation results. Finally the testing result of the correlation receiver system is demonstrated.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Vlasenko, A. Yu, M. A. Michurov, V. D. Tsarev, and M. A. Kurbatov. "Constructing a Complex for Automated Debugging of Fragmented Programs." Vestnik NSU. Series: Information Technologies 22, no. 1 (2024): 5–20. http://dx.doi.org/10.25205/1818-7900-2024-22-1-5-20.

Der volle Inhalt der Quelle

Annotation:

The paper is devoted to the authors’ tools for automated debugging of fragmented programs in the LuNA (Language for Numerical Algorithms) system. The LuNA system uses approach of fragmented programming, which allows the researcher to design parallel programs in an automated mode.The main problem discussed in the paper is the detection of errors specific to LuNA programs. The operation algorithms of four developed tools for automated debugging of LuNA programs are described. Three of them are based on the static analysis approach and differ in the intermediate representations used. The first us

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Tiara, Rahmania Hadiningrum, and Rochimah Siti. "Comparative analysis of genetic algorithms for automated test case generation to support software quality." IAES International Journal of Artificial Intelligence (IJ-AI) 14, no. 1 (2025): 252–59. https://doi.org/10.11591/ijai.v14.i1.pp252-259.

Der volle Inhalt der Quelle

Annotation:

Software testing is crucial for enhancing software quality, but designing test cases is a labor-intensive, resource-intensive, and time-consuming process. Additionally, test case designers often introduce subjectivity when creating test cases manually. To address these challenges, this paper compares three different approaches for automatically generating program branch coverage test cases: the parallel data generation algorithm (PDGA), a standard genetic algorithm (SGA), and a random test generation method. By leveraging genetic algorithms and parallel data generation techniques, these automa

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Aluisio, Adam, Scarlett Bergam, Janet Sugut, Kate Guthrie, John Kinuthia, and Michael Mello. "Emergency Department-Based HIV Testing Services and Self-Testing Programs: A Qualitative Study of Healthcare Providers and Patients in Kenya." Prehospital and Disaster Medicine 38, S1 (2023): s137. http://dx.doi.org/10.1017/s1049023x23003618.

Der volle Inhalt der Quelle

Annotation:

Introduction:Young people in Sub-Saharan Africa, especially males, have been insufficiently engaged in HIV Testing Services (HTS). In Kenya, these persons are often treated in emergency departments (EDs) for injuries, a healthcare interaction where HTS including HIV self-testing (HIVST) could be leveraged. There is, however, limited data from stakeholders on ED-HTS which impedes programmatic advancement.Method:A qualitative study was completed to understand facilitators and challenges for ED-HTS and HIVST delivery in Kenya (12/2021-03/2022). Data were collected via 28 in-depth patient intervie

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Livinskii, Vsevolod, Dmitry Babokin, and John Regehr. "Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 1826–47. http://dx.doi.org/10.1145/3591295.

Der volle Inhalt der Quelle

Annotation:

Compilers are part of the foundation upon which software systems are built; they need to be as correct as possible. This paper is about stress-testing loop optimizers; it presents a major reimplementation of Yet Another Random Program Generator (YARPGen), an open-source generative compiler fuzzer. This new version has found 122 bugs, both in compilers for data-parallel languages, such as the Intel® Implicit SPMD Program Compiler and the Intel® oneAPI DPC++ compiler, and in C++ compilers such as GCC and Clang/LLVM. The first main contribution of our work is a novel method for statically avoidin

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Hadiningrum, Tiara Rahmania, and Siti Rochimah. "Comparative analysis of genetic algorithms for automated test case generation to support software quality." IAES International Journal of Artificial Intelligence (IJ-AI) 14, no. 1 (2025): 252. http://dx.doi.org/10.11591/ijai.v14.i1.pp252-259.

Der volle Inhalt der Quelle

Annotation:

<span lang="EN-US">Software testing is crucial for enhancing software quality, but designing test cases is a labor-intensive, resource-intensive, and time-consuming process. Additionally, test case designers often introduce subjectivity when creating test cases manually. To address these challenges, this paper compares three different approaches for automatically generating program branch coverage test cases: the parallel data generation algorithm (PDGA), a standard genetic algorithm (SGA), and a random test generation method. By leveraging genetic algorithms and parallel data generation

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Sorensen, Tyler, Lucas F. Salvador, Harmit Raval, et al. "Specifying and testing GPU workgroup progress models." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–30. http://dx.doi.org/10.1145/3485508.

Der volle Inhalt der Quelle

Annotation:

As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depends on a degree of relative forward progress between threads (or thread groups). Unfortunately, many GPU programming specifications (e.g. Vulkan and Metal) say almost nothing about relative forward progress guarantees between workgroups. Although prior work has proposed a spectrum of plausible progress models for GPUs, cross-vendor specifications ha

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Debeer, Dries, Peter W. van Rijn, and Usama S. Ali. "Multidimensional Test Assembly Using Mixed-Integer Linear Programming: An Application of Kullback–Leibler Information." Applied Psychological Measurement 44, no. 1 (2019): 17–32. http://dx.doi.org/10.1177/0146621619827586.

Der volle Inhalt der Quelle

Annotation:

Many educational testing programs require different test forms with minimal or no item overlap. At the same time, the test forms should be parallel in terms of their statistical and content-related properties. A well-established method to assemble parallel test forms is to apply combinatorial optimization using mixed-integer linear programming (MILP). Using this approach, in the unidimensional case, Fisher information (FI) is commonly used as the statistical target to obtain parallelism. In the multidimensional case, however, FI is a multidimensional matrix, which complicates its use as a stat

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Gnutov, Maksim S., Sergey K. Gnutov, and Viktor N. Titarenko. "Evaluation of the efficiency of automated system based on processors with VLIW and X86-64 architectures through testing." Vestnik of Samara State Technical University. Technical Sciences Series 32, no. 1 (2024): 18–31. http://dx.doi.org/10.14498/tech.2024.1.2.

Der volle Inhalt der Quelle

Annotation:

The typical architectural concepts of popular processor families, their features, advantages and disadvantages are considered. Examples of structures of known processors are given. Technical limitations for the further development of popular RISC (CISC) architectures in accordance with the von Neumann machine paradigm are outlined. Attention is drawn to the increase in the size of the hardware scheduler and the resulting shortage of space on the chip with an increase in the number of functional modules on cores with a “sequential” structure. The advantages of the VLIW concept and the compiler

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Cvetković, Predrag. "Law as program code: Introductory remarks." Revija Kopaonicke skole prirodnog prava 4, no. 2 (2022): 75–88. http://dx.doi.org/10.5937/rkspp2202075c.

Der volle Inhalt der Quelle

Annotation:

Coding of of legal rules is the process of converting a legal norm into one of the programming languages. A legal rule that exists in both text and computer code/program form is labeled as the "Law as Code" (LAC). The optimal goal of the LAC methodology is to enable the meaning of the norm in written form to be preserved in its version in programming code. The scope and importance of the LAC have been recognized in the EU Law: there are also general documents adopted by individual states as a guide for its application. The success of the above-mentioned process is monitored in three ways: thro

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Kost, Gerald J. "Preventing Medical Errors in Point-of-Care Testing." Archives of Pathology & Laboratory Medicine 125, no. 10 (2001): 1307–15. http://dx.doi.org/10.5858/2001-125-1307-pmeipo.

Der volle Inhalt der Quelle

Annotation:

Abstract Objective.—To prevent medical errors, improve user performance, and enhance the quality, safety, and connectivity (bidirectional communication) of point-of-care testing. Participants.—Group A included 37 multidisciplinary experts in point-of-care testing programs in critical care and other hospital disciplines. Group B included 175 professional point-of-care managers, specialists, clinicians, and researchers. The total number of participants equaled 212. Evidence.—This study followed a systems approach. Expert specifications for prevention of medical errors were incorporated into the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

GRIESKAMP, WOLFGANG, NICOLAS KICILLOF, and NIKOLAI TILLMANN. "ACTION MACHINES: A FRAMEWORK FOR ENCODING AND COMPOSING PARTIAL BEHAVIORS." International Journal of Software Engineering and Knowledge Engineering 16, no. 05 (2006): 705–26. http://dx.doi.org/10.1142/s0218194006002963.

Der volle Inhalt der Quelle

Annotation:

We describe action machines, a framework for encoding and composing partial behavioral descriptions. Action machines encode behavior as a variation of labeled transition systems where the labels are observable activities of the described artifact and the states capture full data models. Labels may also have structure, and both labels and states may be partial with a symbolic representation of the unknown parts. Action machines may stem from software models or programs, and can be composed in a variety of ways to synthesize new behaviors. The composition operators described here include synchro

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

AUGUSTON, M., and P. FRITZSON. "PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS." International Journal of Software Engineering and Knowledge Engineering 06, no. 04 (1996): 609–40. http://dx.doi.org/10.1142/s0218194096000259.

Der volle Inhalt der Quelle

Annotation:

PARFORMAN (PARallel FORMal ANnotation language) is a high-level specification language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs. Models of intended or faulty target program behavior can be succinctly specified in PARFORMAN. These models are then compared with the actual behavior in terms of execution traces of events, in order to localize possible bugs. PARFORMAN can also be used as a general language for expressing computations over target program execution histories. PARFORM AN is based on a precise model of target progra

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Cross, Lisa Maria, Amelia DeFosset, Bola Yusuf, et al. "Exploring barriers and facilitators of implementing an at-home SARS-CoV-2 antigen self-testing intervention: The Rapid Acceleration of Diagnostics—Underserved Populations (RADx-UP) initiatives." PLOS ONE 18, no. 11 (2023): e0294458. http://dx.doi.org/10.1371/journal.pone.0294458.

Der volle Inhalt der Quelle

Annotation:

Background Evaluating community-based programs provides value to researchers, funding entities, and community stakeholders involved in program implementation, and can increase program impact and sustainability. To understand factors related to program implementation, we aimed to capture the perspective of community partners engaged in organizing and executing community-engaged programs to distribute COVID-19 at-home tests in underserved communities. Methods We conducted semi-structured interviews and focus groups with community-based stakeholders informed by the Outcomes for Implementation Res

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Bazzi, Angela R., Alexis M. Roth, Christopher F. Akiba, et al. "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)." PLOS ONE 20, no. 2 (2025): e0319340. https://doi.org/10.1371/journal.pone.0319340.

Der volle Inhalt der Quelle

Annotation:

With changing drug supplies and associated drug consumption behaviors, HIV transmission has increased among people who inject drugs in the United States. 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, even within syringe services programs (SSPs). In this organizational-level interrupted time series randomized controlled trial, we will assess the effectiveness and cost-effectiveness of an implementation strategy, the Systems Analysis and Improveme

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Lohuis, Michael M. "189 Choices ahead for dairy cattle breeding programs." Journal of Animal Science 97, Supplement_3 (2019): 22–23. http://dx.doi.org/10.1093/jas/skz258.043.

Der volle Inhalt der Quelle

Annotation:

Abstract Dairy cattle breeding programs have been transformed from conventional progeny-testing schemes to genomic selection paired with nucleus herd breeding in the span of one decade. This was spurred by the simultaneous advances in low-cost SNP genotyping, genomic selection methodology and reproductive biotechnologies. The rates of genetic progress have approximately doubled in this time but so have increases in inbreeding levels. This was driven by intense competition between AI studs and farmer adherence to common selection indices which has concentrated selection on very elite segments o

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Retnaningsih, Woro, Djatmiko, and Sumarlam. "Developing Model Assesement for Learning (AFL) to Improve Quality and Evaluation in Pragmatic Course in IAIN Surakarta." English Language Teaching 10, no. 5 (2017): 97. http://dx.doi.org/10.5539/elt.v10n5p97.

Der volle Inhalt der Quelle

Annotation:

The research objective is to develop a model of Assessment for Learning (AFL) in Pragmatic course in IAIN Surakarta. The research problems are as follows: How did the lecturer develop a model of AFL? What was the form of assessment information used as the model of AFL? How was the results of the implementation of the model of assessment. The method used in this study is Research, Development and Diffusion. There were three steps activities in this model. The first step, the researcher done the activities included doing the basic scientific inquiry, investigation issues of education, data colle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Singh, Ajit. "Communication Coroutines For Parallel Program Using DW26010 Many Core Processor." Indonesian Journal of electronics, electromedical engineering, and medical informatics 3, no. 1 (2021): 15–20. http://dx.doi.org/10.35882/ijeeemi.v3i1.3.

Der volle Inhalt der Quelle

Annotation:

Communication between parallel programs is an indispensable part of parallel computing. SW26010 is a heterogeneous many-core processor used to build the Sunway Taihu Light supercomputer, which is well suited for parallel computing. There is the designing and implementing a coroutine scheduling system on the SW26010 processor to improve its concurrency, it is very important and necessary to achieve communication between coroutines for the coroutine scheduling system in advance. Therefore, this paper proposes a communication system for data and information exchange between coroutines on SW26010

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Remes-Troche, José María, Gabriela Hinojosa-Garza, Priscilla Espinosa-Tamez, et al. "Faecal immunochemical test-based colorectal cancer screening in Mexico: an initial experience." Family Practice 37, no. 3 (2020): 321–24. http://dx.doi.org/10.1093/fampra/cmz078.

Der volle Inhalt der Quelle

Annotation:

Abstract Background In middle-income countries, the burden of colorectal cancer (CRC) is increasing in parallel with resources for diagnosis and treatment. There is a potential benefit of CRC screening programs in Mexico. Objective Since there are no organized screening programs in the country, we explored the willingness of individuals to complete a faecal immunochemical testing (FIT) based CRC screening program and its potential benefit in Mexico. Methods We conducted a CRC screening program pilot in Veracruz, Mexico, during 2015–16 using FIT. Individuals with FIT results &gt;100 ng of h

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Lin, Zhengyao, Joshua Gancher, and Bryan Parno. "FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 499–526. http://dx.doi.org/10.1145/3689729.

Der volle Inhalt der Quelle

Annotation:

Coarse-grained reconfigurable arrays (CGRAs) have gained attention in recent years due to their promising power efficiency compared to traditional von Neumann architectures. To program these architectures using ordinary languages such as C, a dataflow compiler must transform the original sequential, imperative program into an equivalent dataflow graph, composed of dataflow operators running in parallel. This transformation is challenging since the asynchronous nature of dataflow graphs allows out-of-order execution of operators, leading to behaviors not present in the original imperative progr

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Terteac, Dumitru, Svetlana Armasu, Vladimir Degteari, et al. "Cercetarea unor noi produse biologice contra principalelor boli micotice ale viței-de-vie: mana, făinarea și putregaiul-cenușiu." Pomicultura, Viticultura şi Vinificaţia, no. 2(88) (December 2022): 31–39. http://dx.doi.org/10.53082/1857-3142.22.88.05.

Der volle Inhalt der Quelle

Annotation:

The creation and elaboration of harmless programs for the integrated protection of vineyards against diseases and pests with a minimum application of polluting chemicals for the environment, is one of the main objectives for the development of sustainable viticulture. The control of the main diseases (mildew, powdery mildew, gray rot) in the current conditions is a particularly important issue, because (as a result of climate change in recent decades) the virulence of phytopathogens has also increased, which is constantly evolving (change) depending on biotic (genetic, anthropogenic) and abiot

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Gupta, Varun, Durg Singh Chauhan, and Kamlesh Dutta. "Hybrid Regression Testing Based on Path Pruning." International Journal of Systems and Service-Oriented Engineering 5, no. 1 (2015): 35–55. http://dx.doi.org/10.4018/ijssoe.2015010103.

Der volle Inhalt der Quelle

Annotation:

Regression testing has been studied by various researchers for developing and testing the quality of software. Regression testing aims at re-execution of evolved software code to ensure that no new errors had been introduced during the process of modification. Since re-execution of all test cases is not feasible, selecting manageable number of test cases to execute modified code with good fault detection rate is a problem. In past few years, various hybrid based regression testing approaches have been proposed and successfully employed for software testing, aiming at reduction in the number of

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Juma, Mwinyi, and Kalafunja Osaki. "The Achievement of USAIDS Tusome Pamoja in Improving Early Grade Reading Skills in Primary Schools in Morogoro Municipal." World Journal of Educational Research 9, no. 4 (2022): p91. http://dx.doi.org/10.22158/wjer.v9n4p91.

Der volle Inhalt der Quelle

Annotation:

Following establishment of the low reading and writing levels among primary school levels (UWEZO, 2013), three projects were designed to test possible programs to raise primary school reading levels. These included EQUIPT literacy program, LANES and Tusome Pamoja programs. They ran parallel in Tanzania, each operating in separate districts of focus. Tusome Pamoja operated in Mbeya, Zanzibar and Morogoro. The aim of this study was to evaluate the achievement of Tusome Pamoja program in improving reading ability of standard two pupils in primary schools. Only 4 school were involved in the study.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Rowe, Alexander D., Stephanie D. Stoway, Henrik Åhlman, et al. "A Novel Approach to Improve Newborn Screening for Congenital Hypothyroidism by Integrating Covariate-Adjusted Results of Different Tests into CLIR Customized Interpretive Tools." International Journal of Neonatal Screening 7, no. 2 (2021): 23. http://dx.doi.org/10.3390/ijns7020023.

Der volle Inhalt der Quelle

Annotation:

Newborn screening for congenital hypothyroidism remains challenging decades after broad implementation worldwide. Testing protocols are not uniform in terms of targets (TSH and/or T4) and protocols (parallel vs. sequential testing; one or two specimen collection times), and specificity (with or without collection of a second specimen) is overall poor. The purpose of this retrospective study is to investigate the potential impact of multivariate pattern recognition software (CLIR) to improve the post-analytical interpretation of screening results. Seven programs contributed reference data (N =

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Evtikhov, Mikhail G., and Vladimir G. Evtikhov. "Computational experiment – nondimensionalization of equations, computational stability and program testing." Radioelectronics. Nanosystems. Information Technologies. 14, no. 3 (2022): 331–40. http://dx.doi.org/10.17725/rensit.2022.14.331.

Der volle Inhalt der Quelle

Annotation:

From the stages of the computational experiment, the stage of non-dimensionalization of the initial equation (system of equations) of the problem is considered - the replacement of its variables by the product of the corresponding dimensionless quantities by their units of measurement with subsequent transformations. Such a transition from a physical model to a mathematical (dimensionless) one makes it possible to obtain software implementations for research. A critical evaluation of its complexity is carried out and possible errors in the results are evaluated. At the same time, new versions

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Dutta, Pankaj Lushan, Kallappan Thangamuthu Parthiban, Indrani Nath, and Manasee Hazarika Ahmed. "Mechanical Characterization of Clonal Mulberry (Morus spp.) Genotypes for Multifarious Industrial Timber Applications." Archives of Current Research International 25, no. 7 (2025): 714–25. https://doi.org/10.9734/acri/2025/v25i71372.

Der volle Inhalt der Quelle

Annotation:

Aims: This study aimed to assess the mechanical properties of five mulberry (Morus spp.) clonal genetic resources to identify superior candidates for diverse timber-based industrial applications. Study Design: The investigation employed a Completely Randomized Design (CRD) with replicates, and statistical analyses were performed using ANOVA and Duncan’s Multiple Range Test (DMRT) at a 5% significance level. Place and Duration of Study: Wood samples were collected from a 7-year-old plantation at the Forest College and Research Institute, Mettupalayam, and tests were conducted at the Central Woo

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Sokurov, Aslan A. "Numerical calculation of integrals in the density functional theory in the electron gas approximation using CUDA technology." Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes 20, no. 3 (2024): 335–49. http://dx.doi.org/10.21638/spbu10.2024.303.

Der volle Inhalt der Quelle

Annotation:

The expression for the potential energy of interaction of two neutral atoms in the absence of a chemical bond consists of the sum of multiple and improper integrals. Due to the cumbersome nature of the functions, finding these integrals in explicit form is not possible. Software systems widely used in practice based on standard methods of computational mathematics are also not capable of providing satisfactory accuracy in their numerical calculations in a short time. In quantum chemistry and computational physics, the above greatly limits approaches to modeling the properties and structures of

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Shangase, Ntokozo N. "Interoperability Challenges in Multivendor IEC 61850 Devices for Parallel Power Transformer Differential Protection." International Journal of Electrical and Electronic Engineering & Telecommunications 13, no. 1 (2024): 45–57. http://dx.doi.org/10.18178/ijeetc.13.1.45-57.

Der volle Inhalt der Quelle

Annotation:

Interoperability of GOOSE messages is essential for the proper operation of protection schemes such as the parallel power transformer (PTRF) differential protection scheme, especially when using multivendor IEC 61850 devices. GOOSE messages allow for fast and reliable communication between intelligent electronic devices (IEDs) and are based on Ethernet communication. To ensure the interoperability of GOOSE messages between multivendor devices, adherence to the IEC 61850 standard specifications is crucial. The standard defines the format and content of GOOSE messages, including the data object

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Prykhodko, S., I. Lappo, and Y. Dobryshkin. "DEVELOPMENT OF THE GENERAL REQUIREMENTS FOR THERMAL PRESSURE CHAMBER." Наукові праці Державного науково-дослідного інституту випробувань і сертифікації озброєння та військової техніки, no. 6 (December 30, 2020): 81–86. http://dx.doi.org/10.37701/dndivsovt.6.2020.09.

Der volle Inhalt der Quelle

Annotation:

Inspection of armament and military equipment (AME) for the quality of manufacture and purpose tasks performance is carried out exclusively through testing. Tasks of conducting tests within the framework of ensuring the implementation of State programs for equipping the Armed Forces of Ukraine with modern armament and military equipment require proper instrumentation of the laboratory and test base of the Armed Forces of Ukraine, which is necessary to determine during tests numerical indicators of technical and operational characteristics in accordance with requirements of state standards para

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Moon, Sungdo, Byoungro So, and Mary W. Hall. "Combining Compile-Time and Run-Time Parallelization." Scientific Programming 7, no. 3-4 (1999): 247–60. http://dx.doi.org/10.1155/1999/490628.

Der volle Inhalt der Quelle

Annotation:

This paper demonstrates that significant improvements to automatic parallelization technology require that existing systems be extended in two ways: (1) they must combine high‐quality compile‐time analysis with low‐cost run‐time testing; and (2) they must take control flow into account during analysis. We support this claim with the results of an experiment that measures the safety of parallelization at run time for loops left unparallelized by the Stanford SUIF compiler’s automatic parallelization system. We present results of measurements on programs from two benchmark suites – SPECFP95and N

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Liu, Hongming, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li. "Scalable linear invariant generation with Farkas’ lemma." Proceedings of the ACM on Programming Languages 6, OOPSLA2 (2022): 204–32. http://dx.doi.org/10.1145/3563295.

Der volle Inhalt der Quelle

Annotation:

Invariant generation is a classical problem to automatically generate invariants to aid the formal analysis of programs. In this work, we consider the problem of generating tight linear-invariants over affine programs (i.e., programs with affine guards and updates) without a prescribed goal property. In the literature, the only known sound and complete characterization to solve this problem is via Farkas’ Lemma (FL), and has been implemented through either quantifier elimination or reasonable heuristics. Although FL-based approaches can generate highly accurate linear invariants from the compl

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

S., Tabakovic, Zivanovic S., Dimic Z., and Zeljkovic M. "Programming of 3-Axis Hybrid Kinematics CNC Machine for Rapid Prototyping Using Subtractive and Additive Processes." Journal of Mechatronics, Automation and Identification Technology 6, no. 4 (2022): 16–21. https://doi.org/10.5281/zenodo.8369663.

Der volle Inhalt der Quelle

Annotation:

The paper presents the programming and program verification on a 3-axis hybrid kinematics CNC machine for rapid prototyping using subtractive and additive processes. The original hybrid (parallel-serial) 3-axis O-X glide mechanism developed to build a rapid prototyping machine and multifunctional machine tools is presented. The paper analyzes the available programming software, which can be one of the standard CAD/CAM systems or a specialized CAM system, for subtractive processes, i.e. desktop milling. For the additive processes, the software for generating G code based on the STL file as well

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!