Resource allocation contracts for open analytic runtime models

Keyphrases

• Algorithm Analysis 100%
• Analytic Model 20%
• Architectural Model 20%
• Automatic Verification 20%
• Avionics 20%
• Cyber-physical Systems 20%
• Energy Efficiency 20%
• Input-Output Dependency 20%
• Multi-tier 20%
• Resource Allocation 100%
• Runtime Models 100%
• Schedulability 20%
• Security Efficiency 20%
• Verification Result 20%

Computer Science

• Analytic Model 33%
• Architectural Model 33%
• Avionics 33%
• Cyber Physical Systems 33%
• Energy Efficiency 33%
• Input/Output 33%
• Output Dependency 33%
• Resource Allocation 100%
• Resource Allocation Model 33%