...
机译:在ASSERT模型驱动的工程过程中包括软硬件协同设计
GMV, E-28760 Madrid, Spain;
GMV, E-28760 Madrid, Spain;
GMV, E-28760 Madrid, Spain;
Universidad Politecnica de Madrid (UPM), E-28040 Madrid, Spain;
Universidad Politecnica de Madrid (UPM), E-28040 Madrid, Spain;
Ada 2005; ravenscar profile; hardware/-software co-design; real-time systems; high-integrity systems; ORK;
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:通过软件 - 硬件共同设计实现高效的胶囊网络处理
机译:一种快速的片上自适应遗传算法处理器,用于使用硬件 - 软件共同设计的进化冷冻滤波器实现
机译:B向CSP迁移:进行正式的,自动的模型驱动的硬件/软件协同设计工程
机译:用于高吞吐量媒体处理应用程序的资源有效的粗粒度可重新配置体系结构的硬件软件协同设计。
机译:一种新颖的硬件 - 软件协同设计和实现的猪算法
机译:在ASSERT模型驱动的工程过程中包括硬件/软件协同设计。
机译:模拟软件驱动硬件系统中的故障传播以实现风险信息设计