切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算机体系结构描述语言 S
计算机体系结构描述语言 S
来源 :计算机学报 | 被引量 : 0次 | 上传用户:msdn_sdk
【摘 要】
:
本文提出了一种能够描述计算机体系结构的描述语言S,该语言用于进程描述具有并行特性的系统,并用事件(event)进行同步与交互,它采用被描述的计算机的指令作为模型运行的负载,
【作 者】
:
杜子德
【机 构】
:
中国科学院计算所
【出 处】
:
计算机学报
【发表日期】
:
1989年1期
【关键词】
:
计算机
体系结构
语言
S语言
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种能够描述计算机体系结构的描述语言S,该语言用于进程描述具有并行特性的系统,并用事件(event)进行同步与交互,它采用被描述的计算机的指令作为模型运行的负载,克服了传统的描述语言多采用随机数作为负载的不足,S语言还能统计多种运行数据。
其他文献
一种递推最小二乘图象参数辨识
本文提出一种递推最小二乘参数辨识方法,着重讨论了该方法用于处理空变图象的情况及与同类方法的比较,并进行了实验验证。
期刊
最小二乘
图象处理
参数辨识
γω演算与谓词演算融合于一阶数学理论中
本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的
期刊
γω演算
谓词演算
数学
光明将在武汉建酋个奶牛饲料厂
问题奶粉事件发生后.武汉市民消费信心急剧下跌。从10月6日召开的武汉市乳品质量安全与市场销售对接恳谈会上获悉.光明将在武汉兴建专业奶牛饲料厂.估计半年后将投产使用.届时武
期刊
奶牛饲料
武汉市
饲料厂
市场销售
东西湖区
质量安全
市场需求
产业链
故障矩阵映射法
本文在[1],[2],[4],[5]的基础上提出了求同步或异步时序电路测试序列的一个代数方法——故障矩阵映射法。应用该算法可以求出检测单故障或多重故障的最短测试序列集(STS)。
期刊
时序电路
故障
矩阵映射法
测试
内地活禽全面恢复供港
经过23d的暂停期后.7月1日内地活禽全面恢复供港。早上7时30分,由广州市江丰实业有限公司报检的1400只活鸡,经文锦渡检验检疫局口岸现场离境检疫合格后,从文锦渡口岸顺利通关供港
期刊
活禽
检验检疫局
活鸡
广州市
口岸
关于用吴—刘定理判别图的平面性的复杂性问题
吴文俊和刘彦佩教授在七十年代用代数拓扑的方法,给出了一个新的判别图的平面性的方法,即吴-刘定理。本文对给定Hamilton路的图进一步简化了吴-刘定理,据此可以给出一个判别
期刊
线性
算法
HAMILTON路
图平面性
一种适于最佳双环网的容错路由算法
本文提出了一种新的适用于C.S.Raghavendra等人提出的最佳双环网的容错路由算法,并证明了该算法总能导致信包传递沿着一条最优的路径。
期刊
双环网
容错路由算法
计算机网络
大豆后市有望剧烈振荡
2008年年初,大豆价格在2007年大幅上涨的基础上不断刷新历史新高,而3月以来,大豆价格暴涨暴跌,形成上千点的宽幅振荡走势(图1),笔者认为大豆市场自2006年9月以来的长期单边上涨走势
期刊
大豆市场
振荡
价格
重燃创业者的激情与梦想—第三届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第三届学术交流大会在京召开
2006年12月16—18日,“第三届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第三届学术交流大会”在北京会议中心隆重召开,国内外知名企业家和专家学者千余名代表欢聚一
期刊
学术交流大会
渔业经济
专业委员会
中国
饲料
科技
论坛
农业部兽医局
河南:18个省辖市10月底前将建立市级肉类储备制度
河南省18个省辖市将在2008年10月底以前建立市级肉类储备制度。河南省商务厅有关负责人表示,此举意在平抑肉类价格.增强政府部门对肉类价格的掌控能力和市场平衡能力。
期刊
储备制度
河南省
肉类
市级
平衡能力
政府部门
负责人
价格
与本文相关的学术论文