简介：我们在场在Hoare风格节目逻辑的标准标记打扫无用单元收集程序的保守变体的机器级的实现的确认。收集者的说明用分离逻辑在一个机器级的存储模型上被给，并且是足够强壮的保存任何普通mutator节目的安全性质。我们的确认充分在Coq证明助手被实现并且能作为带证明的代码包装的foundational立即被包装。我们的工作向造充分证明的生产质量无用单元收集程序做重要尝试。电子增补材料这篇文章(doi:10.1007/s11390-007-9049-z)的联机版本contatins增补材料，它对授权用户可得到。

简介：许多软件系统在很多个连续版本被开发。在每个版本不仅新代码被增加而且存在代码经常被修改。在这研究，我们证明修改代码能是差错的重要来源。差错广泛地在软件项目作为主要费用司机之一被认出。因此，我们寻找在修改代码改进故障检测的方法。我们建议并且评估很多个预测模型增加故障检测的效率。为了造并且评估我们的模型，我们使用从Ericsson生产的二个大远程通信系统收集的数据。我们由比那两个都把他们用于系统的一个不同版本评估我们的模型的表演他们被造在上并且到一个不同系统。我们的模型的性能与理论最好的模型，的性能相比一个简单模型基于尺寸，以及到在一份随机的订单分析代码(不用任何模型)。我们发现我们的模型的使用在根本并且过去不基于班尺寸用一个简单模型使用任何模型上提供重要改进。我们的模型提供的获得对应于3857%理论最大增益。电子增补材料这篇文章(doi:10.1007/s11390-007-9053-3)的联机版本contatins增补材料，它对授权用户可得到。

简介：Systemadministratordealswithmanyproblems,ascomputingenvironmentbecomesincreasinglycomplex.Systemswithanabilitytorecognizesystemstatesandadapttoresolvetheseproblemsofferasolution.Muchexperienceandknowledgearerequiredtobuildaself-adaptivesystem.Self-adaptivesystemshaveinherentdifficulties.Thispaperproposesatechniquethatautomaticallygeneratesthecodefortheself-adaptivesystem.Thusthesystemiseasiertobuild.Self-adaptivesystemsofpreviousresearchrequiredhighsystemresourceusage.Incorrectoperationcouldbeinvokedbyexternalfactorssuchasviruses.Weproposeanimprovedself-adaptivesystemapproachandapplyittovideoconferencesystemandrobotsystem.Wecomparedthelinesofcode,thenumberofclassescreatedbythedevelopers.Wehaveconfirmedthisenhancedapproachtobeeffectiveinreducingthesedevelopmentmetrics.

简介：现代编译器使用各种各样的代码转变算法改进目标代码的质量。然而，一个复杂问题是决定算法哪个转变必须被利用。因为三个原因，这是困难的：很多个转变算法，各种各样的联合可能性，和几配置可能性。在最后几年，各种各样的聪明的系统在文学被介绍。这些系统的目标是寻找转变算法并且因此把他们用于某个程序。这份报纸建议能够为一个输入程序识别转变算法的一个灵活、便宜、聪明的系统，认为程序是特定的特征。这个系统为parameterization选择是灵活的并且有低计算的费用。另外，它有能力最大化可得到的计算资源的探索。系统在低级虚拟机基础结构下面被实现，结果显示超过有能力，直到21.36%，性能由另外的系统到达了。另外，它在低级虚拟机基础结构的最好攻击的编译器优化水平上完成了多达17.72%的平均改进。