Path-Sensitive Inference of Function Precedence Protocols

机译：函数优先协议的路径敏感推理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Murali Krishna; Ramanathan Ananth; Grama Suresh Jagannathan;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Study and Analysis of Precedence Functions for Operator Precedence Parser in Compiler Design [J] . Priyanka Agiwal, Sarita Sharma, Pradeep Sharma, Research Journal of Computer and Information Technology Sciences . 2016,第3期

机译：编译器设计中运算符优先级解析器优先级函数的研究与分析
2. A global network-based protocol for functional inference of hypothetical proteins in Synechocystis sp PCC 6803 [J] . Gao Lianju, Pei Guangsheng, Chen Lei, Journal of Microbiological Methods . 2015,第Null期

机译：一个基于全球网络的协议，用于推断拟蓝藻PCC 6803中的假设蛋白质
3. Singularity functions for continuous precedence relations and nonlinear activity-time-production functions [J] . Hajdu Miklos, Lucko Gunnar, Su Yi Automation in construction . 2017,第JULa期

机译：连续优先关系的奇异函数和非线性活动时间产生函数
4. Path-Sensitive Inference of Function Precedence Protocols [C] . Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan, International conference on Software Engineering . 2007

机译：功能优先协议的路径敏感推断
5. Inference for the K-sample problem based on precedence probabilities [D] . Dey, Rajarshi 2011

机译：基于优先概率推断K样本问题
6. PRELOG: precedence logic inference software for blood donor deferral. [O] . J. M. Sorace, J. J. Berman, G. E. Carnahan, 1991

机译：PRELOG：用于献血者延期的优先逻辑推理软件。
7. Path-Sensitive Inference of Function Precedence Protocols [O] . Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan 2006

机译：函数优先协议的路径敏感推理
8. Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol [R] . Duggirala, P, Wang, L, Mitra, S, 2014

机译：切换模型的时态优先级检验及其在并行着陆协议中的应用

Path-Sensitive Inference of Function Precedence Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅