Výsledky vyhledávání - parallel progress (computer progress) verification.

Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification Autor 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…”
Získat plný text

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

“…; parallel processing; virtual machines; learning (artificial intelligence)…”
Získat plný text

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems Autor 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…”
Získat plný text

Challenges of high-fidelity virtual reactor for exascale computing and research progress of China Virtual Reactor Autor 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…”
Získat plný text

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker Autor 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…”
Získat plný text

BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications Autor 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…”
Získat plný text

LRPD: Large Replay Parallel Dataset Autor 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…”
Získat plný text

Analysis of existing parallel programs verification technologies Autor 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…”
Získat plný text

Compositional Analysis of Probabilistic Timed Graph Transformation Systems Autor 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…”
Získat plný text

Objectively Assessing Characteristics of Mesoscale Convective Organization in an Operational Convection-Permitting Model Autor 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…”
Získat plný text

Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice Autor 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…”
Získat plný text

Learning Emotion-Invariant Speaker Representations for Speaker Verification Autor 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…”
Získat plný text

Efficient detection of silent data corruption in HPC applications with synchronization-free message verification Autor 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…”
Získat plný text

Accelerating NoC Verification Using a Complete Model and Active Window Autor 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…”
Získat plný text

Progress with the COGENT Edge Kinetic Code: Implementing the Fokker-Planck Collision Operator Autor 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…”
Získat plný 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…”
Získat plný 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…”
Získat plný text

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software Autor 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…”
Získat plný text

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker Autor 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…”
Získat plný text

SAT Race 2015 Autor 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…”
Získat plný text