Amanote Research
Register
Sign In
Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods
Journal of Software
doi 10.17706//jsw.10.9.1079-1085
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2015
Authors
Deng Hui
Liu Hui
Guo Ying
Zhang Baofeng
Publisher
International Academy Publishing (IAP)
Related search
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
