ParaMoC: A Parallel Model Checker for Pushdown Systems

ParaMoC: A Parallel Model Checker for Pushdown Systems

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICA3PP (19. : 2019 : Melbourne) Algorithms and architectures for parallel processing ; Part 2
1. Verfasser: Wei, Hansheng (VerfasserIn)
Weitere Verfasser: Ye, Xin (VerfasserIn), Shi, Jiangi (VerfasserIn), Huang, Yanhong (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Improving the Parallelism of CESM on GPU 2020 Jin, Zehui
Accurate Network Flow Measurement with Deterministic Admission Policy 2020 Du, Hongchao
Two-Stage Clustering Hot Event Detection Model for Micro-blog on Spark 2020 Xia, Ying
Penguin Search Aware Proactive Application Placement 2020 Benamer, Amira Rayane
Reliability Enhancement of Neural Networks via Neuron-Level Vulnerability Quantization 2020 Li, Keyao
Blockchain-PUF-Based Secure Authentication Protocol for Internet of Things 2020 Patil, Akash Suresh
Semi-supervised Deep Learning for Network Anomaly Detection 2020 Sun, Yuanyuan
A Vulnerability Assessment Method for Network System Based on Cooperative Game Theory 2020 Duan, Chenjian
Network Intrusion Detection Framework Based on Embedded Tree Model 2020 Zhou, Jieying
Practical IDS on In-vehicle Network Against Diversified Attack Models 2020 Xiao, Junchao
Data Poisoning Attacks on Graph Convolutional Matrix Completion 2020 Zhou, Qi
Ultragloves: Lowcost Finger-Level Interaction System for VR-Applications Based on Ultrasonic Movement Tracking 2020 Li, Si
Lightweight Outsourced Privacy-Preserving Heart Failure Prediction Based on GRU 2020 Ying, Zuobin
An Approach of Secure Two-Way-Pegged Multi-sidechain 2020 Guo, Jinnan
A Binary Code Sequence Based Tracking Algorithm in Wireless Sensor Networks 2020 Zhang, Yang
Understanding the Resource Demand Differences of Deep Neural Network Training 2020 Du, Jiangsu
EC-ARR: Using Active Reconstruction to Optimize SSD Read Performance 2020 Li, Shuo
SPM: Modeling Spark Task Execution Time from the Sub-stage Perspective 2020 Li, Wei
Pimiento: A Vertex-Centric Graph-Processing Framework on a Single Machine 2020 Huang, Jiangiang
A Framework for Designing Autonomous Parallel Data Warehouses 2020 Benkrid, Soumia
Alle Artikel auflisten