搜索结果: 1-7 共查到“计算机软件 Automatic”相关记录7条 . 查询时间(0.069 秒)
It's Automatic:CMU Smartphone App Manages Your Privacy Preferences
CMU Smartphone App Manages Privacy Preferences
2016/7/15
Chalk up one more task a smartphone app may do better than you: figuring out your privacy settings.A field study suggests that a personalized privacy assistant app being developed at Carnegie Mellon U...
Automatic Generation of Peephole Superoptimizers
Superoptimization Peephole Optimization Code Selection
2016/5/24
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at exploiting all opportun...
Receding horizon control: Automatic generation of high-speed solvers
Rolling time domain control model predictive control optimization cost
2015/8/7
Receding horizon control (RHC), also known as model predictive control (MPC), is a general purpose control scheme that involves repeatedly solving a constrained optimization problem, using predictions...
Under-constrained Execution:Making Automatic Code Destruction Easy and Scalable
Bug finding symbolic execution dynamic analysis
2015/8/7
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...
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...
Automatic Risk Identification in Software Projects: an Approach based on Inductive Learning
Risk Management Risk Identification Software Engineering Expert System
2013/1/28
Effective risk management is very important to increase the probability of success in software projects. Indeed, like other types of projects, software projects are also susceptible to various problem...
AUTOMATIC MODELING OF THE LINGUISTIC VALUES FOR DATABASE FUZZY QUERYING
Database Flexible Query Linguistic Values Knowledge Acquisition
2010/1/11
In order to evaluate vague queries, each linguistic term is considered according to its fuzzy model. Usually, the linguistic terms are defined as fuzzy sets, during a classical knowledge acquisition o...