- 博客(3)
- 收藏
- 关注
RSS订阅原创 memory_profiler 示例
假设我们有一个计算斐波那契数列的函数，我们想要测试它在计算前20个斐波那契数列时的内存使用情况。脚本并打印每行代码执行后的内存使用情况。通过输出结果，我们可以找到哪些代码行使用了最多的内存并进行优化。是Python的内存分析工具，它可以帮助识别代码中的内存瓶颈，并辅助进行优化。装饰器来指示Python解释器在执行函数时进行内存分析。接下来，我们可以使用。
2023-05-04 12:26:47
328
1
原创 数据库查询等价性 Automated Verification of Query Equivalence Using Satisfiability Modulo Theories
本文介绍一篇的论文《Automated Verification of Query Equivalence Using Satisfiability Modulo Theories》，题目直译为《使用SMT理论自动验证查询等价性》。该文聚焦数据库查询等价性（, QE）的验证问题，支持验证更多种类的查询。通过判定查询是否等价，可以极大地降低大型云计算平台中的重复计算导致的资源浪费。首先，判定两个 SQL Query 是否在语义上是否等价这个根本问题是不可解的（undecidable）。
2023-03-30 08:51:59
313
原创 检测数据分布的变化 TRACKING THE RISK OF A DEPLOYED MODEL AND DETECTING HARMFUL DISTRIBUTION SHIFTS
本文介绍一篇ICLR 2022的论文《TRACKING THE RISK OF A DEPLOYED MODEL AND DETECTING HARMFUL DISTRIBUTION SHIFTS》，其认为数据流的分布是不断变化的，这些变化可能会导致已经部署的模型不再适应，使得模型性能下降。
2023-03-17 07:14:19
189
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人