搜索结果: 1-5 共查到“计算机科学技术 Analyses”相关记录5条 . 查询时间(0.109 秒)
Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been dev...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
A System and Language for Building System-Specific,Static Analyses
Extensible compilation error detection
2015/8/7
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use...
Application of element deletion method for numerical analyses of cracking
Cracking Element deletion method Specific plastic work
2009/12/14
Purpose: To develop a numerical algorithm to simulate cracking and its evolution for machining, shearing and multi-pass hot bar rolling processes.
Design/methodology/approach: Element deletion method...
Discrete-time Phase and Delay Locked Loops Analyses in Tracking Mode
Carrier synchronization Coherent demodulation Software defined receiver
2010/2/2
Phase locked loops (PLL) and delay locked loops
(DLL) play an important role in establishing coherent references
(phase of carrier and symbol timing) in digital communication
systems. Fully digital...