资源列表
[Linux/Unix编程] EmbeddedLinuxDriver
说明：嵌入式Linux驱动程序设计。。。。对你很有用的-Embedded Linux Driver. . . . Very useful for you. . .<宫达磊> 在 2025-11-15 上传 | 大小：460kb | 下载：0
[Linux/Unix编程] Linux
说明：Linux入门文档，讲解了一些Linux入门的命令。-Linux Getting Started document, a number of Linux on the command entry.<zz> 在 2025-11-15 上传 | 大小：183kb | 下载：0
[弱点检测代码] mops-0.9.1.tar
说明：Mops 模型检测工具 用来对C程序进行检测-model checking c programs<gavin> 在 2025-11-15 上传 | 大小：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-11-15 上传 | 大小：20kb | 下载：0
[弱点检测代码] NuSMV-2.4.3.tar
说明：NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2025-11-15 上传 | 大小：3.17mb | 下载：0
[加密解密] yxyDES2_VC
说明：这是一个标准的DES算法 可以加密字符串和文件，也可以相应的解密-This is a standard DES algorithm can string and file encryption and decryption can be<王> 在 2025-11-15 上传 | 大小：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-11-15 上传 | 大小：631kb | 下载：0
[Linux/Unix编程] epd(e-paper)
说明：很少的关于电子纸的资料,包括S1D13521的Datasheet,还有对应的EPD驱动源代码.-Very little information on the electronic paper, including the S1D13521 the Datasheet, the EPD also drive the corresponding source code.<lever> 在 2025-11-15 上传 | 大小：19.06mb | 下载：0
[Linux/Unix编程] SJF2440jtag
说明：源码（基于ARM9S3C2440）使用JTAG调试FLASH的工具源码-Bootloader source code and test routines<雷志刚> 在 2025-11-15 上传 | 大小：359kb | 下载：0
[系统编程] student_data_administer
说明：实现学生数据添加，删除，编辑，以及学生读入信息纠错，-no anyting but program<zhengzhican> 在 2025-11-15 上传 | 大小：14kb | 下载：0