资源列表
[软件工程] symbolic-execution
说明:介绍了符号执行技术的应用、原理及动态符号执行的开发技术。适合论文参考。-Symbolic execution technology, the principle and the development of dynamic symbolic execution technology. For reference papers.<刘世传> 在 2025-02-10 上传 | 大小:1.31mb | 下载:0
[软件工程] automatic-discovery-
说明:关于线性约束的自动检测技术的原理,是一片英文文献。作者是软件测试领域的专家。-About linear constraints principle of automatic detection technology, is an English literature. The authors are experts in the field of software testing.<刘世传> 在 2025-02-10 上传 | 大小:983kb | 下载:0
[软件工程] 2
说明:计算流体力学基础理论与实际用用书后面的源代码。。。书上有错误,这个是修改过的-Computational fluid dynamics basic theory and practice with the back of the book source code. . . The book there is an error, this is a modified<yujiabeizi> 在 2025-02-10 上传 | 大小:1kb | 下载:0
[软件工程] feature_selection
说明:特征选择的一些论文 包括期刊和学位论文,SAR图像和光学图像均有涉及,比较全面-some paper for feature selection<Fu Yao> 在 2025-02-10 上传 | 大小:5.27mb | 下载:0
[软件工程] OV10633_OV10133_CLGA_DS_2.0
说明:OV10633编程序的datasheet文档,有助于提高程序的编写速率-The OV10633 programmed datasheet documentation and help improve the procedures for the preparation rate<fire> 在 2025-02-10 上传 | 大小:1.77mb | 下载:0
[软件工程] AR0130_DS_E
说明:ar0130的datasheet文档,通过该文档做出CMOS的初始化序列-ar0130 datasheet document, the document to make CMOS initialization sequence<fire> 在 2025-02-10 上传 | 大小:886kb | 下载:0