搜索结果: 1-2 共查到“程序设计及其语言 code”相关记录2条 . 查询时间(0.093 秒)
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...
Execution Generated Test Cases:How to Make Systems Code Crash Itself
Execution Generated Test Cases Systems Code Crash Itself
2015/8/7
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using
a combination of symbolic and concrete (i.e., regular) execution. The input values to ...