首页> 外文OA文献 >Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms

【2h】

Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms

机译：芦荟：在存在恢复机制的情况下验证近似程序的可靠性

代理获取

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

页面导航

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

著录项

作者
Keyur Joshi; Vimuth Fernando; Sasa Misailovic;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Enhanced sequential approximate programming using second order reliability method for accurate and efficient structural reliability-based design optimization [J] . Zeng Meng, Huanlin Zhou, Hao Hu, Applied Mathematical Modelling . 2018,第OCTa期

机译：使用二阶可靠性方法的增强型顺序近似编程，可实现基于结构可靠性的准确，高效的设计优化
2. The cost/reliability trade-off in verifying approximate solutions to differ ential equations with distributed delays [J] . Shakourifar M., Enright W.H. SIAM Journal on Scientific Computing . 2013,第2期

机译：验证具有分布时滞的微分方程的近似解的成本/可靠性权衡
3. A sequential approximate programming strategy for reliability-based structural optimization [J] . Gengdong Cheng, Lin Xu, Lei Jiang Computers & Structures . 2006,第21期

机译：基于可靠性的结构优化的顺序近似编程策略
4. Program Verification in the Presence of I/O Semantics, Verified Library Routines, and Verified Applications [C] . Hugo Feree, Johannes Aman Pohjola, Ramana Kumar, International conference on verified software: theories, tools and experiments . 2018

机译：具有I / O语义，已验证的库例程和已验证的应用程序的程序验证
5. Improvement of the reliability of the anaerobic ammonium oxidation (Anammox) process: Mechanisms of nitrite inhibition and recovery strategies [D] . Li, Guangbin. 2016

机译：改善厌氧氧化铵（厌氧毒素）过程的可靠性：亚硝酸盐抑制和回收策略的机制
6. Verification of the mediation effect of recovery resilience according to the relation between elderly users’ participation in exercise rehabilitation program and their successful aging [O] . Min-soo Cho 2014

机译：根据老年人参加运动康复计划与他们成功的衰老之间的关系验证恢复弹性的调解效果
7. CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS [O] . Mihail Dunaev, Andrey Dunaev 2021

机译：构建验证计划的近似方法的分类
8. Inadequacy of Conventional Dynamic Recovery Mechanisms in the Presence of Temporary Failures [R] . Amer, H. H., Cortes, M. L., McCluskey, E. J. 1987

机译：在暂时性故障存在的情况下常规动态恢复机制的不足

Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms

著录项

引文网络

相似文献

相关主题

期刊订阅