随笔-150  评论-223  文章-30  trackbacks-0
  2023年9月6日
动态二进制优化与静态编译优化的区别
posted @ 2023-09-06 23:44 春秋十二月 阅读(40) | 评论 (0) | 编辑 收藏
NFA、DFA、正则表达式的互转复杂度总结
posted @ 2023-09-06 23:42 春秋十二月 阅读(35) | 评论 (0) | 编辑 收藏
关于格的基本定理简要总结
posted @ 2023-09-06 23:39 春秋十二月 阅读(406) | 评论 (0) | 编辑 收藏
浅谈重命名
posted @ 2023-09-06 23:35 春秋十二月 阅读(40) | 评论 (0) | 编辑 收藏
不可达代码与死代码的区别及删除
posted @ 2023-09-06 23:33 春秋十二月 阅读(40) | 评论 (0) | 编辑 收藏
循环不变代码外提
posted @ 2023-09-06 23:30 春秋十二月 阅读(30) | 评论 (0) | 编辑 收藏
过程内优化
posted @ 2023-09-06 23:23 春秋十二月 阅读(28) | 评论 (0) | 编辑 收藏
数据流分析之迭代算法和区域分析算法
posted @ 2023-09-06 23:18 春秋十二月 阅读(41) | 评论 (0) | 编辑 收藏
缓存优化之过程内代码置放
posted @ 2023-09-06 23:15 春秋十二月 阅读(29) | 评论 (0) | 编辑 收藏
前期优化之全局复写传播
posted @ 2023-09-06 23:13 春秋十二月 阅读(48) | 评论 (0) | 编辑 收藏
基于SSA的稀有条件常数传播
posted @ 2023-09-06 23:10 春秋十二月 阅读(22) | 评论 (0) | 编辑 收藏
程序控制依赖图的构建
posted @ 2023-09-06 23:07 春秋十二月 阅读(24) | 评论 (0) | 编辑 收藏
过程间分析之调用图构建算法
posted @ 2023-09-06 23:04 春秋十二月 阅读(30) | 评论 (0) | 编辑 收藏
过程间分析之常量传播算法
posted @ 2023-09-06 23:02 春秋十二月 阅读(25) | 评论 (0) | 编辑 收藏
自然循环构建
posted @ 2023-09-06 22:59 春秋十二月 阅读(23) | 评论 (0) | 编辑 收藏
总结支配结点相关结论的证明
posted @ 2023-09-06 22:57 春秋十二月 阅读(363) | 评论 (0) | 编辑 收藏
总结数据流分析的几个问题
posted @ 2023-09-06 22:53 春秋十二月 阅读(24) | 评论 (0) | 编辑 收藏
加宽算子和变窄算子的用途
posted @ 2023-09-06 22:45 春秋十二月 阅读(39) | 评论 (0) | 编辑 收藏
伽罗瓦连接
posted @ 2023-09-06 22:42 春秋十二月 阅读(226) | 评论 (0) | 编辑 收藏
一个整数交换群定理的证明
posted @ 2023-09-06 22:34 春秋十二月 阅读(251) | 评论 (0) | 编辑 收藏
经典有限循环群的选取生成
posted @ 2023-09-06 22:28 春秋十二月 阅读(298) | 评论 (0) | 编辑 收藏
总结AES加密涉及的数学定理
posted @ 2023-09-06 22:22 春秋十二月 阅读(1347) | 评论 (0) | 编辑 收藏
Powered by: 博客园 模板提供：沪江博客 Copyright ©2024 春秋十二月