hardware-software codesign; embedded systems; program verification; safety-critical software; embedded systems; software development; software verification; two-phase trade-off analysis; hardware-software codesign; system requirements; critical systems; system design;
机译:具有不同灵活性,速度和复杂性折衷的SoC电信应用的FFT VLSI架构的设计和比较
机译:制造系统设计中的灵活性,权衡和学习
机译:使用六西格码,量化和设计实验来量化供应链的权衡,以开发灵活的分销网络
机译:利用交易实现灵活的高集成度系统的灵活设计
机译:在系统设计期间在安全性和其他要求之间进行权衡。
机译:农业生态系统中生态系统服务的提供和稳定性之间的权衡
机译:权衡取舍,灵活设计复杂的高完整性系统
机译:复杂系统门户中复杂性/预测性权衡的数学方法:LDRD最终报告