< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
PDIUSBD12 是一款带有并行总线和局部DMA传输能力的高速USB 接口器件固件设计的目标就是 使PDIUSBD12 在USB 上达到最大的传输速率外围设备例如打印机扫描仪外部的海量存储器和数码 相机都可使用PDIUSBD12 在USB 上传输数据这些设备的CPU 要忙于处理许多设备控制和数据以及图像 处理等任务PDIUSBD12 的固件设计成完全的中断驱动当CPU 处理前台任务时USB 的传输可在后台 进行这就确保了最佳的传输速率和更好的软件结构同时简化了编程和调试 后台ISR 中断服务程序和前台主程序循环之间的数据交换通过事件标志和数据缓冲区来实现例 如PDIUSBD12 的批量输出端点可使用循环的数据缓冲区当PDIUSBD12 从USB 收到一个数据包那 么就对CPU 产生一个中断请求CPU 立即响应中断在ISR中固件将数据包从PDIUSBD12 内部缓冲区 移到循环数据缓冲区并在随后清零PDIUSBD12 的内部缓冲区以使能接收新的数据包CPU 可以继续它当 前的前台任务直到完成例如打印当前页然后返回到主循环检查循环缓冲区内是否有新的数据并开始其 它的前台任务
上传时间： 2016-04-10
上传用户：13160677563
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间： 2014-01-25
上传用户：坏坏的华仔
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签： Professional QTP Quick Test
上传时间： 2016-04-21
上传用户：tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
用java编写的标准化考试系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：qoovoop
用java编写的 图书查询系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：三人用菜
