搜索结果: 1-7 共查到“计算机科学技术 Procedure”相关记录7条 . 查询时间(0.028 秒)
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
Languages Verification Experimentation
2016/5/24
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We first present a theory of h...
Variations and extensions of the convex-concave procedure
Convex-concave process convex optimization programming standard procedures initialization algorithm
2015/8/7
We investigate the convex-concave procedure (CCP), a local heuristic that utilizes the tools of convex optimization to find local optima of difference of convex (DC) programming problems. The class of...
复旦大学软件学院计算机系统课件 Procedure Call
复旦大学软件学院 计算机系统 课件 Procedure Call
2012/12/18
复旦大学软件学院计算机系统课件 Procedure Call。
Defining System Requirements: a critical assessment of the Niam conceptual design procedure
Defining System Requirements critical assessment of the Niam conceptual design procedure
2009/12/9
Requirements definition is a fundamental activity within information systems development. Social and organisational issues are at the centre of many of the problems experienced during the development ...
Solution Procedure for Transport Modeling in Effluent Recharge Based on Operator-Splitting Techniques
Transport Modeling Effluent Recharge Operator-Splitting Techniques
2009/9/4
The coupling of groundwater movement and reactive transport during groundwater recharge with wastewater leads to a complicated mathematical model, involving terms to describe convection-dispersion, ad...
A Robustness Analysis Procedure for Realistic Missiles
Robustness Analysis Procedure Realistic Missiles
2009/7/28
This paper presents a robustness analysis procedure for short range realistic missile autopilots. The sensitivity of the autopilots to the aerodynamic parameter uncertainties is investigated through t...