随笔-161  评论-223  文章-30  trackbacks-0
09 2023 档案
忙表达式数据流分析示例
posted @ 2023-09-30 08:47 春秋十二月 阅读(102) | 评论 (0)  编辑
基于X509证书的身份认证思考小结
posted @ 2023-09-30 08:00 春秋十二月 阅读(448) | 评论 (0)  编辑
浅谈密码学几点安全性分析
posted @ 2023-09-28 08:04 春秋十二月 阅读(3033) | 评论 (0)  编辑
浅谈Linux共享库库函数挂钩检测
posted @ 2023-09-26 16:47 春秋十二月 阅读(2157) | 评论 (0)  编辑
基于矩阵法分析改进指令调度
posted @ 2023-09-23 12:14 春秋十二月 阅读(362) | 评论 (0)  编辑
kretprobe探究思考
posted @ 2023-09-13 02:26 春秋十二月 阅读(355) | 评论 (0)  编辑
AES不可约多项式
posted @ 2023-09-13 02:00 春秋十二月 阅读(391) | 评论 (0)  编辑
关于自动机和正则的一些重要定理
posted @ 2023-09-09 08:11 春秋十二月 阅读(1135) | 评论 (0)  编辑
正则语言R和上下文无关语言CFL的判定性质总结
posted @ 2023-09-09 08:09 春秋十二月 阅读(102) | 评论 (0)  编辑
为什么素检测存在概率多项式时间算法
posted @ 2023-09-09 08:07 春秋十二月 阅读(695) | 评论 (0)  编辑
命题与谓词逻辑可判定性
posted @ 2023-09-09 08:05 春秋十二月 阅读(100) | 评论 (0)  编辑
关于程序编译中的图论问题思考
posted @ 2023-09-07 06:50 春秋十二月 阅读(74) | 评论 (0)  编辑
函数式语言编译优化
posted @ 2023-09-07 06:47 春秋十二月 阅读(74) | 评论 (0)  编辑
总结数论中不定方程定理证明的细节验证
posted @ 2023-09-07 06:43 春秋十二月 阅读(629) | 评论 (0)  编辑
AES有限域与域扩张
posted @ 2023-09-07 06:39 春秋十二月 阅读(116) | 评论 (0)  编辑
动态二进制优化与静态编译优化的区别
posted @ 2023-09-06 23:44 春秋十二月 阅读(84) | 评论 (0)  编辑
NFA、DFA、正则表达式的互转复杂度总结
posted @ 2023-09-06 23:42 春秋十二月 阅读(88) | 评论 (0)  编辑
关于格的基本定理简要总结
posted @ 2023-09-06 23:39 春秋十二月 阅读(480) | 评论 (0)  编辑
浅谈重命名
posted @ 2023-09-06 23:35 春秋十二月 阅读(75) | 评论 (0)  编辑
不可达代码与死代码的区别及删除
posted @ 2023-09-06 23:33 春秋十二月 阅读(147) | 评论 (0)  编辑
循环不变代码外提
posted @ 2023-09-06 23:30 春秋十二月 阅读(72) | 评论 (0)  编辑
过程内优化
posted @ 2023-09-06 23:23 春秋十二月 阅读(72) | 评论 (0)  编辑
数据流分析之迭代算法和区域分析算法
posted @ 2023-09-06 23:18 春秋十二月 阅读(93) | 评论 (0)  编辑
缓存优化之过程内代码置放
posted @ 2023-09-06 23:15 春秋十二月 阅读(67) | 评论 (0)  编辑
前期优化之全局复写传播
posted @ 2023-09-06 23:13 春秋十二月 阅读(147) | 评论 (0)  编辑
基于SSA的稀有条件常数传播
posted @ 2023-09-06 23:10 春秋十二月 阅读(86) | 评论 (0)  编辑
程序控制依赖图的构建
posted @ 2023-09-06 23:07 春秋十二月 阅读(123) | 评论 (0)  编辑
过程间分析之调用图构建算法
posted @ 2023-09-06 23:04 春秋十二月 阅读(85) | 评论 (0)  编辑
过程间分析之常量传播算法
posted @ 2023-09-06 23:02 春秋十二月 阅读(63) | 评论 (0)  编辑
自然循环构建
posted @ 2023-09-06 22:59 春秋十二月 阅读(56) | 评论 (0)  编辑
总结支配结点相关结论的证明
posted @ 2023-09-06 22:57 春秋十二月 阅读(461) | 评论 (0)  编辑
总结数据流分析的几个问题
posted @ 2023-09-06 22:53 春秋十二月 阅读(82) | 评论 (0)  编辑
加宽算子和变窄算子的用途
posted @ 2023-09-06 22:45 春秋十二月 阅读(105) | 评论 (0)  编辑
伽罗瓦连接
posted @ 2023-09-06 22:42 春秋十二月 阅读(286) | 评论 (0)  编辑
一个整数交换群定理的证明
posted @ 2023-09-06 22:34 春秋十二月 阅读(299) | 评论 (0)  编辑
经典有限循环群的选取生成
posted @ 2023-09-06 22:28 春秋十二月 阅读(365) | 评论 (0)  编辑
总结AES加密涉及的数学定理
posted @ 2023-09-06 22:22 春秋十二月 阅读(1467) | 评论 (0)  编辑

Powered by: 博客园 模板提供：沪江博客 Copyright ©2025 春秋十二月