摘要: 我爸打电话来,声称菜鸟驿站的工作机制可以改进。于是我写了一篇关于文件系统碎片的博客。 阅读全文
posted @ 2021-08-30 21:22 Jane_leaves 阅读(229) 评论(0) 推荐(1) 编辑
摘要: NJU Static Program Analysis 09: Pointer Analysis II Abstract Understand pointer analysis rules Understand pointer flow graph Understand pointer analys 阅读全文
posted @ 2021-07-25 16:36 Jane_leaves 阅读(66) 评论(0) 推荐(0) 编辑
摘要: NJU Static Program Analysis 08: Pointer Analysis I Abstract What is pointer analysis? Understand the key factors of pointer analysis Understand what w 阅读全文
posted @ 2021-07-23 15:48 Jane_leaves 阅读(54) 评论(0) 推荐(0) 编辑
摘要: NJU Static Program Analysis 07: Interprocedural Analysis Abstract How to build call graph via class hierarchy analysis Concept of interprocedural cont 阅读全文
posted @ 2021-07-21 22:44 Jane_leaves 阅读(72) 评论(0) 推荐(0) 编辑
摘要: NJU Static Program Analysis 06: Data Flow Analysis IV 阅读全文
posted @ 2021-07-18 00:15 Jane_leaves 阅读(59) 评论(0) 推荐(0) 编辑
摘要: LianYunGang OI Camp: Contest #2 本次比赛选择了一些背包动态规划问题。 总体难度适中,预期人均通过三题以上。 A: Knapsack 1 Link: https://atcoder.jp/contests/dp/tasks/dp_d?lang=en 简单的 01背包问题 阅读全文
posted @ 2021-07-17 21:06 Jane_leaves 阅读(73) 评论(0) 推荐(0) 编辑
摘要: NJU Static Program Analysis 05: Data Flow Analysis III 阅读全文
posted @ 2021-07-14 23:50 Jane_leaves 阅读(91) 评论(0) 推荐(0) 编辑
摘要: NJU Static Program Analysis 04: Data Flow Analysis II 阅读全文
posted @ 2021-07-11 19:58 Jane_leaves 阅读(65) 评论(0) 推荐(0) 编辑
摘要: NJU Static Program Analysis 03: Data Flow Analysis I 阅读全文
posted @ 2021-07-08 22:24 Jane_leaves 阅读(56) 评论(0) 推荐(0) 编辑
摘要: 本文提出了一种基于网络地图数据库,使用 K-means 算法与可视化技术的智慧城市评估模型。该模型可以用于评估城市居住区划的相关设施配套情况。我们具体地以南京市与苏州市为例,比较评价了两城市的居住区划的科教文化场所配备情况。 阅读全文
posted @ 2021-07-08 19:28 Jane_leaves 阅读(366) 评论(0) 推荐(1) 编辑