Dynamic memory management for programmable devices

Keyphrases

• Programmable Devices 100%
• Firmware 100%
• Dynamic Memory Management 100%
• Management Scheme 66%
• Memory Safety 66%
• Processing Cost 33%
• SPIN Model Checker 33%
• Memory Management 33%
• High Performance 33%
• Malloc 33%
• Explicit Memory Management 33%
• Management Interface 33%
• Free Interface 33%
• Model Checker 33%
• Reference Counting 33%

Computer Science

• Dynamic Memory 100%
• Memory Management 100%
• model checker 50%
• Processing Cost 25%
• Management Interface 25%
• Reference Count 25%