搜索结果: 1-15 共查到“工学 programs”相关记录44条 . 查询时间(0.071 秒)
包头师范学院计算机辅助教学语言课件Unit5 Designing CALL Programs and Activities
包头师范学院 计算机辅助教学语言 课件 Unit5 Designing CALL Programs and Activities
2018/8/15
包头师范学院计算机辅助教学语言课件Unit5 Designing CALL Programs and Activities。
Dietary quality of the US child and adolescent population: trends from 1999 to 2012 and associations with the use of federal nutrition assistance programs
adolescents children dietary quality Healthy Eating Index National School Lunch Program NHANES Supplemental Nutrition Assistance Program
2018/11/12
Background: The state of the economy, changes in federal food assistance programs, and policies related to nutrition and the food supply in the United States may influence dietary quality in children ...
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...
The evaluation of lifesaving programs whose benefits extend into the future involves two discounting issues.
The intragenerational discounting problem is how to express, in age-; dollars, reductions ...
Measuring the welfare effects of slum improvement programs: The case of Mumbai
welfare effects improvement programs
2015/9/18
This paper evaluates the welfare effects of in situ slum upgrading and relocation programs using data for 5000 households in
Mumbai, India. We estimate a model of residential location choice in which...
Efficient Computation of Shapley Values for Demand Response Programs
Demand Response Shapley Value
2015/8/17
Efficient Computation of Shapley Values for Demand Response Programs.