资源列表
[系统编程] HideFileExt
说明：用vc 写的测试程序，运行后可以实现隐藏文件后缀的作用，显示就是相反 -Written by vc testing procedures, operation can be achieved after the suffix of the role of hidden files, show that the opposite is<stranger> 在 2025-08-02 上传 | 大小：7kb | 下载：0
[Linux/Unix编程] s111
说明：通过本课学习，学员可以从用户设备I/O编程角度深入了解设备驱动的原理；通过了解字符设备驱动框架和具体硬件设备I/O操作，能够进行字符设备驱动开发；了解linux2.6内核的设备模型及掌握udev的使用<cui> 在 2025-08-02 上传 | 大小：2kb | 下载：0
[Linux/Unix编程] EmbeddedLinuxDriver
说明：嵌入式Linux驱动程序设计。。。。对你很有用的-Embedded Linux Driver. . . . Very useful for you. . .<宫达磊> 在 2025-08-02 上传 | 大小：460kb | 下载：0
[Linux/Unix编程] Linux
说明：Linux入门文档，讲解了一些Linux入门的命令。-Linux Getting Started document, a number of Linux on the command entry.<zz> 在 2025-08-02 上传 | 大小：183kb | 下载：0
[弱点检测代码] mops-0.9.1.tar
说明：Mops 模型检测工具 用来对C程序进行检测-model checking c programs<gavin> 在 2025-08-02 上传 | 大小：599kb | 下载：0
[弱点检测代码] lbt-1.2.2.tar
说明：在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton<gavin> 在 2025-08-02 上传 | 大小：20kb | 下载：0
[弱点检测代码] NuSMV-2.4.3.tar
说明：NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2025-08-02 上传 | 大小：3.17mb | 下载：0
[加密解密] yxyDES2_VC
说明：这是一个标准的DES算法 可以加密字符串和文件，也可以相应的解密-This is a standard DES algorithm can string and file encryption and decryption can be<王> 在 2025-08-02 上传 | 大小：15kb | 下载：0
[系统编程] TWOMillim
说明：毫秒计算\二种毫秒计算比对,你可以了解二种不同的毫秒计算效果.经6666666循环测试BCB的耗时,确实要比VB开发快3倍.-Ms calculation \ ms two kinds of calculation than the right, you can find two kinds of different calculation of the effect of milliseconds. 6,666,666 cycle test by the time-consuming BCB<lzk> 在 2025-08-02 上传 | 大小：631kb | 下载：0