Search Results - parallel progress (computer progress) verification.~

Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification by Lin, Peiying, Li, Kenli, Xiao, Zheng, Chen, Cen, Yu, Siyang

“… With the increasing scale of the circuit, it is urgent to divide the whole large scale circuit into some smaller sub-circuits so as to perform parallel functional verification on multiple hardware processors…”
Get full text

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures by Peterson, Christina, Cook, Victor, Dechev, Damian

“…; parallel processing; virtual machines; learning (artificial intelligence)…”
Get full text

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems by Xu, Peng, Salado, Alejandro, Deng, Xinwei

“… In contrast, a set-based design (SBD) approach to verification, where VAs are dynamically selected as the system's development progresses, has been shown…”
Get full text

Challenges of high-fidelity virtual reactor for exascale computing and research progress of China Virtual Reactor by Lu, Xu, Li, Yang, Chen, Dandan, Chu, Genshen, Wang, An

“… It highly relies on advanced modeling and coupling methods, high performance computing and advanced verification and validation (V&V…”
Get full text

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker by Konnov, Igor, Lazić, Marijana, Stoilkovska, Ilina, Widder, Josef

“… In this article, we give an overview of techniques for automated verification of threshold-guarded fault-tolerant distributed algorithms, implemented in the Byzantine Model Checker (ByMC…”
Get full text

BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications by Tronge, Jake, Chen, Jieyang, Grubel, Patricia, Randles, Tim, Davis, Rusty, Wofford, Quincy, Anaya, Steven, Guan, Qiang

“… Continuous Integration (CI) is a widely used testing standard that can report software quality to the developer in a timely manner during development progress…”
Get full text

LRPD: Large Replay Parallel Dataset by Yakovlev, Ivan, Melnikov, Mikhail, Bukhal, Nikita, Makarov, Rostislav, Alenin, Alexander, Torgashov, Nikita, Okhotnikov, Anton

“… In order to foster the progress of neural network systems, we introduce a Large Replay Parallel Dataset (LRPD…”
Get full text

Analysis of existing parallel programs verification technologies by Olha Yuriivna Moroz, Olena Gennadiivna Tolstoluzka, Roman Valeriyovich Savchenko

“… It is noted that the implementation of the methods of formal verification of software of computer systems, which supplement the traditional methods of testing and debugging, and make it possible…”
Get full text

Compositional Analysis of Probabilistic Timed Graph Transformation Systems by Maximova, Maria, Schneider, Sven, Giese, Holger

“…The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on, e.g., concurrent…”
Get full text

Objectively Assessing Characteristics of Mesoscale Convective Organization in an Operational Convection-Permitting Model by Short, Ewan, Lane, Todd P.

“… Mesoscale convective systems from the operational forecast model are approximately twice as likely to be oriented parallel to the ambient wind and ambient wind shear than those observed…”
Get full text

Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice by Minato, Shin-ichi, Uno, Takeaki, Yasuda, Norihito, Horiyama, Takashi, Kawarabayashi, Ken-ichi, Yamashita, Shigeru, Ono, Hirotaka

“…This Open access book provides an overview of the cutting-edge research to systematize innovative foundations in algorithmic theories and techniques, and apply…”
Get full text

Learning Emotion-Invariant Speaker Representations for Speaker Verification by Tian, Jingguang, Hu, Xinhui, Xu, Xinkang

“…In recent years, the rapid progress in speaker verification (SV) technology has been driven by the extraction of speaker representations based on deep learning…”
Get full text

Efficient detection of silent data corruption in HPC applications with synchronization-free message verification by Zhang, Guozhen, Liu, Yi, Yang, Hailong, Qian, Depei

“… The most commonly used methods to address SDC are based on modular redundancy, which usually requires keeping execution progress consistent between replicas by synchronization and performing…”
Get full text

Accelerating NoC Verification Using a Complete Model and Active Window by Das, Surajit, Karfa, Chandan, Biswas, Santosh

“…). As in the case of a real NoC, parallel execution of these functional units is carried out by maintaining the synchronization between these functional units within a router and between each…”
Get full text

Progress with the COGENT Edge Kinetic Code: Implementing the Fokker-Planck Collision Operator by Dorf, M. A., Cohen, R. H., Dorr, M., Hittinger, J., Rognlien, T. D.

“… The distribution function F is discretized in v‖ – μ (parallel velocity – magnetic moment) velocity coordinates, and the code presently solves an axisymmetric full‐f gyro…”
Get full text

CFD Applications in Energy Engineering Research and Simulation: Volume I

“… The major progress achieved during the last two decades, both in software modeling capabilities and hardware computing power, has resulted in a considerable and wide spread of CFD interest among…”
Get full text

CFD Applications in Energy Engineering Research and Simulation: Volume II

“… The major progress achieved during the last two decades, both in software modeling capabilities and hardware computing power, has resulted in a considerable and wide spread of CFD interest among…”
Get full text

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software by Sadeghi, Alireza, Bagheri, Hamid, Garcia, Joshua, Malek, Sam

“…In parallel with the meteoric rise of mobile software, we are witnessing an alarming escalation in the number and sophistication of the security threats targeted at mobile platforms, particularly…”
Get full text

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker by Konnov, Igor, Lazić, Marijana, Stoilkovska, Ilina, Widder, Josef

“… In this article, we give an overview of techniques for automated verification of threshold-guarded fault-tolerant distributed algorithms, implemented in the Byzantine Model Checker (ByMC…”
Get full text

SAT Race 2015 by Balyo, Tomáš, Biere, Armin, Iser, Markus, Sinz, Carsten

“… such as hardware and software verification, automated planning and many others. One of the important driving forces of this progress are the yearly organized (since 2002) SAT competitions…”
Get full text