...
机译:用于软件/硬件系统的性能验证工具
Performance validation; Software performance engineering; Automated model building; Layered queueing models; Stochastic process algebras;
机译:基于规则的专家系统在硬件在环仿真案例研究中的应用:发动机电子控制单元的软件和性能验证
机译:论文硬件/软件航空电子系统性能(HASP):虚拟原型系统的设计工具
机译:具有容错软件组件的软硬件系统的可靠性和性能分析
机译:面向高性能计算系统的硬件/软件协同设计的性能/弹性工具
机译:AsAP2多核系统的硬件,软件和工具。
机译:可穿戴设备操作系统中的软件和硬件要求以及取舍:提高设备性能的工具
机译:面向高性能计算系统的硬件/软件协同设计的性能/弹性工具
机译:超高速集成电路(VHIsC)硬件描述语言(VHDL)交互验证炼金术(VIVa)。用于VHDL相关工具的半自动,高保真验证的技术和软件。