Analysing memory resource bounds for low-level programs

Keyphrases

• Assembly-level 50%
• Device Performance 50%
• Embedded Devices 50%
• Embedded Systems 50%
• Fixpoint 50%
• For Loop 50%
• Inference Process 50%
• Memory Bound 50%
• Memory Cost 50%
• Memory Requirements 50%
• Memory Resource 100%
• Path Sensitive 50%
• Performance Improvement 50%
• Presburger 50%
• Programming Model 50%
• Recursion 50%
• Resource Binding 100%
• Resource-constrained 50%
• Runtime Checking 50%
• Symbolic Value 50%

Computer Science

• Analyzing Memory 100%
• Embedded Device 50%
• Embedded Systems 50%
• for Loop 50%
• Inference Process 50%
• Memory Bound 50%
• Memory Requirement 50%
• Memory Resource 100%
• Programming Model 50%
• Sensitive Informations 50%