PAR平台相关论文
当前,Python语言在人工智能、数据挖掘、云计算等领域使用广泛,已成为计算机领域的研究热点。但随之而来的则是程序的复杂性增加,......
作为云计算和服务计算的结晶,云服务通过云计算方式（如SaaS或PaaS等）提供服务集成和价值增值功能,以满足用户多元化的业务需求。云服......
通过高速网络连接,各类计算资源互联构成了一个庞大的全球计算机系统。资源请求因资源以云服务形式分享而无处不在,这一转变正在改......
软件测试贯穿了软件工程全过程,是保证软件质量的重要手段。根据应用系统的不同,采用的测试方法也呈现多样性。目前,软件测试技术......
电力软件是一种特殊的软件,随着电力需求的不断增长,其技术改造和检修的投入越来越大。电力技改检修项目创造的社会效益是巨大的,......
形式化方法可以对系统进行严格的规约,并可以从不同的角度验证开发的系统是否具有所期望的性质,在高可信软件的开发中越来越受重视......
数据库系统的查询优化技术是提高数据库系统效率的重要技术。当前由江西师范大学省高性能重点实验室薛锦云教授团队研发的通用高可......
软件服务外包在我国迅猛发展，潜力巨大，但软件服务外包行业一直存在着软件可靠性差和开发效率低的问题。因此高效率地开发正确、可靠......
为了更好地解决软件危机这个至关重要的问题,提高实际软件开发的效率和可靠性,薛锦云教授在多个国家级课题的资助下提出了一种普遍......
