首页> 中文期刊> 《计算机学报》 >两维时间域上的实时程序语义

两维时间域上的实时程序语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

超稠密计算模型是实时系统的一种重要抽象模型.该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言(类Occam语言)讨论用这种逻辑定义并行语言(在超稠密模型中)的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述.

著录项

来源
《计算机学报》 |1999年第9期|958-962|共5页
作者
裘宗燕;
展开▼
作者单位

北京大学数学学院信息科学系;

北京;

100871;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
区间逻辑; 两维时间; 程序语义; 实时系统;

相似文献

中文文献
外文文献
专利

1. 两维时间域上的一种区间逻辑 [J] . 裘宗燕 . 计算机学报 . 1999,第005期
2. 均匀导电半空间中频率域和时间域三维电张量格林函数及应用 [J] . 鲁来玉 ,张碧星 ,鲍光淑 . 物探化探计算技术 . 2000,第002期
3. 两分量多参数频率域、时间域电磁法 [J] . 黄州 ,董卫斌 ,等 . 石油地球物理勘探 . 2001,第B11期
4. 一种具有时间语义的实时处理器模型 [J] . 汪超 ,陈香兰 ,章博 . 计算机研究与发展 . 2021,第006期
5. 实时机模型及时间语义指令集研究 [J] . 陈香兰 ,李曦 ,汪超 . 计算机工程与科学 . 2021,第004期
6. 一种获取二维星域三角剖分上样条函数空间维数的新方法 [C] . . 全国第15届计算机辅助设计与图形学学术会议 . 2008
7. 基于视频压缩感知在测量域上的时间相关性研究 [A] . 李玲泉 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号