Refinement Rules for Real-Time Multi-tasking Programs

机译：实时多任务程序的优化规则

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.

机译：我们提出了几种正式的程序优化规则，用于设计具有严格实时约束的多任务程序。

著录项

来源
《Algebraic methodology and software technology》|1997年|p.199-215|共17页
会议地点 Sydney(AU);Sydney(AU)
作者
C. J. Fidge;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Verification, refinement and scheduling of real-time programs [J] . Liu ZM., Joseph M. Theoretical computer science . 2001,第1期

机译：验证，完善和安排实时程序
2. Compiling real-time programs with timing constraint refinement and structural code motion [J] . Gerber R., Seongsoo Hong IEEE Transactions on Software Engineering . 1995,第5期

机译：通过时序约束细化和结构代码运动来编译实时程序
3. Procedures and parameters in the real-time program refinement calculus [J] . Ian J. Hayes Science of Computer Programming . 2007,第3期

机译：实时程序优化演算中的过程和参数
4. Refinement Rules for Real-Time Multi-tasking Programs [C] . C. J. Fidge International conference on algebraic methodology and software tecnology . 1997

机译：实时多任务计划的细化规则
5. Timed Refinement for Verification of Real-Time Object Code Programs [D] . Dubasi, Mohana Asha Latha. 2018

机译：定时改进用于验证实时对象代码程序
6. Accurate macromolecular crystallographic refinement: incorporation of the linear scaling semiempirical quantum-mechanics program DivCon into the PHENIX refinement package [O] . Oleg Y. Borbulevych, Joshua A. Plumley, Roger I. Martin, -1

机译：精确的大分子晶体学精炼：将线性缩放半经验量子力学程序DivCon纳入PHENIX精炼软件包
7. Stepwise refinement of interrupt-driven real-time programs [O] . Cook Phil, Fidge Colin J. 2007

机译：逐步完善中断驱动的实时程序

Refinement Rules for Real-Time Multi-tasking Programs

摘要

著录项

相似文献

相关主题

期刊订阅