首页> 外文OA文献 >A PVS based framework for validating compiler optimizations

【2h】

A PVS based framework for validating compiler optimizations

机译：基于pVs的框架，用于验证编译器优化

页面导航

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

著录项

作者
Aditya Kanade; Amitabha Sanyal; Uday Khedker;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Development of an Integrated LPV/LFT Framework: Modeling and Data-Based Validation Tool [J] . Szabo Z.Marcos A.Mostaza Prieto D.Kerr M. L.Rodonyi G.Bokor J.Bennani S. Control Systems Technology, IEEE Transactions on . 2011,第1期

机译：集成LPV / LFT框架的开发：建模和基于数据的验证工具
2. Optimization and validation of a high throughput method for detecting neutralizing antibodies against human papillomavirus (HPV) based on pseudovirons [J] . NieJ., HuangW., WuX., Journal of Medical Virology . 2014,第9期

机译：基于伪病毒的高通量检测抗人乳头瘤病毒（HPV）中和抗体的方法的优化和验证
3. PV-Diesel-Hydrogen fuel cell based grid connected configurations for an institutional building using BWM framework and cost optimization algorithm [J] . Elavarasan Rajvikram Madurai, Leoponraj S., Dheeraj A., Sustainable Energy Technologies and Assessments . 2021,第Feba期

机译：使用BWM框架和成本优化算法的PV-柴油 - 氢燃料电池基于机构建筑的配置配置
4. A PVS Based Framework for Validating Compiler Optimizations [C] . Kanade A., Sanyal A., Khedker U. IEEE International Conference on Software Engineering and Formal Methods . 2006

机译：基于PVS的框架，用于验证编译器优化
5. Translation validation of optimizing compilers. [D] . Fang, Yi. 2006

机译：优化编译器的翻译验证。
6. Compiler Optimizations as a Countermeasure against Side-Channel Analysis in MSP430-Based Devices [O] . Pedro Malagón, Juan-Mariano de Goyeneche, Marina Zapater, 2012

机译：编译器优化作为基于MSP430的设备的边通道分析的对策
7. Optimization Design Method and Experimental Validation of a Solar PVT Cogeneration System Based on Building Energy Demand [O] . Chao Zhou, Ruobing Liang, Jili Zhang 2017

机译：基于建筑能量需求的太阳能pVT热电联产系统优化设计方法与实验验证

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号