Task analysis; Memory management; Hardware; Kernel; Safety; Security; Vehicle dynamics;
机译:SystemJ中设计的对安全至关重要的硬实时系统的内存管理
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
机译:安全关键的半分区实时系统的基于DES建模与故障诊断
机译:多核存储器系统架构,可实现可编程性和可验证性
机译:内存系统的有效分区及其在内存整合中的重要性
机译:用于风险评估的安全关键系统的动态与静态建模
机译:利用频率划分的Volterra展开表征具有记忆的非线性系统:应用于蝉联动呼叫