排序方式: 共有3条查询结果,搜索用时 6 毫秒
1
1.
结合人工智能Agent规划的方法,提出如何在语义Web上对Web资源提供的各种服务进行规划,设计出能够达到自身目标的行为序列. 相似文献
2.
基于局部堆内存抽象表示的堆操作程序内存泄露检测 总被引:1,自引:0,他引:1
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势. 相似文献
3.
1