Rust API可靠性分析与验证China RULF:模糊测试用例程序生成 带有剪枝 的BFS 生成API调用序列 反向搜索 合并与优 化 模糊测试用例程序 短序列 长序列 最优序列 集合 合并 优化 构建API依赖图 合成合法的测试 函数 Rust库源代码 泛型函数 单态化 所有权检查 开源于https://github.com/Artisan-Lab/RULF Rust China Conf 20210 码力 | 13 页 | 1.68 MB | 1 年前3
2.2.1 深入Go Module和 此文件的checksum。 MVS MVS Minimal Version Selection by Russ Cox 构建main module时每个依赖的版本选择算法。 go生成模块依赖图,遍历找到每个module最大的版本,这些版本的module就是满足所有需求的最小module版本 • A 1.2 • B 1.2 • C 1.4 • D 1.2 MVS with replace0 码力 | 46 页 | 3.85 MB | 1 年前3
2020美团技术年货 算法篇模型的基础上增加注意力机制和记忆机制等对模型进行了改 进和扩展,其中 NARM[8] 探索了一种具有注意力机制的层次编码器,可以对 当前会话中用户的序列行为和主要意图进行建模。 最近, 随着图神经网络模型 的飞速发展,出现了依赖图结构的会话推荐模型,SR-GNN 首先提出将每个 282 > 美团 2020 技术年货 会话映射为一个图结构,并利用图神经网络模型 GNN 来建模 item 之间的复 杂转移关系。 之后,GC-SAN0 码力 | 317 页 | 16.57 MB | 1 年前3
Julia 中文文档ba13f791-ae1d-465a-978b-69c3ad90f72b,也就是要在这一部分加载的 Priv 包的 UUID。当主应用程 序解释运行到 import Priv 时,此 UUID 标识了要加载和使用的 Priv 包。 依赖图(dependency graph)在项目环境中其清单文件的内容决定,如果其存在。如果没有清单文 件,则 graph 为空。清单文件包含项目的直接或间接依赖项的节(stanza)。对于每个依赖项,该文 Pub 和 Zebra 包。 – 公有的 Priv 没有依赖关系。 • 该应用程序还依赖于 Pub 包,而后者依赖于公有的 Priv 以及私有的 Priv 包所依赖的那个 Zebra 包。 此依赖图以字典表示后如下所示: 29.3. 环境(ENVIRONMENTS) 295 graph = Dict( # Priv——私有的那个: UUID("ba13f791-ae1d-465a-978b-69c3ad90f72b") 70-f0e3a0dd3f62"), ), # Zebra: UUID("f7a24cb4-21fc-4002-ac70-f0e3a0dd3f62") => Dict(), ) 给定这个依赖图,当 Julia 看到 Pub 包中的 import Priv ——它有 UUIDc07ecb7d-0dc9-4db7-8803-fadaaeaf08e1 时,它会查找: graph[UUID("0 码力 | 1238 页 | 4.59 MB | 1 年前3
共 4 条
- 1













