论文部分内容阅读
编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查。CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时具有用况约束。提供一种适配CVSA的设计和实现,以扩展CVSA的使用范围。
基于CVSA的无虚拟机主机端编译器验证适配设计与实现
【摘 要】
：
编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查。CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时
【机 构】
：
西安航空计算技术研究所
【出 处】
：
信息通信
【发表日期】
：
2019年5期
其他文献
在大型LNG储罐穹顶顶升过程中,以往人工测量方法误差大且浪费人力物力。为了满足施工方要求,减少测量误差,文章结合激光测距、433M无线透传、串口服务器等硬件技术,基于.NET
意大利纺机制造商协会主席保罗·班弗在中国国际纺织机械展览会上说，中国是最大的纺机市场，占世界纺机市场的25％。
基于移动客户端的教学资源平台,是指在网络环境下,通过智能手机、平板电脑等智能移动终端设备提供教学资源,并可进行师生互动的服务平台。开发基于移动客户端的教学资源平台
空间操控航天器试验运控任务是在实时/近实时约束的天地协同操作背景下完成的一类复杂任务。这类任务具有实时要求高、约束关系复杂、精细程序高、自主性和协同性强等特点,根
在高速数传接收机中,通常采用并行解调结构,解调后的数据以多路并行的方式送给译码单元,因此对应的译码也需采用相应的结构。本文设计了一种并行的维特比译码架构,降低现场可
针对国防科研试验通信系统未来发展过程中可能面临的信息传送可靠性降低、设备配置灵活性不够、用户接入存在安全隐患,以及承载层协议未能实现自主可控的问题。在分析采用分
文章针对采用双口存储器作为数据交互的多处理器架构,详细分析了双口存储器的数据访问特点,着重论述了竞争模式下可能造成的数据访问错误问题,并给出了一种新的数据访问方法
随着有线电视网络的发展,其巨大的带宽资源也带来了诸多新的数据业务,因此现有的网络已经难以满足需求,需要对其进行双向化改造。本文主要对几种双向化改造的新技术进行简单
机载武器悬挂系统是军用飞机系统的重要组成部分,是飞机执行作战任务与发挥作战性能的关键。1553B总线为三代机机载武器系统成功奠定了基础;随着电子、计算机、网络等技术的
文章以红外光在烟雾中的传播特性为基础,在比较了多种现有的烟雾检测装置的设计理念之后,采用无线传感器ZigBee网络技术设计出一款基于STC8051微处理器的红外烟雾浓度检测系统。该系统实时检测环境烟雾浓度,当检测到数值超过阈值时发出报警,并将处理过的数据发送到主机。其设计主要突出了低功耗,低成本和智能化,具有广阔的应用前景。