多核环境下运行了可满足性分析的工具软件,能够使你充分了解多核编程技术
上传时间: 2013-12-19
上传用户:zhuimenghuadie
最快速的可满足性分析工具软件,曾经获得比赛的冠军,能够让学习者,学很多的编程技巧
上传时间: 2016-09-22
上传用户:朗朗乾坤
对软件进行可达性测试的软件,并提供源代码,能够有效实施软件测试任务
上传时间: 2014-03-01
上传用户:jennyzai
印制电路板(PCB)及PowerPCB简介.doc
上传时间: 2016-09-23
上传用户:zhangliming420
新编印制电路板故障排除手册.doc
上传时间: 2016-09-23
上传用户:xyipie
FM25L256B是采用先进的铁电技术制造的256Kb非易失性存储器。铁电随机存储器(FRAM)具有非易失性,并且可以象RAM一样快速读写。数据在掉电后可以保存10年,同时消除由EEPROM和其他非易失性存储器导致的复杂性,开销和系统级别可靠性问题。
上传时间: 2016-09-26
上传用户:songrui
数据库工具 机遇mysql 提供连接 查询 更新 删除 具有与数据库 表 无关的封装性
上传时间: 2013-12-03
上传用户:王庆才
程控增益线性脉冲放大器的设计。 设计了一种新型程控增益线性脉冲放大器。采用准高斯CR2RC2CR 成形电路结构,使用非易失性数字电位器和精密运放,使电路结构大大简化,抗干扰能力强,增益多级连续变化平稳,且具有温漂低、脉冲线性好等特点
上传时间: 2013-11-27
上传用户:wcl168881111111
由于Java具有跨平台、代码可移植性、安全高效等广泛而强大的功能,因而在开发网络分布式应用的时候,可以用它自身的机制实现分布式计算,一种基于Java的远程方法调用(RMI)为我们开发企业分布式应用提供了行之有效的解决方案。
上传时间: 2016-10-05
上传用户:标点符号
从大量的wince源代码中剥离出的fat文件系统源代码.移植性非常高. 里面带有source i.rar
上传时间: 2016-10-08
上传用户:jyycc