DREAM Tool

DREAM Tool 0.7 Beta

DREAM工具是一个通用的框架,它的目的是提供能表达几个(实时,功率消耗,资源)约束的共同的语义域。语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机,到目前为止,我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C...

OMake

OMake 0.9.8.5-3

OMake是一个构建系统,具有相似的风格和语法使​​用GNU make但有许多额外的功能,其中包括跨越多个目录,默认的配置文件,简化了标准的编制任务,支持,在一次产生多个目标的命令大项目的支持,快速,可靠,自动化,脚本化的依赖使用MD5摘要分析,便携性,以及内置的功能,提供了如grep,sed和awk程序最常用的功能。 OMake还提供了主动监控文件系统重新启动这自动生成源文件时修改。可交互使用包含一个同伴命令解释 功能: ...

SourceSafe的用于Unix(简称SSU)提供通过TCP命令行访问本地和远程源安全/ VSS库。要求:·SSU分为两个部分:一个命令行的Unix客户端和它运行的机器访问仓库在基于Windows的服务器。单个Windows机器可以复用任何数量的仓库和客户端。·UNIX客户端“SS”只需要Perl的> = 5.4和网络的TCP端口5901的访问到服务器。在Windows服务器“ssserv”需要Perl> = 5.6,但只进行了测试ActivePerl_...

Linux on SX1

Linux on SX1 2.6.16.55-sx1 Beta 1

的Linux上SX1的目标是开发完全免费的Linux环境西门子SX1手机,并在未来的任何智能手机。我们的目标是体积小,速度快。什么是新的,在此版本:...

骨架引擎MySQL是一个完整的框架,在一个新的存储引擎堵塞。带有预生成auto​​conf的文件,和一个完整的框架,在自己的设计来堵塞。AWS的,HTTP,内存缓存,硝基,PBXT,和许多其他引擎从骨架发动机放在一起。要安装,抢的MySQL的源代码副本,并运行此:--with的./configure MySQL的= /家庭/布莱恩/ MySQL的-5.1 / --libdir =在/ usr / local / lib目录/...

Hotscripts.com克隆允许你创建你自己的hotscripts.com喜欢的网站,免费的和商业的脚本可在网上门户。 这个脚本是非常容易安装和实施。你也可以很容易,如果要修改网站的外观。它只能使用一个模板文件和方便地修改一个CSS文件。 随着你的脚本和软件门户网站启动时,我包括多于或少于10000个条目。这里是“Hotscripts...

Preppi

Preppi 0.05

Preppi是一个简单的图形EPP客户端Unix和Linux系统。 Preppi是用Perl编写,并使用了GTK +和GNOME绑定Perl和我们自己的EPP库。要求:·GTK + 2.8.0或更高版本的Gtk2的视觉Perl模块·的GnomeVFS和GNOME2 :: VFS Perl模块(你并不需要完整的GNOME栈)·gtksourceview和Gtk2的视觉:: SourceView Perl模块·网络:: :: EPP客户Perl模块·网络:: ::...