Relevant bibliographies by topics / Paraller programs testing

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Paraller programs testing'

Author: Grafiati
Published: 28 June 2021
Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Paraller programs testing.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Paraller programs testing"

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Dissertations / Theses on the topic "Paraller programs testing"

1

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.

Full text
Abstract:
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, and other styles
2

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/.

Full text
Abstract:
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, and other styles
3

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/.

Full text
Abstract:
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, and other styles
4

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/.

Full text
Abstract:
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, and other styles
5

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.

Full text
Abstract:
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, and other styles
6

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

Full text
Abstract:
碩士<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, and other styles

Books on the topic "Paraller programs testing"

1

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Paraller programs testing"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Paraller programs testing"

1

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.

Full text
Abstract:
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, and other styles
2

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.

Full text
Abstract:
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, and other styles
3

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

Full text
Abstract:
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, and other styles
4

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.

Full text
Abstract:
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, and other styles
5

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.

Full text
Abstract:
Há uma alta demanda por programas paralelos corretos, principalmente devido à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 nã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 comunicação e sincronização com comportamentos dinâmicos, tais como os presentes em loops. Este artigo propõe uma nova ferramenta de software para o tes
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Paraller programs testing"

1

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.

Full text
Abstract:
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, and other styles
2

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.

Full text
Abstract:
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, and other styles
3

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.

Full text
Abstract:
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, and other styles
4

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.

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Paraller programs testing' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography