Thematische Bibliographien / Paraller programs testing

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur 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 den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen 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.

Zeitschriftenartikel zum Thema "Paraller programs testing"

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

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

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

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

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

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

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

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

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

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

Mehr Quellen

Dissertationen zum Thema "Paraller programs testing"

Ling, David. "Dynamická analýza paralelních programů na platformě .NET Framework." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445497.

Der volle Inhalt der Quelle

Annotation:

The thesis deals with a design and implementation of the dynamic analyser of parallel applications on the .NET Framework platform. The problematic of synchronization in parallel applications, the instrumentation of such an applications, testing of parallel applications and a specifics of these problems for C\# language and for the platform .NET Framework are discussed in the theoretical part. Selected algorithms for detection of deadlocks (the algorithm of Goodlock) and data-race errors (the algorithm of FastTrack and AtomRace) are described in detail in this part as well. Requirements for the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Andrade, Stevão Alves de. "Execução paralela de programas como suporte ao teste de mutação." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21112016-103423/.

Der volle Inhalt der Quelle

Annotation:

Teste de software desempenha um papel fundamental no processo de produção de um produto de software de qualidade. Com o passar dos anos, diversas técnicas e critérios de teste de software foram desenvolvidos a fim de estabelecer meios e métricas para guiar a criação de casos de teste efetivos, capazes de evidenciar defeitos no produto avaliado. Dentre os principais critérios para teste de software está o Teste de Mutação, que foi amplamente difundido e é tido como uma das abordagens mais eficazes para guiar a criação de conjuntos de casos de teste capazes de revelar defeitos em software. Entre

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Endo, André Takeshi. "Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21052008-111500/.

Der volle Inhalt der Quelle

Annotation:

WEb Services constituem uma tecnologia emergente utilizada para disponibilização de serviços na Web. Devido aos complexos processos de negócio existentes, esses serviços são combinados para que operem seguindo um fluxo de trabalho. Esse processo é chamado de composição de Web Services. Como no processo de desenvolvimento de um software tradicional, a atividade de teste é fundamental no processo de desenvolvimento da composição de Web Services. Neste trabalho é proposta uma estratégia de teste para a composição de Web Services, em que especificações de composições são transformadas para um mode

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Batista, Raphael Negrisoli. "Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/.

Der volle Inhalt der Quelle

Annotation:

O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disputa (race variant). Nesta técnica as variantes de disputa são geradas a partir de arquivos de rastro de uma execução não-determinística e algoritmos de execução determinística são utilizados para forçar que di

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Janoušek, Martin. "Dynamické analyzátory pro platformu SearchBestie." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363883.

Der volle Inhalt der Quelle

Annotation:

This master thesis deals with the design and implementation of dynamic analyzer of parametrized contracts . In the first part of the thesis , the problematics of testing of parallel programs are discussed and issues when dealing with parallelism are described . Further , methods how to reveal concurrency bugs via dynamic analysis are described , in particular FastTrack and Contract validator. The second part of the thesis proposes an extension for RoadRunner framework and SearchBestie platform for contract validator with parameters.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hwan, Hwang Gwan, and 黃冠寰. "A systematic parallel testing method for concurrent program." Thesis, 1993. http://ndltd.ncl.edu.tw/handle/22315907608667548436.

Der volle Inhalt der Quelle

Annotation:

碩士<br>國立交通大學<br>資訊工程研究所<br>81<br>The validation process of a concurrent program includes the testing and debugging phase. The testing of concurrent programs is the process of executing the concurrent program and then verifies the results to detect whether the concurrent program existing bugs or not. We suggest a systematic parallel testing method which can sutomatically test the concurrent program in parallel without repeating the same test. The scheme can even exhaust all the possible test

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bücher zum Thema "Paraller programs testing"

National Institute of Standards and Technology (U.S.), ed. S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

National Institute of Standards and Technology (U.S.), ed. S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

National Institute of Standards and Technology (U.S.), ed. S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

National Institute of Standards and Technology (U.S.), ed. S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

National Institute of Standards and Technology (U.S.), ed. S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

National Institute of Standards and Technology (U.S.), ed. S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Carver, Richard H., and Kuo-Chung Tai. Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs. Wiley & Sons, Incorporated, John, 2007.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs. Wiley-Interscience, 2005.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Carver, Richard H., and Kuo-Chung Tai. Modern Multithreading : Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs. Wiley-Interscience, 2005.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

S-Check, by example. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1997.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Paraller programs testing"

Krawczyk, H., and B. Wiszniewski. "Interactive testing tool for parallel programs." In Software Engineering for Parallel and Distributed Systems. Springer US, 1996. http://dx.doi.org/10.1007/978-0-387-34984-8_9.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Farchi, Eitan. "Smart Interleavings for Testing Parallel Programs." In Programming multi-core and many-core computing systems. John Wiley & Sons, Inc., 2017. http://dx.doi.org/10.1002/9781119332015.ch16.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Jackson, David, and Martin R. Woodward. "Parallel Firm Mutation of Java Programs." In Mutation Testing for the New Century. Springer US, 2001. http://dx.doi.org/10.1007/978-1-4757-5939-6_10.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Noller, Yannic. "Hybrid Differential Software Testing." In Ernst Denert Award for Software Engineering 2020. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_9.

Der volle Inhalt der Quelle

Annotation:

AbstractDifferential software testing is important for software quality assurance as it aims to automatically generate test inputs that reveal behavioral differences in software. Detecting regression bugs in software evolution, analyzing side-channels in programs, maximizing the execution cost of a program over multiple executions, and evaluating the robustness of neural networks are instances of differential software analysis to generate diverging executions of program paths. The key challenge thereby is to simultaneously reason about multiple program paths, often across program variants, in

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kranzlmüller, Dieter, Martin Maurer, Markus Löberbauer, Christian Schaubschläger, and Jens Volkert. "Ant — A Testing Environment for Nondeterministic Parallel Programs." In Distributed and Parallel Systems. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1167-0_15.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kranzlmüller, D., Ch Schaubschläger, and J. Chassin de Kergommeaux. "Correction of Monitor Intrusion for Testing Nondeterministic MPI-Programs." In Euro-Par’99 Parallel Processing. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48311-x_17.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gilliland, C. Taylor, William Heetderks, Krishna Juluru, et al. "11 Accelerating Diagnostic Innovation for Pandemic Control." In Principles and Practice of Emergency Research Response. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-48408-7_13.

Der volle Inhalt der Quelle

Annotation:

AbstractAny serious outbreak of a novel infectious disease requires rapid innovation in testing technologies that can efficiently and accurately screen and diagnose active infection on both the individual and population levels. Delays in diagnostic testing imperil containment of an outbreak and delay control of a pandemic. In response to the dearth of diagnostics for severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) at the outset of the coronavirus disease 2019 (COVID-19) pandemic, the U.S. National Institutes of Health (NIH) launched the Rapid Acceleration of Diagnostics (RADx) ini

APA, Harvard, Vancouver, ISO und andere Zitierweisen

de Souza, Paulo Lopes, Eduardo T. Sawabe, Adenilso da Silva Simão, Silvia R. Vergilio, and Simone do Rocio Senger de Souza. "ValiPVM - A Graphical Tool for Structural Testing of PVM Programs." In Recent Advances in Parallel Virtual Machine and Message Passing Interface. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87475-1_35.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Aljaafari, Fatimah, Fedor Shmarov, Edoardo Manino, Rafael Menezes, and Lucas C. Cordeiro. "EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_33.

Der volle Inhalt der Quelle

Annotation:

AbstractCombining different verification and testing techniques together could, at least in theory, achieve better results than each individual one on its own. The challenge in doing so is how to take advantage of the strengths of each technique while compensating for their weaknesses. EBF 4.2 addresses this challenge for concurrency vulnerabilities by creating Ensembles of Bounded model checkers and gray-box Fuzzers. In contrast with portfolios, which simply run all possible techniques in parallel, EBF strives to obtain closer cooperation between them. This goal is achieved in a black-box fas

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pacheco, Hugo, Jonathan Pino, Julio Santana, Pablo Ulloa, and Jorge E. Pezoa. "Classifying Execution Times in Parallel Computing Systems: A Classical Hypothesis Testing Approach." In Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25085-9_84.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Paraller programs testing"

Di Gianfrancesco, A., L. Cipolla, D. Venditti, S. Neri, and M. Calderini. "Creep Behavior and Microstructural Analysis of FB2 Trial Rotor Steel." In AM-EPRI 2007, edited by R. Viswanathan, D. Gandy, and K. Coleman. ASM International, 2007. https://doi.org/10.31399/asm.cp.am-epri-2007p0366.

Der volle Inhalt der Quelle

Annotation:

Abstract The development of new ferritic-martensitic steels for rotor applications was a primary focus of the joint research projects COST 501 and COST 522. During COST 501, multiple trial compositions of 9-10% chromium steels underwent comprehensive testing, with the COST 522 project ultimately selecting the most promising candidate, FB2, a 10% Cr steel containing cobalt and boron additions, notably without tungsten. Società delle Fucine (SdF) successfully produced an FB2 prototype rotor using a conventional manufacturing process involving ladle furnace and vacuum degassing techniques. A comp

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kowalski, Angel R., Jason Charles Land, and W. Brain Holtsbaum. "Effective Pipeline Corrosion Monitoring in Regions Impacted by External DC Polarization Factors." In CONFERENCE 2024. AMPP, 2024. https://doi.org/10.5006/c2024-21132.

Der volle Inhalt der Quelle

Annotation:

Abstract Effective pipeline external corrosion control can be achieved by maintaining an adequate balance between the coating condition and the cathodic protection level. When a pipeline is in a corridor shared with parallel buried pipelines and high voltage alternating current (HVAC) power transmission lines, determining the adequacy of the cathodic protection (CP) system becomes a challenge. Misinterpretation of data being collected, or unreliable data can lead to the implementation of either ineffective or excessive mitigation programs for these pipelines. To obtain a better representation

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rocchini, Gabriele. "Some Aspects of the Acid Cleaning of Steam Generators." In CORROSION 1987. NACE International, 1987. https://doi.org/10.5006/c1987-87396.

Der volle Inhalt der Quelle

Annotation:

Abstract Some problems connected with the acid cleaning of steam generators are discussed. They concern the kinetics of magnetic dissolution, electrochemical controls and the use of a pilot plant for developing this technology. In the first part dealing with magnetite dissolution the chemical and electrochemical mechanisms are examined on the basis of experimental results and it is demonstrated that, though in principle they coexist as parallel reactions, the electrochemical path is kinetically favoured. The phenomenon of reductive magnetite dissolution is very valid in determining the quantit

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rollins, B. C., K. J. Evans, J. Esteban, and N. Sutton. "Chemical Treatment to Mitigate Polythionic Acid SCC without a Soda-Ash Wash: Laboratory and Plant Experience." In CONFERENCE 2022. AMPP, 2022. https://doi.org/10.5006/c2022-17993.

Der volle Inhalt der Quelle

Annotation:

Abstract A novel oxidative chemical treatment method is already being used to neutralize pyrophoric metal sulfides present in Hydroprocessing reactor systems. It is hypothesized that this treatment will similarly neutralize the iron sulfides which contribute to the formation of polythionic acids. A simple laboratory test has been developed to test the effectiveness of the chemical treatment. Previous experimental studies into polythionic acid stress corrosion cracking (PTASCC) have typically immersed stainless steel specimens in Saman’s solution, made by bubbling gaseous SO2 and H2S through th

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Diaz, Silvia Diaz, Paulo Lopes Souza, and Simone Souza. "A structural testing tool for MPI programs with loops." In XX Simpósio em Sistemas Computacionais de Alto Desempenho. Sociedade Brasileira de Computação, 2019. http://dx.doi.org/10.5753/wscad.2019.8686.

Der volle Inhalt der Quelle

Annotation:

Há uma alta demanda por programas paralelos corretos, principalmente devido às arquiteturas paralelas atuais, como clusters e processadores multi/many cores. O teste estrutural permite identificar defeitos pela cobertura de estruturas internas de programas paralelos. O não determinismo em programas paralelos traz novos desafios ao teste estrutural. Ele requer ferramentas e modelos de teste especı́ficos, capazes de cobrir primitivas de comunicação e sincronização com comportamentos dinâmicos, tais como os presentes em loops. Este artigo propõe uma nova ferramenta de software para o tes

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Do, Canh Minh, and Kazuhiro Ogata. "Parallel stratified random testing for concurrent programs." In 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C). IEEE, 2020. http://dx.doi.org/10.1109/qrs-c51114.2020.00024.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Diaz, Silvia, and Paulo Sérgio Souza. "Structural testing criteria for concurrent programs considering loop executions." In XX Simpósio em Sistemas Computacionais de Alto Desempenho. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/wscad_estendido.2019.8711.

Der volle Inhalt der Quelle

Annotation:

Parallel programs are imperative for improving performance and problem solving, having an increasing demand on implementing efficient parallel programming techniques. This entails new challenges on software testing to ensure their quality and reliability. Structural testing is a technique that allows the identification of concurrency defects by analyzing the internal structure of the program. However, the non-determinism of concurrent programs has implications in the testing activity, requiring the use of structured methods to reveal defects. Testing criteria support the selection of test case

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gong, Xufang, Yanchen Wang, Ying Zhou, and Bixin Li. "On Testing Multi-threaded Java Programs." In Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007). IEEE, 2007. http://dx.doi.org/10.1109/snpd.2007.165.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Damodaran-Kamal, Suresh K., and Joan M. Francioni. "Testing races in parallel programs with an OtOt strategy." In the 1994 international symposium. ACM Press, 1994. http://dx.doi.org/10.1145/186258.187242.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Endo, André Takeshi, Adenilso da Silva Simão, Simone do Rocio Senger de Souza, and Paulo Sergio Lopes de Souza. "Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs." In Industrial Conference - Practice and Research Techniques (TAIC PART). IEEE, 2008. http://dx.doi.org/10.1109/taic-part.2008.9.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Paraller programs testing"

Mittelstadt. PR-430-153706-R01 Hydrostatic Test Guidelines for Integrity Management. Pipeline Research Council International, Inc. (PRCI), 2016. http://dx.doi.org/10.55274/r0010694.

Der volle Inhalt der Quelle

Annotation:

This work develops a comprehensive guidance for the pipeline industry on the use of hydrostatic testing as an integrity management tool with carbon steel mainline piping as the focus of this work. Selected hydrostatic testing principles considered herein may also be applicable to other forms of transmission and facility piping. At the time of this guideline development, several parallel pipeline industry initiatives with focus on hydrostatic testing have been recently completed, or are currently on-going. Such initiatives include work performed by the Pipeline and Hazardous Materials Safety Ad

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hartell, Julie, Matthew O’Reilly, and Hang Zeng. Measuring Transport Properties of Portland Cement Concrete Using Electrical Resistivity. Illinois Center for Transportation, 2023. http://dx.doi.org/10.36501/0197-9191/23-012.

Der volle Inhalt der Quelle

Annotation:

Although classification tables based on susceptibility to chloride ion permeability are recommended in AASHTO T 358, the classification levels with respect to durability parameters may or may not be adequate. Of interest for concrete pavement performance, this study verifies the recommended classification levels against standard durability testing such as corrosion, salt scaling, and freeze-thaw. The researchers conducted corrosion, salt scaling, and freeze-thaw durability tests in parallel with electrical surface resistivity testing to compare performance classifications for each method. Twen

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Royer, Roger, Jason Van Velsor, Brent Maples, and Scott Riccardella. PR-335-183837-R03 NDE Technician Performance Evaluation Through Practical Application Blind Trials. Pipeline Research Council International, Inc. (PRCI), 2022. http://dx.doi.org/10.55274/r0012200.

Der volle Inhalt der Quelle

Annotation:

PRCI commissioned this project (NDE-2-7) to further investigate the effects of human performance factors on Non-Destructive Evaluation (NDE) performance for conducting Magnetic Particle Inspections (MPI) and Ultrasonic Thickness Testing (UT) on pipeline components. MPI and UT techniques were targeted for this research project because they are among the most well understood and utilized NDE technologies for in-service oil and gas pipeline assessments. This project was conducted in parallel with another PRCI NDE-2-7 project (PR-580-163710), which focused on evaluating the impacts of training pro

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buesseler, Buessele, Daniele Bianchi, Fei Chai, et al. Paths forward for exploring ocean iron fertilization. Woods Hole Oceanographic Institution, 2023. http://dx.doi.org/10.1575/1912/67120.

Der volle Inhalt der Quelle

Annotation:

We need a new way of talking about global warming. UN Secretary General António Guterres underscored this when he said the “era of global boiling” has arrived. Although we have made remarkable progress on a very complex problem over the past thirty years, we have a long way to go before we can keep the global temperature increase to below 2°C relative to the pre-industrial times. Climate models suggest that this next decade is critical if we are to avert the worst consequences of climate change. The world must continue to reduce greenhouse gas emissions, and find ways to adapt and build resili

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!