Recovery Blocks

机译：恢复块

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give a semantics for Brian Randell's recovery blocks, and show how they can be proved correct. The formalisation is expressed wholly in propositional logic.

机译：我们给出了Brian Randell的恢复块的语义，并展示了如何证明它们是正确的。形式化完全用命题逻辑表示。

著录项

来源
《Dependable and historic computing : Essays dedicated to Brian Randell on the occasion of his 75th birthday》|2011年|p.261-266|共6页
会议地点 Newcastle(GB)
作者
Tony Hoare;
展开▼
作者单位

Microsoft Research, Cambridge, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Comparison of ultrasound-guided lumbar plexus and sciatic nerve blocks with ropivacaine and sham blocks with saline on perianesthetic analgesia and recovery in dogs undergoing tibial plateau leveling osteotomy surgery [J] . Warrit Kanawee, Griffenhagen Gregg, Goh Clara, Veterinary Anaesthesia and Analgesia . 2019,第5期

机译：超声引导腰椎神经丛与枸杞和假疱疹的比较与盐水对白细胞镇痛和狗的养殖恢复进行了胫骨平整剖面性骨质术外科
2. Block Sparse Signal Recovery in Compressed Sensing: Optimum Active Block Selection and Within-Block Sparsity Order Estimation [J] . Shamsi Mahdi, Rezaii Tohid Yousefi, Tinati Mohammad Ali, Circuits, systems, and signal processing . 2018,第4期

机译：压缩传感中的块稀疏信号恢复：最佳有源块选择和块内稀疏度阶估计
3. Weighted overlapped recovery for blocking artefacts reduction in block-based compressive sensing of images [J] . Dinh K.Q., Shim H.J., Jeon B. Electronics Letters . 2015,第1期

机译：加权重叠恢复可减少基于块的图像压缩感知中的伪像减少
4. Self Embedding Fragile Watermarking for Image Tampering Detection and Image Recovery Using Self Recovery Blocks [C] . Dhole Vinayak S., Patil Nitin N. International Conference on Computing, Communication, Control and Automation . 2015

机译：自嵌入脆弱水印技术，用于利用自我恢复模块进行图像篡改检测和图像恢复
5. Mower : A new design for non-blocking misprediction recovery. [D] . Jin, Zhaoxiang. 2015

机译：割草机：一种用于非阻塞错误预测恢复的新设计。
6. In-hospital Heart Rate Reduction With Beta Blockers and Ivabradine Early After Recovery in Patients With Acute Decompensated Heart Failure Reduces Short-Term Mortality and Rehospitalization [O] . Alessandro Faragli, Giuseppe Di Tano, Caterina De Carlini, 2021

机译：在急性失代偿性心力衰竭患者的患者恢复后患有β受体阻滞和IVAbradine的医院心率降低降低了短期死亡率和再次生长
7. Using the post‐operative quality recovery scale to evaluate recovery with different neuromuscular blocking reversal agentsin the Portuguese population ‐ interim analysis results: 1AP3‐8 [O] . Gomes B., Lagarto F., Bismarck A., 2013

机译：使用术后质量恢复量表评估葡萄牙人群中不同神经肌肉阻滞逆转剂的恢复情况-中期分析结果：1AP3-8
8. Analysis of Backward Error Recovery for Concurrent Processes with Recovery Blocks [R] . Shin, K. G., Lee, Y. H. 1982

机译：具有恢复块的并发进程的后向错误恢复分析

Recovery Blocks

摘要

著录项

相似文献

相关主题

期刊订阅