This article surveys previous work on program slicing-based techniques. For each
technique, we describe its features, its main applications, and a common example of slicing …

知识图谱是人工智能的重要基石. 各领域大规模知识图谱的构建和发布对知识图谱数据管理提出
了新的挑战. 以数据模型的结构和操作要素为主线, 对目前的知识图谱数据管理理论, 方法 …

A unique feature of this open access textbook is to provide a comprehensive introduction to
the fundamental knowledge in embedded systems, with applications in cyber-physical …

This thesis addresses the challenges of building a software system for general-purpose
runtime code manipulation. Modern applications, with dynamically-loaded modules and …

Accordingly, Several techniques for technical protection of Software Secrets are provided in
accordance with one embodiment of the present invention. In the detailed description of the …

知识图谱是人工智能的重要基石. 各领域大规模知识图谱的构建和发布对知识图谱数据管理提出
了新的挑战. 以数据模型的结构和操作要素为主线, 对目前的知识图谱数据管理理论, 方法 …

Graph pattern matching is fundamental to social network analysis. Traditional techniques
are subgraph isomorphism and graph simulation. However, these notions often impose too …

Computability and complexity theory should be of central concern to practitioners as well as
theorists. Unfortunately, however, the field is known for its impenetrability. Neil Jones's goal …

This article presents GRAPE, a parallel GRAP h E ngine for graph computations. GRAPE
differs from prior systems in its ability to parallelize existing sequential graph algorithms as a …

In order to contribute to the solution of the software reliability problem, tools have been
designed to analyze statically the run-time behavior of programs. Because the correctness …