搜索结果: 136-150 共查到“知识库 计算机软件”相关记录5795条 . 查询时间(6.087 秒)
A Development Environment for Horizontal Microcode
Index Terms{mi ro ode ompa tion Per olation S heduling environment
2016/5/24
A Development Environment for Horizontal Microcode.
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...
Static Analysis Techniques for Predicting the Behavior of Active Database Rules
Static Analysis Techniques Predicting Behavior Active Database Rules
2016/5/24
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) ...
This paper presents a software pipelining algorithm for the automatic extraction of ne-grain parallelism in general loops. The algorithm accounts for machine resource constraints in a way that smooth...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities Over Integers
Complete Practical Technique Linear Inequalities Over Integers
2016/5/24
We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generalization of the branch-and-bound t...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach,abstract data type...
The optimization of short sequences of loop-free, fixed-point assembly code sequences is an important problem in highperformance computing. However, the competing constraints of transformation correct...
一种基于规则的软件体系结构层性能演化优化方法
性能评估 性能优化 软件体系结构 基于搜索的软件工程
2016/12/24
目前基于规则的软件体系结构(Software Architecture,简记为SA)层性能优化方法大多未充分考虑优化过程中规则的使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更优的性能改进方案.针对这一问题并以最小化系统响应时间为优化目标,文中首先定义一种基于规则的SA层性能优化模型RPOM,以将SA层性能优化抽象为求解最优规则序列的数学问题;然后设计一种支持SA层性能改进规则序列执行...
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销,阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率,已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,作为验证加速的多目标约束模型。实验表明:该模型的求解结果能够用来判定哪些是可加速监控器,为实施软件运行时验证的加速提供量化依据。
结合Craig插值分析的软件错误诊断方法
基于模型诊断 软件错误定位 冗余分析 Craig插值
2016/12/26
基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明...
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类能耗错误的特点,设计了对应的能耗错误检测方法.该方法首先利用过程内分析,获得单个函数的符号执行信息.然后借助过程间分析对单个函数的符号执行信息进行全局综合,得到更为精确的执行开...
红外波长的随机激光器设计及FDTD软件特性验证
随机激光器 FDTD软件 红外波长
2016/12/17
深入研究了随机激光等效腔的局域化特性,引入了外部光反馈下激光器的理论分析速率方程,设计了磁旋光晶体的光隔离器件实现随机激光器的改进。采用的Nd:YAG激光器的实验结果验证了改进激光器可以降低散射损耗,实现紫外激光的方向性输出。FDTD仿真结果进一步表明波导的TE模的光增益近似是平面波导的两倍;信号和泵浦强度的耦合在改进波导结构有了明显改进;输出功率结果证实了结构降低随机激光器的散射损耗。研究结果对...
对目前已发生的核动力装置部分典型故障进行分析总结,归纳出征兆参数,然后利用这些征兆参数在监测模拟机上进行随机运行模拟,并构建相应的数据库。利用SPSS软件对该数据库进行故障频度分析,根据分析的结果研究其应用于定期安全审查的价值。