论文部分内容阅读
形式化方法是验证并发系统可靠性和安全性的重要手段.对高级语言开发的并发系统自动抽取的模型进行形式化验证是模型检测技术领域中的一个研究热点.
SOCKET通信程序模型抽取及可靠性验证
【摘 要】
：
形式化方法是验证并发系统可靠性和安全性的重要手段.对高级语言开发的并发系统自动抽取的模型进行形式化验证是模型检测技术领域中的一个研究热点.
【机 构】
：
华东交通大学软件学院 南昌330013;南昌大学信息工程学院 南昌 330029 南昌大学信息工程
【出 处】
：
2012年全国理论计算机科学学术年会(NCTCS2012)
【发表日期】
：
2012年9期
其他文献
Categorizing the consecutive video frames into shots is the first and prerequisite step for contentbased video indexing and retrieval.With a considerable amount of research focusing on the shot bounda
会议
Consider a simple polygon P and a point s on the frontier of (a)P.For any realδ＞0 there exists a shortest path ρ inside of P such that s is on the path ρ,and for each point p in (a)P,there exists a po
会议
Christian Anfinsen proposed that the native states of proteins reside in the free energy minima.This “thermodynamic hypothesis” has been widely accepted as the “central dogma” of protein folding.
会议
In image restoration of spatial domain,there need to make use of the available structure of image blurring matrix,and use diagonalization or convolution to substitute the matrix-vector product involvi
会议
序列结构比对是生物信息学中用来预测新生物体序列的结构和功能的一种重要方法.为了识别新序列的结构同源性,序列结构比对不但要考虑序列的相似性,还要考虑残基之间相互作用而导致的空间保守结构,因此是经典的NP-hard问题.
会议
A large numbers of data sources in DataSpace and ubiquitous data object may has relevant with different types of data objects,therefore,finding the potential relevance of heterogeneous data has become
会议
Segmentation of license plate image is the first step in a license plate recognition system.The plate segmentation result is crucial to and determines the final result of license plate recognition/ana
会议
Image segmentation is an essential component of image analysis system,and determines the quality of the nal result of image analysis.This paper proposed a kernelized fuzzy c-means clustering algorithm
会议
In this paper,the coverage problem of repeaters has been investigated and an optimization-based model for the planning of repeaters has been presented.Meta-Heuristic search algorithm including Simulat
会议
As the core of FM-index and compressed suffix array,the Burrows-Wheeler Transform (BWT) plays a key role in indexing genomic sequence data for pattern search.It can run in O(n) bits,typically in total
会议