Calculation Principle and Algorithm for the Window of Exact Acceleration in Real-Time Model Checking

• Jan 16, 2020
• Journal of Computer Research and Development
• Guoqing Wang + 4 more +4

Cite

Listen

Save

A Flexible Accuracy-Controllable Searchable Symmetric Encryption Scheme

• Jan 16, 2020
• Journal of Computer Research and Development
• Ximing Li + 4 more +4

Cite

Listen

Save

Plagiarism Detection of Multi-Threaded Programs by Mining Behavioral motifs

• Jan 16, 2020
• Journal of Computer Research and Development
• Zhenzhou Tian + 5 more +5

Cite

Listen

Save

MUS Enumeration Based on Double-Model

• Dec 17, 2019
• Journal of Computer Research and Development
• Dantong Ouyang + 4 more +4

Cite

Listen

Save

The Autonomous Safe Landing Area Determination Method and Obstacle Avoidance Strategy

• Dec 17, 2019
• Journal of Computer Research and Development
• Tao Jin + 2 more +2

Cite

Listen

Save

An Image Quality-Aware Fast Blind Denoising Algorithm for Mixed Noise

• Nov 12, 2019
• Journal of Computer Research and Development
• Shaoping Xu + 4 more +4

Cite

Listen

Save

Performance-Awareness Based Dynamic Batch Size SGD for Distributed Deep Learning Framework

• Nov 12, 2019
• Journal of Computer Research and Development
• Zeyu Ji + 4 more +4

Cite

Listen

Save

TipTracer: Detecting Android Application Vulnerabilities Based on the Compliance with Security Guidance

• Nov 12, 2019
• Journal of Computer Research and Development
• Lei Zhang + 3 more +3

Cite

Listen

Save

A Data Dissemination Mechanism Based on Group Structure in Opportunistic Mobile Social Networks

• Nov 12, 2019
• Journal of Computer Research and Development
• Jie Li + 4 more +4

Cite

Listen

Save

Research Advances on Privacy Preserving in Recommender Systems

• Oct 16, 2019
• Journal of Computer Research and Development
• Jun Zhou + 2 more +2

Cite

Listen

Save