搜索结果: 1-3 共查到“程序设计及其语言 generation”相关记录3条 . 查询时间(0.153 秒)
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...
Code generation for embedded second-order cone programming
The validation code convex optimization embedded applications the second-order cone programming
2015/8/7
This paper describes a framework for generating easily verifiable code to solve convex optimization problems in embedded applications by transforming them into equivalent second-order cone programs. I...