并发分析相关硕士博士期刊学术论文 - 搜论网

并发分析相关论文

TD类漏洞及死锁检测系统的设计与实现

网络应用已渗透到社会的各行各业,网民对网络安全的要求也日渐提高,网络安全逐渐成为了各界日益关注的焦点。网络应用的本质是软件......

学位

污染数据死锁静态分析数据流分析别名分析 Klocwork

BPEL流程静态优化技术研究

提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法.该算法首先利用同步分析技术对流程中的同步结构进行处......

期刊

业务流程执行语言静态优化算法同步分析并发分析

看过本文同时还关注