资源列表
[其它资源] mc-tutorial
说明:这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。<Turing> 在 2008-10-13 上传 | 大小:214.85kb | 下载:0
[其它资源] Prentice.Hall.The.Linux.Programmers.Toolbox.Mar.20
说明:本书为Linux编程工具书,涵盖了Linux程序开发的方方面面,内容深刻,讲解全面,对于一些高级主题如进程间通信等介绍的比较深入,是一本不可多得的Linux开发的高级参考书。<Turing> 在 2008-10-13 上传 | 大小:2.33mb | 下载:0
[其它资源] 2410_BT_loader
说明:s3c2410的启动代码,包括BSP和多个测试程序。用ADS1.2编译。用JTAG下载到Nor或是NAND 进行启动<电子爱好者> 在 2008-10-13 上传 | 大小:744.86kb | 下载:0
[其它资源] Keypad_MCU_Program
说明:本人设计的用802051实现的键盘程序的识别代码。系统采用定时查询,防抖。如果监测到你一个代码,系统将键盘码输出。然后给我你个中断,用于提示中心机,读取键码。支持长按。<电子爱好者> 在 2008-10-13 上传 | 大小:17.43kb | 下载:0
[其它资源] S3C2440Timer
说明:s3c2410提供了5个16位的Timer(Timer0~Timer4),其中Timer0~Timer3支持Pulse Width Modulation—— PWM(脉宽调制 )。Timer4是一个内部定时器(internal timer),<LIYOUPBC> 在 2008-10-13 上传 | 大小:5.61kb | 下载:0
[其它资源] s3c2410INT
说明: 在进入正题之前,我想先把ARM920T的异常向量表(Exception Vectors)做一个简短的介绍。<LIYOUPBC> 在 2008-10-13 上传 | 大小:398.65kb | 下载:0