Aachen University of Technology (RWTH) Integrated Signal Processing Systems Aachen, Germany;
机译:用于C编译器重定向的ADL处理器描述中的建模指令语义
机译:语义参数化:域描述建模的过程
机译:模型驱动和基于本体的框架,用于语义描述和业务流程验证
机译:基于指令语义模型的C编译器重定向
机译:通用指令选择器生成:根据编译器内部形式和目标机器的描述自动构建指令选择器。
机译:SBGN过程描述的定性动力学语义
机译:基于指令语义模型的C编译器重定向