Suchergebnisse - 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 von 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, …”
Volltext

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 von 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, …”
Volltext

Safety Mechanism Design and Verification of Safety Computer Parallel Program von 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 …”
Volltext

CADP 2011: a toolbox for the construction and analysis of distributed processes von 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 …”
Volltext

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

“… We study an automated verification method for functional correctness of parallel programs running on graphics processing units (GPUs …”
Volltext

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 von 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, …”
Volltext

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering von 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 …”
Volltext

Parallel computational tree logic model‐checking on pushdown systems von 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 …”
Volltext

Swarm Verification Techniques von 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 …”
Volltext

Selenium WebDriver Quick Start Guide: Write Clear, Readable, and Reliable Tests with Selenium WebDriver 3 von 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 …”
Volltext

Compositional verification of asynchronous concurrent systems using CADP von 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 …”
Volltext

A MapReduce-based parallel K-means clustering for large-scale CIM data verification von 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 …”
Volltext

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 von Ahmed, Amal

“… ; types and effects; concurrency; security; program verification; program analysis and automated verification …”
Volltext

Ongoing verification of a multiphysics community code: FLASH von 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 …”
Volltext

Detecting harmful data races through parallel verification von 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 …”
Volltext

Parallel program analysis on path ranges von 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 …”
Volltext

Anytime system level verification via parallel random exhaustive hardware in the loop simulation von 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 …”
Volltext

Efficient parallel reasoning on fuzzy goal models for run time requirements verification von 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 …”
Volltext

Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification von 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 …”
Volltext

Compiling Parallel Symbolic Execution with Continuations von 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 …”
Volltext