位置：成果数据库 > 期刊 > 期刊详情页
并发程序切片方法综述
  • ISSN号：1673-5439
  • 期刊名称：南京邮电大学学报(自然科学版)
  • 时间：0
  • 页码：88-94
  • 语言：中文
  • 相关项目：基于模块单子语义的程序切片及其关键技术研究
作者： 张卫丰|周国强|张迎周|李小国|
同期刊论文项目
基于模块单子语义的程序切片及其关键技术研究
期刊论文 44 会议论文 15
同项目期刊论文
面向卫星网络的扩频多址接入控制方法
一种防止缓冲区溢出的整数溢出检测方法
Automatic Testing of Web Services in Haskell Platform
电子数据取证的可信固定方法
一种基于IBE的WSNs选择转发攻击检测方案
一种基于函数依赖图的构件抽取方法
Contribution-Based Call Stack Abstraction for Call String Based Pointer Analysis
A new construction of leakage-resilient signature
Program Slicing Based Buffer Overflow Detection
含指针程序的单子切片方法
基于匈牙利匹配算法的钓鱼网页检测方法
Web Service Generation through Program Slicing
A Monadic Program Slicer
A Survey of Semantic Description Frameworks for Programming Languages
一种计算机数据取证有效性的研究方法
一种基于联想记忆神经网络的单训练样本人脸识别算法
基于CSP的进程行为取证方法研究
基于瀑布模型的可信取证方法
A Network Forensics System Bypassing Web Local Encrypting Businesses
一种基于操作请求图的Web服务入侵检测方法
一种自动验证Web应用预期页面的方法
含过程程序的单子切片(英文)
一种组合式基于调用栈的程序切片方法
Stable Initialization Scheme for K-Means Clustering
Research Progress of Trust Evaluation Model
ISTC： A New Method for Clustering Search Results
一种web应用回归测试的测试用例选择执行方法
数据结构课程教学模式的研究
一种计算机数据取证有效性的证明方法
有界恢复模型下弹性泄露签名的新构造
一种基于改进流形学习方法的云计算入侵检测模型
基于BLS签名的弹性泄露签名方案(英文)
一种基于P2P环境的全局信任管理模型
基于XML的SDK自动化测试框架的设计与实现
毕业设计文档管理技术探索及实践
含过程程序的单子切片
AN EFFICIENT SIGNATURE SCHEME FROM CATALANO＇S TRAPDOOR
矩阵奇异值分解及其在高维数据处理中的应用
网络分析仪在网络流量监测中的应用
期刊信息
  • 《南京邮电大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:江苏省教育厅
  • 主办单位:南京邮电大学
  • 主编：颜晓红
  • 地址：南京市龙蟠路177号
  • 邮编：210042
  • 邮箱：xb@njupt.edu.cn
  • 电话：025-85866912
  • 国际标准刊号：ISSN：1673-5439
  • 国内统一刊号：ISSN：32-1772/TN
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 波兰哥白尼索引,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:2809