搜索结果: 1-3 共查到“软件工程 code”相关记录3条 . 查询时间(0.093 秒)
New software continuously scrambles code to foil cyber attacks
New software continuously scrambles code foil cyber attacks
2016/11/29
As long as humans are writing software, there will be coding mistakes for malicious hackers to exploit. A single bug can open the door to attackers deleting files, copying credit card numbers or carry...
CVXGEN: A Code Generator for Embedded Convex Optimization
Convex optimization Code generation Embedded optimization
2015/8/7
CVXGEN is a software tool that takes a high level description of a convex optimization problem family, and automatically generates custom C code that compiles into a reliable, high speed solver for th...
The use of model checking for validation requires that models of the underlying system be created. Creating such models is both difficult and error prone and as a result, verification is rarely used d...