Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zhang Baofeng
Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods
Journal of Software
Related publications
Learning-Based Memory Allocation for C++ Server Workloads
Performance Analysis of Clustering Based Image Segmentation and Optimization Methods
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimization Methods for Redundancy Allocation in Large Systems
Vietnam Journal of Computer Science
Parallel Solution Methods for Aerostructural Analysis and Design Optimization
A Practical Approach for Performance Analysis of Shared-Memory Programs
Multilevel Thresholding Hyperspectral Image Segmentation Based on Independent Component Analysis and Swarm Optimization Methods
International Journal of Advances in Intelligent Informatics
Computer Vision
Pattern Recognition
Human-Computer Interaction
Artificial Intelligence
Approximate Probabilistic Methods for Survivability/Vulnerability Analysis of Strategic Structures.
Modeling and Formal Analysis of Communication Protocols Based on Game
Information Technology Journal
