2009年序号123456789
科研热词零树编码逆细分近似高斯金字塔视觉注意移动终端移动3d图形渐进网格显著性图像处理
推荐指数111111111
ffffffff2010年序号1234
2011年科研热词推荐指数序号系统体系结构1模型驱动1复杂嵌入式实时系统1aadlarchitecturea
alysisa
d1desig
la
guage
123456789101112131415161718
科研热词嵌入式系统面向方面超宽带设计能量消耗生存期片上系统模型形式化方法多媒体处理多处理器片上系统可靠性模型可靠性分析与评估可靠性分簇传感网gsp
aadl
ffffffff推荐指数211111111111111111
2012年序号123456
科研热词软件特征量能耗建模特征量度量嵌入式软件能耗体系结构bp神经网络
推荐指数111111
2013年序号1234567891011
ffffffff2013年科研热词领域和需求建模阻塞问题框架通信顺序进程软件规约自选路由最弱环境演算控制算法多级网络交换网络multilog2
推荐指数11111111111
2014年序号12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
科研热词静态分析闪存系统评价敏捷方法抽象解释形式化验证应用现状嵌入式软件嵌入式系统开发嵌入式系统定理证明存储系统地址映射需求工程重编程逻辑式编程语言适航认证近似算法软件测试软件工具车辆主动安全负载排序解释执行行人检测自适应能耗缺陷检测缺陷关联经过验证的编译器组合验证组合模型组合机制符号化函数摘要程序的访存模式相容性状态切片片上缓存灰度共生矩混成系统混合关键性系统测试与测试控制语言模型检验标签转换系统机载软件安全性显著性时间需求建模时间分析无线传感网数据传输操作语义形式语义形式化方法
推荐指数2222222222222111111111111111111111111111111111111111
f53545556575859606162636465666768697071727374
实时系统1安全性分析1多处理器1多age
t1同步数据流语言1可组合性1可组合嵌入式软件1可寻址表达式1划分调度1分布式嵌入式系统1内存模型1信息物理融合系统1低功耗1优化1主存1一致性检测1wcetworstcaseexecutio
time1strippacki
g1petri网1gpugraphicsprocessi
gu
it1edfearliestdeadli
efirst1cache分析1
fffffffffffffffffffffffffffffffffffffffffffffffffffffffr