检索工具

检索工具技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

检索工具 热门资料

查看全部 500 份 →

corba是一款商用内存检测工具，功能全面 在Linux下，使用Insure++检测程序，需要用Insure命令协同编译器来编译和连接程序，在源编译器编译前加Insure命令。 程序为其使用的一个例子

2013-12-23 169 检索工具

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

2023-12-20 7 检索工具

用于信息检索方面，可以试试看，还不错的。每次只能输入一个单词，可以检索出所有与之匹配的文件名字，和相应的位置。

2013-12-25 111 检索工具

一个信息检索模型，改进之处在于利用词汇之间的聚合网络实现了搜索引擎参数的自动调整和优化

2013-12-12 34 检索工具