BDD compression
在許多情況下,壓縮和解壓縮二進位決策圖的演算法會將 BDD 的大小減小到每個節點 1-2 位。
版本歷史記錄
- 版本 Source%20Files%20%2B%20Paper 發佈於 2009-03-22
若干修復和更新 - 版本 N/A 發佈於 2009-03-22
軟體細節
- 軟體分類: 系統實用程式 > 其他
- 發佈者: bddcompression.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
相關軟體
-
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,包括一個功能表與可選的背景圖像和音樂。