首页> 外文学位 >Efficient sharing analysis of logic programs.

【24h】

Efficient sharing analysis of logic programs.

机译：逻辑程序的有效共享分析。

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Li, Xuan.;
展开▼
作者单位

Oakland University.;

展开▼
授予单位 Oakland University.;
学科 Computer science.
学位 Ph.D.
年度 2007
页码 132 p.
总页数 132
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method [J] . Qi Liang, Luan Wenjing, Lu Xiaoyu Sean, Quality Control, Transactions . 2020,第期

机译：共享P型逻辑Petri网组成和财产分析：矢量计算方法
2. Investigating the effectiveness of Without Charge-Sharing Quasi-Adiabatic Logic for energy efficient and secure cryptographic implementations [J] . Raghav Himadri Singh, Bartlett Viv A., Kale Izzet Microelectronics journal . 2018,第JUNa期

机译：研究无电荷共享拟绝热逻辑在节能和安全加密实施中的有效性
3. EFFICIENT DEVELOPMENT OF PROGRESSIVELY ENHANCED WEB APPLICATIONS BY SHARING PRESENTATION AND BUSINESS LOGIC BETWEEN SERVER AND CLIENT [J] . MARKUS AST, STEFAN WILD, MARTIN GAEDKE Journal of web engineering . 2014,第3a4期

机译：通过共享服务器和客户端之间的表示和业务逻辑来有效地开发逐步增强的Web应用程序
4. Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol [C] . Wagatsuma Kazunori, Goto Yuichi, Jingde Cheng ICMLC;International Conference on Machine Learning and Cybernetics . 2012

机译：基于匿名逻辑的推理形式的密码协议形式化分析：以Needham-Schroeder Shared-Key协议为例
5. The SLG-WAM: A search-efficient engine for well-founded evaluation of normal logic programs. [D] . Sagonas, Konstantinos. 1996

机译：SLG-WAM：一种搜索有效的引擎，用于对常规逻辑程序进行有根据的评估。
6. Disability equivalencies: a logic system for comparison of alternate health programs. [O] . D R Meyer 1971

机译：残疾当量：用于比较其他健康计划的逻辑系统。
7. Two efficient representations for set-sharing analysis in logic programs [O] . Trias Eric, Navas J., Ackley Elena S., 2008

机译：逻辑程序中集合共享分析的两种有效表示形式
8. Analysis of shared data structures for compile-time garbage collection in logic programs. [R] . Mulkers, A., Bruynooghe, M., Winsborough, W. 1990

机译：分析逻辑程序中编译时垃圾收集的共享数据结构。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号