【摘 要】
：
同步数据流图被广泛用于流应用程序的建模,如多媒体和数字信号处理程序等.流应用程序需达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经
【机 构】
：
苏州大学 计算机科学与技术学院,苏州 215006
论文部分内容阅读
同步数据流图被广泛用于流应用程序的建模,如多媒体和数字信号处理程序等.流应用程序需达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是高吞吐量往往伴随着能耗的增加.本文针对基于异构多核平台的同步数据流图系统模型,给出求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法.首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度.由于模型检测方法可对问题空间进行穷尽搜索,本文方法得到的是精确结果.本文方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期、降低开发成本.
其他文献
诚信是中国自古以来的优秀传统文化,是人在社会上的立足点,也是人类道德的基础准则.千百年来,大家都在传颂着和诚信有关的诗句,和诚信有关的故事,但在当前的社会中,坑蒙拐骗
磁流体力学数值模拟算法是受控热核反应和天体物理学研究领域的重要算法之一,然而,该模拟过程耗时且复杂,在此,本文提出了一类高效的面向多核集群的磁流体三维数值模拟并行化
艺海茫茫。谁主沉浮?艺人如有贵人扶持并能把握时机,随时会一跃龙门,身价百倍。你想知道明星亲口说出当年发掘他们的“伯乐”是谁吗? 刘德华:多谢周润发开路
Arts boundless
1999年2月15日(农历大年三十)下午5时30分,一位身着警服的青年警官搀扶着一位年近六旬的老大娘进入一间十分简陋的平房,只见餐桌上早已摆满了热腾腾、香喷喷的鸡鸭鱼肉和甜
最近看到《公路》杂志1983年第7期上登载一篇《垂线外距法布设回头曲线》的文章,看了以后,很受启发,现根据本人在实践中曾用过一种叫“伸头回头弯”的测设方法,觉得比这篇文
美国和它的英法走卒在本届聯合国大会上費盡心机发动了一个所謂‘和平’攻勢。這個‘和平’攻勢的标誌,就是美、英、法三國共同提出的美其名為‘節制、限制、以及按比例地裁
遗传算法是一种解决优化问题的启发式全局搜索算法,并行遗传算法是遗传算法的并行扩展,可以有效地减少遗传算法的运行时间.传统的主从式并行遗传算法具有不能充分利用从节点
小学生出现计算错误,很多时候是因为计算习惯不好导致的.要提高小学生的计算能力就必须要注重计算习惯的培养.文中,主要就对在小学中段数学教学中培养学生良好计算习惯进行了
随着半导体制造工艺的快速发展,处理器设计在21世纪初已从单核转向多核,现在处于大规模多核时代,以后直至众核时代.缓存是弥补内存与处理器性能差异的重要部件,极大地减少了
(1)中美两国的科技协定又向前迈进了一步。1930年10月,国务院副总理方毅来到美国,签了三项科技协定,其中有一项是城市规划。故今后有关城市规划及城市交通规划的技术交流会