01 2023 档案

论文笔记：Symbolic Execution for Software Testing: Three Decades Later
摘要：论文笔记：Symbolic Execution for Software Testing: Three Decades Later 作者 Cristian Cadar 是英国帝国理工学院SRG（Software Reliability Group）小组负责人，斯坦福大学计算机科学博士，KLEE的开创 阅读全文

posted @ 2023-01-10 22:52 LambdaQ 阅读(215) 评论(0) 推荐(0) 编辑

论文笔记：Access Path Selection In A Relational Database Management System
摘要：论文笔记：Access Path Selection In A Relation Database Management System 这篇文章是 1979 年由 IBM 发表的。主要介绍了 System-R 系统的查询优化器设计。 二. Processing Of An SQL Statement 阅读全文

posted @ 2023-01-07 19:46 LambdaQ 阅读(273) 评论(0) 推荐(0) 编辑

< 2025年3月 >
日 一 二 三 四 五 六
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5

统计

点击右上角即可分享
微信分享提示