Výsledky vyhledávání - Parallel programs (Computer programs) Verification.

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings Autor European Symposium on Programming, Sergey, Ilya, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich,…”
Získat plný text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,…”
Získat plný text

Safety Mechanism Design and Verification of Safety Computer Parallel Program Autor Zhang, Yuzhuo, Hong, Chunhua, Cao, Yuan, Ma, Lianchuan, Wen, Yinghong

“… Aiming at the parallel programs, a concurrent program safety management mechanism based on transactional memory is proposed…”
Získat plný text

CADP 2011: a toolbox for the construction and analysis of distributed processes Autor Garavel, Hubert, Lang, Frédéric, Mateescu, Radu, Serwe, Wendelin

“…CADP ( Construction and Analysis of Distributed Processes ) is a comprehensive software toolbox that implements the results of concurrency theory. Started in…”
Získat plný text

Automated Verification of Functional Correctness of Race-Free GPU Programs Autor Kojima, Kensuke, Imanishi, Akifumi, Igarashi, Atsushi

“…We study an automated verification method for functional correctness of parallel programs running on graphics processing units (GPUs…”
Získat plný text

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Autor Muller, Peter

“…This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland,…”
Získat plný text

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering Autor Yu, Cunxi, Ciesielski, Maciej

“… This paper presents a computer algebra technique that performs verification and reverse engineering of GF(<inline-formula> <tex-math notation="LaTeX">{2^{m}} </tex-math></inline-formula…”
Získat plný text

Parallel computational tree logic model‐checking on pushdown systems Autor Ye, Xin, Shi, Jianqi, Huang, Yanhong, Li, Qin, Wei, Hansheng, Chen, Xinyu

“…Summary Model checking and static analysis have been well studied for program verification…”
Získat plný text

Swarm Verification Techniques Autor Holzmann, G. J., Joshi, R., Groce, A.

“…The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades…”
Získat plný text

Selenium WebDriver Quick Start Guide: Write Clear, Readable, and Reliable Tests with Selenium WebDriver 3 Autor Chaubal, Pinakin

“…Selenium WebDriver is a platform-independent API for automating testing of both browser and mobile applications. It is also a core technology in many other…”
Získat plný text

Compositional verification of asynchronous concurrent systems using CADP Autor Garavel, Hubert, Lang, Frédéric, Mateescu, Radu

“…During the last decades, concurrency theory successfully developed salient concepts to formally model and soundly reason about distributed and parallel systems…”
Získat plný text

A MapReduce-based parallel K-means clustering for large-scale CIM data verification Autor Deng, Chuang, Liu, Yang, Xu, Lixiong, Yang, Jie, Liu, Junyong, Li, Siguang, Li, Maozhen

“… This paper presents a parallel K‐means clustering algorithm for large‐scale CIM data verification…”
Získat plný text

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Ahmed, Amal

“…; types and effects; concurrency; security; program verification; program analysis and automated verification…”
Získat plný text

Ongoing verification of a multiphysics community code: FLASH Autor Dubey, Anshu, Weide, Klaus, Lee, Dongwook, Bachan, John, Daley, Christopher, Olofin, Samuel, Taylor, Noel, Rich, Paul M., Reid, Lynn B.

“… We describe the methodology for verification of FLASH, a highly capable multiphysics scientific application code with a wide user base…”
Získat plný text

Detecting harmful data races through parallel verification Autor Wu, Zhendong, Lu, Kai, Wang, Xiaoping, Zhou, Xu, Chen, Chen

“… The multicore technology trend worsens this problem. Unlike previous work, to detect the harmful races, we try to improve the efficiency through parallel verification…”
Získat plný text

Parallel program analysis on path ranges Autor Haltermann, Jan, Jakobs, Marie-Christine, Richter, Cedric, Wehrheim, Heike

“… More specifically, we present a verification approach that splits programs into path ranges and then runs arbitrary analyses on the ranges in parallel…”
Získat plný text

Anytime system level verification via parallel random exhaustive hardware in the loop simulation Autor Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

“…System level verification of cyber-physical systems has the goal of verifying that the whole (i.e., software + hardware…”
Získat plný text

Efficient parallel reasoning on fuzzy goal models for run time requirements verification Autor Chatzikonstantinou, George, Kontogiannis, Kostas

“…As software applications become highly interconnected in dynamically provisioned platforms, they form the so-called systems-of-systems. Therefore, a key issue…”
Získat plný text

Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification Autor Andrade, Gabriel A. G., Graf, Marleson, dos Santos, Luiz C. V.

“…Since nondeterministic behavior is key to exposing shared-memory errors, nonsynchronized parallel programs are often used for verification and test of multicore chips…”
Získat plný text

Compiling Parallel Symbolic Execution with Continuations Autor Wei, Guannan, Jia, Songlin, Gao, Ruiqi, Deng, Haotian, Tan, Shangyin, Bracevac, Oliver, Rompf, Tiark

“…Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced interpretation over-head can dramatically inhibit performance…”
Získat plný text