本文主要讨论针对一款16位RISC指令集、哈佛结构的嵌入式微处理器实现交叉C编译器。目前实现交叉编译器的通常手段是移植GCC来实现......

随着军事采购信息化的发展,需要处理的信息资源随之飞速增长,军事采购的过程越来越复杂,如何使用计算机对采购过程进行自动和有效......

作者在分析了Turner归约模型中组合算子表达式的组合膨胀原因后，提出了一种快速组合算子归约模型FCRM。该文描述了FCRM的形式体系，转......

Many workflow management systems have emerged in recent years, but few of them provide any form of support for verificat......