Efficiently verifying programs with rich control flows

机译：通过丰富的控制流程有效地验证程序

代理获取

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

页面导航

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

著录项

作者
GHERGHINA CRISTIAN ANDREI;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Random CFI (RCFI): Efficient Fine-Grained Control-Flow Integrity Through Random Verification [J] . Park Moon Chan, Lee Dong Hoon IEEE Transactions on Computers . 2021,第5期

机译：随机CFI（RCFI）：通过随机验证有效的细粒度控制流程完整性
2. Efficient clinical-scale enrichment of lymphocytes for use in adoptive immunotherapy using a modified counterflow centrifugal elutriation program [J] . Powell DJ, Brennan AL, Zheng ZH, Cytotherapy . 2009,第7期

机译：使用改良的逆流离心淘析程序在过继免疫疗法中有效利用临床规模的淋巴细胞富集
3. CRISPRi-Based Dynamic Control of Carbon Flow for Efficient N-Acetyl Glucosamine Production and Its Metabolomic Effects in Escherichia coli [J] . Zhang Quanwei, Hou Zhengjie, Ma Qian, Journal of Agricultural and Food Chemistry . 2020,第10期

机译：基于CRISPRI的碳流动态控制，以高效的N-乙酰吡糖胺产生及其在大肠杆菌中的代谢组成
4. On-Device Control Flow Verification for Java Programs [C] . Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl Engineering secure software and systems . 2011

机译：Java程序的设备上控制流验证
5. Heuristics for efficient dynamic verification of message passing interface and thread programs. [D] . Chiang, Wei-Fan. 2011

机译：用于消息传递接口和线程程序的有效动态验证的启发式方法。
6. Verification of effect of sleep health education program in workplace: a quasi-randomized controlled trial [O] . Yukari NAKADA, Aya SUGIMOTO, Hiroshi KADOTANI, 2018

机译：验证工作场所睡眠健康教育计划的效果：一项准随机对照试验
7. Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs [O] . Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini 2008

机译：在控制流图中使用即时支配器进行高效的字节码验证

Efficiently verifying programs with rich control flows

著录项

引文网络

相似文献

相关主题

期刊订阅