- 2
- 0
- 约1.17万字
- 约 5页
- 2018-01-02 发布于广东
- 举报
1999年 10月 计算机工程与科学 第21卷 第 AI期
Oct.1999 COMPUTERENGINEERING SCIENCE Val.21 No.A I
XYZ系统对实时控制系统中进程调度
和中断机制的描述 ‘
DescriptionoftheSpecifyScheduleandInterrupt
MechanismsofaRealtimeSystemUsingXYZ
宋 悦 郝克刚
SongYueandHaoKegang
西〔北大学计算机科学系)
(DepartmentofComputerScience,NorthwestUniversity)
摘 要 XYZ系统是一套荃于线性时序语义的软件t程CASE环吮,XYZ忽 作为其核心既可以
用于抽象描述也可以用千程序性的细节描达。水文将XYZ应用于专用技制系统,描述了优先枪占式系
统的事件机制,为形式
您可能关注的文档
- Survivin及c-myc基因在肾癌组织中的表达及其相关性研究.pdf
- 《数据结构》课程多媒体CAI软件研制 - 副本 - 副本 (2).pdf
- 从《胜利》看康拉德的文学创作转向.pdf
- 从《苔丝》看达尔文主义对哈代创作之影响.pdf
- 世界贸易统计数据库的特点和检索方法.pdf
- 从2012年高考全国卷•数学(理)最后一题谈起.pdf
- SWDM系列多功能全液压旋挖钻机.pdf
- 《瓦尔登湖》徐迟、王光林、王家湘三个中译本对比研究.pdf
- 《文心雕龙》“清”议.pdf
- 从CAD模型到数码城市GIS模型的若干问题.pdf
- 2026住宅小区消防改造建筑方案(执行版,含总平面布置/疏散流线/消防节点).docx
- 2026制造工厂人力资源规划与排班配置方案(执行版,含排班模型/岗位编制/缺口清单).docx
- 2026人工智能企业内训实施计划(执行版,含培训安排/案例任务/考核清单).docx
- 2026仓储物流园总平面布置建筑方案(执行版,含车流组织/仓位分区/消防间距).docx
- 2026老旧办公楼节能改造建筑方案(执行版,含围护结构/节能设备/施工节点).docx
- 2026Python文件批量重命名与归档脚本方案(执行版,含文件样例/处理脚本/归档规则).docx
- 2026企业会计准则长期股权投资核算指南(执行版,含成本法分录/权益法分录/减值检查表).docx
- 2026社区养老服务中心项目可行性研究报告(执行版,含服务需求/建设内容/运营预算).docx
- 2026物流园冷链仓储项目可行性研究报告(执行版,含选址分析/设备配置/财务测算).docx
- 2026企业会计准则现金流量表编制口径手册(执行版,含分类口径/填报模板/勾稽检查表).docx
最近下载
- 危大工程巡视检查记录表(模版).docx VIP
- 2026届高考作文复习:材料作文审题方法+课件.pptx
- 《笠翁对韵》原文及译文.docx VIP
- 禾川伺服驱动问题解决大全V1(内部使用).pdf VIP
- 2025年项目管理专业组织变革与流程再造项目经验教训总结专题试卷及解析.pdf VIP
- 2025年无人机驾驶员执照欧洲(EASA)无人机法规对比专题试卷及解析.pdf VIP
- 2025年演出票务经营自律规范与“黄牛”治理专题试卷及解析.pdf VIP
- 2025年公共营养师学生营养改善计划相关政策与教育专题试卷及解析.pdf VIP
- 能源计量数据可信验证中的边缘-云协同架构.pdf VIP
- 江苏省南京市溧水区2019-2020学年七年级下学期期末数学试题【含答案】.doc VIP
原创力文档

文档评论(0)