搜索资源列表
Crc32源码3种算法
- CRC32，适用于internet,文件等的校验，可靠程度比CRC32高，但运算要比CRC16复杂，需要的占用的代码空间也大一点-CRC applied to internet, checking the documents, reliable than CRC, but the operation than CYXLIC REDUNDANCY complex, requiring the occupants of the large
clarke_model_cheching
- 本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the
type
- 使用lex和yacc生成简单的编译器，生成语法分析树、完成类型检查等功能-The use of lex and yacc to generate a simple compiler, syntax analysis generated trees, the completion of type checking and other functions
Symbolic_Model_Checking_floc06
- Symbolic Model Checking
LDPC
- Low Densitive Parity Checking Codec Simulation for 4G Wireless Network
Parse2
- 设计、编制、调试一个典型的语法分析程序，实现对词法分析程序所提供的单词序列进行语法检查和结构分析，进一步掌握常用的语法分析中预测分析方法。-Design, preparation, debugging a typical parser, lexical analysis program to realize the word sequence provided by the grammar checking and structural
eight_queen
- i have implemented 8-queen using backtracing with forward checking. I have shown it on a chess board so everyone can understand the underlying algorithm easily. For more information goto http://rooparam.blogspot.com
crc_xilinx
- Cyclic Redundancy Check (CRC) is an error-checking code that is widely used in data communication systems and other serial data transmission systems.-Cyclic Redundancy Check (CRC) is an error-checking code that is wid
VB.programming.size.self.checking.code.detection.r
- VB编程检测大小自校验代码VB programming the size of self-checking code detection -VB programming the size of self-checking code detection
NuSMV-2.5.1.tar
- 这是模型检测的一个最新版本，希望对大家有所帮助。-This is one of the latest version of model checking, we want to help.
autorun.inf-virus-checking
- autorun.inf 病毒检查 本工具可以用来检查磁盘根目录下的autorun.inf文件.-autorun.inf virus checking
Extended-Static-Checking-for-Java
- Extended Static Checking for Java
spellchecking
- 基于哈希表的一个对于英文文章单词拼写错误检查及更正的优化算法-A hash table based on the article for the English spelling error checking and correction algorithm
model-checking
- a set of model checking tutorial
Time-Sensitive-Control-Flow-Checking-for-Multitas
- Time-Sensitive Control-Flow Checking for Multitask Operating System-Based SoCs
uart-data-Parity-checking
- 51串口数据 偶校验代码，初学者便于理解校验原理-51 serial data parity checking code, beginners facilitating understanding calibration principle
Consistency-checking-procedures
- 一致性检验及修正程序，主要是针对多目标问题，依据层次分析法的原理编写而成的C语言程序，运行结果正确。-Consistency checking and correction procedures for multi-objective problems, written in C language program in accordance with the principles of the Analytic Hierarchy Pr
checking-in-analysis_Java
- 考勤分析,详情参参见代码 首先需要安装Java的支持环境jdk-6u13-windows-i586-p.exe 安装完毕后，进入checking-in，选择 "run.bat"-Attendance analysis, details see reference code first need to install the Java support environment jdk-6u13-windows-i586-
self_send-and-checking-since-8251
- 基于8251的微机上机实验自发送自检查汇编程序 -Send a self-checking assembler since 8251 microcomputer based on experiments
Static-code-checking
- pclint的基本使用 包括用pclint检查代码 对两三个简单程序进行检查，并根据pclit检查的结果更正程序 比较简单，初学者使用-Basic use pclint include checking code with pclint two or three simple procedures for checking and correction based on the results pclit