搜索结果: 1-5 共查到“计算机科学技术 Automatic Generation”相关记录5条 . 查询时间(0.093 秒)
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...
Automatic Generation of Tourist Maps
Visualization Non-Realistic Rendering WWW Applications
2016/5/24
Tourist maps are essential resources for visitors to an unfamiliar
city because they visually highlight landmarks and other points of
interest. Yet, hand-designed maps are static representations tha...
Destination maps are navigational aids designed to show anyone
within a region how to reach a location (the destination). Handdesigned
destination maps include only the most important roads in
the ...
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...
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...