中文版 | English

在结果中检索

ISCAS OpenIR

浏览/检索结果: 共8条，第1-8条 帮助

已选(0)清除 条数/页：   排序方式：
robust vacuity for branching temporal logic 期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 卷号: 13, 期号: 1, 页码: -
作者:  Gurfinkel Arie;  Chechik Marsha
收藏  |  浏览/下载：111/0  |  提交时间：2013/09/17
VerificationVacuity Detection
an approximate approach to belief revision 期刊论文
LOGIC JOURNAL OF THE IGPL, 2012, 卷号: 20, 期号: 2, 页码: 486-496
作者:  Luan Shangmin;  Dai Guozhong;  Magnani Lorenzo
收藏  |  浏览/下载：104/0  |  提交时间：2013/09/17
Belief RevisionApproximate AlgorithmIntegrity ConstraintsFinite Belief Base
almost universal cupping and diamond embeddings 期刊论文
ANNALS OF PURE AND APPLIED LOGIC, 2012, 卷号: 163, 期号: 6, 页码: 717-729
作者:  Liu Jiang;  Wu Guohua
收藏  |  浏览/下载：97/0  |  提交时间：2013/09/17
Turing DegreesErshov HierarchyDiamond EmbeddingsAlmost Universal Cupping Property
nonlinear behaviors of gear shifting digital phase locked loops 期刊论文
INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2012, 卷号: 22, 期号: 8, 页码: -
作者:  Chen Xi;  Ling Bingo Wing-Kuen;  Sun Li-Min
收藏  |  浏览/下载：92/0  |  提交时间：2013/09/17
Gear Shifting Digital Phase Locked LoopsSteady State Periodic BehaviorsDivergent BehaviorsChaotic Behaviors
universality probability of a prefix-free machine 期刊论文
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2012, 卷号: 370, 期号: 1971, 页码: 3488-3511
作者:  Barmpalias George;  Dowe David L.
收藏  |  浏览/下载：97/0  |  提交时间：2013/09/17
Parallel Processing Systems
modeling the large-scale device control system based on pi-calculus 期刊论文
ADVANCED SCIENCE LETTERS, 2011, 卷号: 4, 期号: 6-7, 页码: 2374-2379
作者:  Deng Pan;  Zhang Jianwei;  Rong Xiaohui;  Chen Feng
收藏  |  浏览/下载：128/0  |  提交时间：2013/10/08
Large-scale Device ControlDevice Control ModelDevice CollaborationPi-calculus
面向服务进程的用户权限隔离模型 期刊论文
计算机工程, 2011, 卷号: 99, 期号: 23, 页码: 141-143,146
作者:  李瑜;  赵勇;  梁鹏
收藏  |  浏览/下载：113/0  |  提交时间：2013/10/08
最小权限虚拟化隔离特权用户域系统服务
指令级的变量容错恢复 期刊论文
计算机工程, 2010, 卷号: 36, 期号: 5, 页码: 43-45
作者:  张锐;  彭启民;  赵军锁
Adobe PDF(328Kb)  |  收藏  |  浏览/下载：98/0  |  提交时间：2011/05/23
软件容错,编译,可靠性software Fault ToleranceCompilingReliability