程序重构相关论文
本文我们研究的是使用概念分析的方法进行程序的重构。概念就是有共同属性的所有对象的集合。概念分析的就是求解概念格的计算方法......
该文针对传统程序重构技术存在的不足,提出了一种基于层次任务图HTG的程序重构技术.首先对循环内数据数组的相关性分析进行讨论,提......
针对当前存在的大量非结构化MPI程序，该文提出一种在MPI程序中实现点对点通信原语到集合通信原语转换的方法，其基本思路是：分析非结构......
由于《税收征管法》相关规定存有缺陷,税务机关自行设计的纳税义务核定程序繁琐、复杂,直接影响征税效率。纳税义务核定程序重构,......
将一些工作站通过通用或专用的计算机网络连接形成的局域网计算机系统已进入实际使用阶段，本文描述了一个基于局域网络系统的Ｃ＋＋的并行......
针对软件模型检测目前很难处理大型程序的问题，提出用程序重构技术对待检的源代码进行预处理，以提高模型检测算法的效率．程序重构将大......
一、研究背景 软件也是有生命周期的，在软件使用过程中，软件需要升级、更改，以适应新的需求。一般软件的更改都是迫于外部的压力，譬......
本文阐述的银河－Ⅱ并行程序设计环境ＫＤ－ＰＡＳＴＥ以相关分析理论为基础［１］，充分挖掘应用程序的向量成分，并同时对程序的微任务化［１］进行了探索。该系统功......
船舶拍卖价款与责任限制基金清偿,类似企业破产还债程序而又有所不同,也区别于财产执行参与分配。《中华人民共和国海事诉讼特别程......
在当前存在的大量非结构化MPI程序中，许多基于点对点通信原语的代码段可以替换为相应的结构化集合通信原语，在MPI代码结构分析的基础......
减刑、假释具有满足刑罚目的要求、契合人道主义思想的重要价值蕴涵.我国现行减刑、假释程序存在诸多问题.我国减刑与假释适用程序......
2008年4月1日正式生效的《民事诉讼法(修正案)》对执行程序做了一定的调整,并初步确立了案外人异议之诉。赋予案外人以诉的方式维......
《检察人员执法过错责任追究条例》实施以来,对于加强队伍建设,规范执法行为,起到了十分重要的作用。但《条例》本身也存在功能定......
本文采用比较法学的方法,以证人出庭作证制度为研究对象。证人出庭作证制度是证人制度的核心内容,对于提高证人证言的证明力起到了......
本文的研究主题是刑事庭前审查程序。刑事庭前审查程序是指法院在收到检察机关的起诉书之后，在正式开庭审理之前，对刑事案件进行审查......
刑事再审程序是刑事诉讼程序中的重要组成，这个制度的设置主要是为了审判的公平和司法的权威，是在生效裁判作出后，发现其在错误时而适......
