搜索结果: 1-15 共查到“计算机科学技术 programs”相关记录18条 . 查询时间(0.169 秒)
包头师范学院计算机辅助教学语言课件Unit5 Designing CALL Programs and Activities
包头师范学院 计算机辅助教学语言 课件 Unit5 Designing CALL Programs and Activities
2018/8/15
包头师范学院计算机辅助教学语言课件Unit5 Designing CALL Programs and Activities。
Tracking Down Exceptions in Standard ML Programs
Tracking Down Exceptions Standard ML Programs
2016/5/25
We describe our experiences with an exception analysis tool for Standard ML. Information about exceptions gathered by the analysis is visualized using pam,a program visualization tool for emacs. We st...
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Detecting Races in Relay Ladder Logic Programs
Detecting Races Relay Ladder Logic Programs
2016/5/24
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extreme...
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern programming languages...
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...
Stochastic Optimization of Floating Point Programs with Tunable Precision
64-bit x86 x86-64, Binary Markov Chain Monte Carlo MCMC Stochastic Search SMT Floating-Point Precision
2016/5/24
The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately,floating-point instruction sets have complicated semantics that often fo...
Verification of Producer-Consumer Synchronization in GPU Programs
Verification GPUs data races synchronization deadlock barrier recycling
2016/5/24
Previous efforts to formally verify code written for GPUs have focused solely on kernels written within the traditional data-parallel GPU programming model. No previous work has considered the higher ...
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...
The distinguishability of product distributions by read-once branching programs
distinguishability product distributions read-once branching programs
2016/1/23
We improve the main result of Brody and Verbin [7] from FOCS 2010 on the power of constant-width branching programs to distinguish product distributions. Specifically, we show that a coin must have bi...
KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
KLEE Unassisted and Automatic Generation High-Coverage Tests Complex Systems Programs
2015/8/7
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to...
On Structured Semidefinite Programs for the Control of Symmetric Systems
Symmetric Systems Control
2015/6/19
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This approach may be applied ...
复旦大学软件学院计算机系统课件 Machine-Level Representation of Programs III
复旦大学软件学院 计算机系统 课件 Machine-Level Representation of Programs III
2012/12/18
复旦大学软件学院计算机系统课件 Machine-Level Representation of Programs III。
复旦大学软件学院计算机系统课件 Machine-Level Representation of Programs II
复旦大学软件学院 计算机系统 课件 Machine-Level Representation of Programs II
2012/12/18
复旦大学软件学院计算机系统课件 Machine-Level Representation of Programs II。