BDD compression
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/bddcompression/files/bddcompression/Source%20Files%20%2B%20Paper/bddcompression.zip/download
关于 BDD compression
在许多情况下,压缩和解压缩二进制决策图的算法会将 BDD 的大小减小到每个节点 1-2 位。
相关软件
-
QuickSearcher 免费
QuickSearcher 是一个文件搜索工具。决定的优越性是文本搜索预览(以及图形文件预览),在多个文件夹内(多目录搜索)或搜索结果中搜索的能力,设置最喜欢的搜索文件夹和离开路线,能够保存该搜索结果。另一个有用的功能是搜索某些存档文件(例如 ZIP),并搜索 MS Office 文档和 MP3(您应该指定艺术家或合成名称)。最后,QuickSearcher 拥有方便的系统集成和漂亮的界面。{@}
-
Spyware Firewall 免费
阻止间谍软件之前,它到达您的计算机,而不是事后,并停止间谍软件通信。间谍软件防火墙通过实时监视您的连接并拒绝访问发生的所有间谍软件连接来保护您的计算机。因此,间谍软件尝试与您的计算机通信被拒绝和新的间谍软件进入您的计算机,当你上网被拒绝。目前,您可能在安装间谍软件后扫描计算机,然后将其删除。这是确定和整体安全计划的必要部分,但到那个时候,您的计算机和间谍软件制造商之间的通信几乎可以肯定已经发生,并将继续这样做,直到你决定再次扫描您的计
-
Xpert Security Pack 免费
Xpert 安全包提供防止电子邮件垃圾邮件、黑客和隐私威胁的基本保护。反垃圾邮件引擎是最好的和最可配置的防垃圾邮件解决方案。密码容器保留个人数据和黑客 - 你永远不会失去一个重要的密码或信息。隐私巡逻保护您和你的家人免受其他常见的在线风险。整个包有一个用户友好的界面,是免费的!工作原理:安装只需一分钟,然后您可以使用该程序。包的所有应用程序都可以从中央控制台启动,并呈现一个简单的界面。只需启动程序并使用它们,就这么简单!{@}
-
MyVirtualDisk 免费
停止因丢失或损坏的文件而失眠。无论您是丢失了单个文件,还是丢失了整个硬盘,您都知道此类事件会对您的工作效率和生活产生破坏性影响。来自权限研究的 MyVirtualDisk 允许您将 5GB 的文件存储在安全的在线驱动器上,可从 MyVirtualDisk 配置的计算机 24/7 访问。通过使用 MyVirtualDisk 备份您宝贵的在线文件、音乐和图片,您可以安心地知道您的文件受到保护,免受计算机病毒、意外删除、盗窃甚至计算机故障的影响。比
-
PCC USB & Hardware Version 免费试用
PCC(专业计算机控制)系列产品为用户提供了控制计算机的实用工具。主要功能包括文件安全控制、USB 安全控制、应用程序控制和硬件控制。PCC USB 和硬件版本是 PCC 系列的产品之一,提供 PCC 系列的部分功能。用户很容易控制 USB 安全和硬件。以下是一些关键功能。1、当 USB 驱动器或其他外部驱动器插入计算机时,请检查用户密码。2、控制在 USB 驱动器或其他外部驱动器中运行的自动运行文件,以防止计算机感染 USB 病毒。
-
Tivodecode GUI 免费
tivodecode 应用程序的简单 GUI 接口。此外,还包含了对使用 ffmpeg 调整文件大小的支持。需要 Gambas2、 tivodecode 和 ffmpeg 。
-
Merlin for Nagios 免费
Merlin(Nagios 中轻松冗余和负载平衡模块)构成了一种设置分布式 Nagios 安装的简单方法,允许 Nagios 进程直接交换信息,作为 NSCA 的替代方案。有关更多信息,请转到www.op5.org
-
XPlanner 免费
XPlanner 是一个基于 Web 的项目规划和跟踪工具,用于敏捷开发团队(XP、Scrum 等)。XPlanner 使用 Java、JSP 和 Struts、Hibernat 和 MySQL 实现。更多信息,http://xplanner.org http://xplanner.codehaus.org
-
SafiServer FreePBX Module 免费
附加模块,以帮助在基于星号/FreePBX 的系统中部署 SafiServer 应用程序。该模块将允许管理员使用 FreePBX Web 界面引用 Saflet(图形呼叫流/IVR 应用程序)。
-
DVD Home Video Project 免费
dvd-homevideo是一个项目,我开发,因为采取相当多的家庭视频,我正在寻找一个简单的,快速的方法,将视频在我的dv摄像机变成一个功能齐全的DVD,包括一个菜单与可选的背景图像和音乐。