【摘 要】
：
介绍了基于C语言系统描述的面向软硬件划分的一种中间表示--层次化控制/数据流图HCDFG-II及其转换方法 . HCDFG-II根据C语言的特点对HCDFG进行了扩充,通过引入内存访问结点来
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家自然科学基金，国家高技术研究发展计划(863计划)
论文部分内容阅读
介绍了基于C语言系统描述的面向软硬件划分的一种中间表示--层次化控制/数据流图HCDFG-II及其转换方法 . HCDFG-II根据C语言的特点对HCDFG进行了扩充,通过引入内存访问结点来表示和处理C程序中的数组及指针,通过定义并发结构来表示C程序中的可并发部分 .同时,由于HCDFG-II采用以控制流为主的结构,从C语言进行转换十分容易 .这使得它能有效地作为C语言系统描述的中间表示,并为软硬件划分提供了更加精确的信息.
其他文献
资本主义社会中存在的价值增加，在中文版的《资本论》中一直被翻译为价值增殖，同时，这个价值增殖被视为剩余价值和资本主义生产过程的本质特征。这就排斥了社会主义价值增值的理
课程标准强调，生物课程“以提高学生的科学素养为宗旨”，要在“知识与技能、过程与方法、态度情感与价值观”三个维度上体现具体的学习目标。作业是学生学习必不可少的一个重要
肺栓塞(PE)是由于内源性或外源性栓子阻塞肺动脉或其分支引起肺循环障碍的临床和病理生理综合征.本文回顾性分析我院近5年来收治的31例PE患者的临床资料,为临床诊治PE提供帮
对离散曲线采用一种内在表示方法,用曲线的内在几何量———边长和边与x轴正方向的夹角来表示点的位置.利用双边滤波的思想,对边与x轴夹角进行去噪声;然后以去噪后的角度作为一个约束条件,构造目标函数来反求曲线的顶点.该方法主要在于解决了去噪声方法中一般都会产生的收缩问题,并且能够保持曲线的基本特征.
由于提问方式及研究假设的不同，两项研究提出了两份几乎完全不同的城市社会问题清单。做为对清单问题的回应。一项研究主要沿着社会结构调整的思考路径提出公共政策建议，而另一