CYGWIN相关论文
模型验证是数理逻辑在现实中的一个重要应用。文章基于Promela语言,用spin工具检验数理逻辑的一个经典案例——狼和白菜过河问题。......
本文主要讨论在Cygwin的环境下利用SRILM工具包建立基于词的阿拉伯文和维吾尔文语言模型并在语料库上进行测试。为了解决数据稀疏......
利用Microsoft Visual C＋＋6.0和开源软件cygwin技术对基于嵌入式Linux的智能用电终端研发仿真系统进行设计和开发。此系统在PC机上运......
针对广泛使用Windows操作系统，利用Cygwin这个类Linux环境，对Linux下的开源工具链进行了移植，使之能够在Windows环境下进行Linux操作......
针对广泛使用Windows操作系统，利用Cygwin这个类Linux环境，对Linux下的开源工具链进行了移植，使之能够在Windows环境下进行Linux操作......
在Java Web系统中，常常需要安全地传输文件形式的数据。ANT是开源应用程序构建工具，而OpenSSH则是基于SSH协议、为联网计算机提供加......
根据Cygwin和Linux之间的区别,基于最新发布的自由软件包详细讲解构建armlinux-gcc交叉工具链的过程,同时给出各个构建环节可能遇......
根据Cygwin和Linux之间的区别,基于最新发布的自由软件包详细讲解构建armlinux-gcc交叉工具链的过程,同时给出各个构建环节可能遇......
利用Cygwin，将Linux和Unix操作系统下的量子化学并行计算程序移植到运行Windows操作系统的集群环境中，实现了Windows集群中的量子化......
利用Cygwin，将Linux和Unix操作系统下的量子化学并行计算程序移植到运行Windows操作系统的集群环境中，实现了Windows集群中的量子化......
对于很多不愿舍弃Windows而想学习Linux或进行Linux环境下的嵌入式系统开发或软件开发的人们来说，在Windows下构建Linux环境无疑是......
目前Linux操作系统是高校计算机专业常见的实验课程，但Linux实验平台的几种常用建设方法都存在着诸多问题。论文提出新的方案：建立一......
Cygwin可在Windows环境下提供对Unix/Linux环境的模拟与支持,具有较为完善的Unix/Linux工具包和编程环境.利用Cygwin对常用的生物......
Cygwin可在Windows环境下提供对Unix/Linux环境的模拟与支持,具有较为完善的Unix/Linux工具包和编程环境.利用Cygwin对常用的生物......
对软件进行检测和验证是保证软件可靠验证标准C程序的工具--标准C语言的有界模型检测工具CBMC,它可以对用Verilog语言建好的硬件电......
MPB是由麻省理工学院Joannopoulos的Ab Initio Physics团队所开发的开源程序,可计算出周期介电结构的色散关系与电磁模式。因使用......
软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一，尤其在一些诸如核反应堆控制、航空航天以及铁路调度......
Android NDK推出以来其Windows平台下环境搭建过程与应用的官方指导手册一直比较简略,其中NDK+Cygwin的搭建方式是目前Windows平台......
对嵌入式软件交叉开发技术进行探讨和研究。利用开源软件在Windows操作系统下，构建了一个嵌入式Linux的交叉开发环境，开发了busybox......
在校园或企业网建设中,经常要求实现内网专用域名的解析服务,这就需要网管为此配置DNS服务。Windows 2003服务器版本以其友好的用......
