介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式

• 基本知识 – 内存分层结构、多处理器的体系结构 • 并行计算 – 并行计算的常见方式、循环级并行 • 程序中的局部性 – 时间局部性、空间局部性、代码和数据局部性 • 矩阵乘算法及其优化 – 矩阵乘算法及分析、分块的矩阵乘算法及分析 围绕计算机体系结构而不是抽象模型来讨论

一种构造代码安全性证明的方法

中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第三部分 代数结构 第九章 环与域

8.1 半群 8.2 群的定义与性质 8.3 子群 8.4 陪集与拉格朗日定理 8.5 正规子群与商群 8.6 特殊群：循环群与置换群

中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第二部分 集合论 第三章 集合代数

第四节 逻辑函数及其表示方法 第五节 逻辑函数的公式化简化

《高中历史》高三专题复习（PPT课件讲稿）古代中国政治制度

中华人民共和国农业行业标准：鸡饲养标准（NY/T 33—2004，代替NY/T 33—1986）Feeding standard of chicken

中华人民共和国农业行业标准：猪饲养标准（NY/T 65—2004，代替NY/T 65—1987）Feeding standard of swine