Embedded systems; program analysis; graph matching;
机译:案例研究:从嵌入式系统分析到基于嵌入式系统的调查器工具
机译:多目标场景中VLIW嵌入式系统设计的分析和工具
机译:嵌入式调试入门:Hugh O'Keeffe研究了常见的嵌入式调试策略,每种策略的优缺点,并介绍了Ashling Microsystems开发的Atmel AVR32片上调试系统和相关的调试工具。
机译:ARDUFACE:嵌入式系统分析工具
机译:用于容错分布式嵌入式系统的设计和评估的方法和工具支持。
机译:统计和概率分析。分析和表示的新工具:XS:通过集成图形统计系统关系数据库系统和专家系统外壳构建的线性回归分析和综合系统
机译:基于模型的工具链基础设施,用于嵌入式系统的自动分析
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划