期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
Compiling CIL Rewriting Language for Multiprocessors
1
作者 田新民 王鼎兴 +2 位作者 郑纬民 沈美明 李程 《Journal of Computer Science & Technology》 SCIE EI CSCD 1994年第4期302-310,共9页
The highlevel Compiler Intermediate Language CIL is a generalpurpose descripotion language of parallel graph rewriting computational model intended for parallelimplementatioll of declarative languages on multiprocesso... The highlevel Compiler Intermediate Language CIL is a generalpurpose descripotion language of parallel graph rewriting computational model intended for parallelimplementatioll of declarative languages on multiprocessor systems. In this paper, wefirst outline a new Hybrid Execution Model(HEM) and corresponding parallel abstract machine PAM/TGR based on Extended parallel Graph Rewriting ComputationalModel EGRCM for implementing CIL language on distributed memory multiprocessorsystems. Then we focus on the compiling CIL language with various optindzing techniques such as pattern matching, rule indexing, node ordering and compile-time partialscheduling. The experimental results on a 16-node Thansputer Array demonstrates the effectiveness of our model and strategies. 展开更多
关键词 Graph rewriting rewriting language optimizing compiler pattern matching rule indexing rule-group compiling MULTIPROCESSORS
原文传递
面向主体脆弱性的权限控制安全分析模型 被引量:1
2
作者 黄光球 李艳 《计算机工程》 CAS CSCD 北大核心 2010年第11期148-151,共4页
在网络攻击过程中脆弱性存在于节点的部件主体上,针对该问题,将攻击描述细化到网络部件级,在原权限控制模型中增加对部件间权限、连接关系、属性的描述及脆弱性重写规则,构造NCVTG模型,提出复杂度为多项式时间的NCVTG模型图权限转移闭... 在网络攻击过程中脆弱性存在于节点的部件主体上,针对该问题,将攻击描述细化到网络部件级,在原权限控制模型中增加对部件间权限、连接关系、属性的描述及脆弱性重写规则,构造NCVTG模型,提出复杂度为多项式时间的NCVTG模型图权限转移闭包生成算法用以评估网络的动态变化,给出当前脆弱性状态下的所有攻击路径。实验结果证明,该模型可对网络安全性进行综合分析,预测所有可能的攻击。 展开更多
关键词 网络安全分析模型 攻击图 权限获取-授予模型 重写规则
下载PDF
LISP-ELP语言的实现技术
3
作者 张运桢 李智勇 《华中理工大学学报》 CSCD 北大核心 1991年第1期113-118,共6页
LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.
关键词 LISP-ELP语言 专家系统 重写规则
下载PDF
双语词典的形式描写
4
作者 彭宣维 《重庆大学学报(社会科学版)》 1995年第1期60-65,共6页
本文试图运用语言学的一些成果对双语词典作形式化的描写。首先运用韩礼德的信息理论。转换生成语法的重写规则及计算机程序设计流程图对双语词典的词条结构作形式化的描写,然后以我国英汉词典编纂的语言学意义为基础。描写双语词典宏... 本文试图运用语言学的一些成果对双语词典作形式化的描写。首先运用韩礼德的信息理论。转换生成语法的重写规则及计算机程序设计流程图对双语词典的词条结构作形式化的描写,然后以我国英汉词典编纂的语言学意义为基础。描写双语词典宏、微观结构的动态关系. 展开更多
关键词 双语词典 形式描写 信息结构 重写规则 流程图 宏观结构 徽观结构 动态关系
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部