Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Search content at Teesside University's Research Portal
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Equipment
Press/Media
Analysing memory resource bounds for low-level programs
Wei-Ngan Chin
, Huu Hai Nguyen
, Corneliu Popeea
,
Shengchao Qin
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Analysing memory resource bounds for low-level programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%