BDD compression
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/bddcompression/files/bddcompression/Source%20Files%20%2B%20Paper/bddcompression.zip/download
Circa BDD compression
Un algoritmo per la compressione e la decompressione dei diagrammi decisionali binari ridurrà in molti casi le dimensioni del BDD a 1-2 bit per nodo.
Programmi correlati
-
QuickSearcher Gratuito
QuickSearcher è uno strumento di ricerca di file. La superiorità decisa è Anteprima per la ricerca di testo (così come l'anteprima per i file grafici), possibilità di cercare all'interno di diverse cartelle (ricerca in più di
-
Spyware Firewall Gratuito
Bloccare lo spyware prima che raggiunga il computer non in seguito e interrompere la comunicazione con spyware. Spyware Firewall protegge il computer monitorando la connessione in tempo reale e negando l'accesso a tutte le
-
Xpert Security Pack Gratuito
Xpert Security Package fornisce una protezione essenziale da spam di posta elettronica, hacker e minacce alla privacy. Antispam Engine è la soluzione antispam migliore e configurabile. Password Container mantiene i dati perso
-
MyVirtualDisk Gratuito
Smettere di perdere il sonno sui file persi o danneggiati.Che tu abbia perso un singolo file o l'intero disco rigido, sai l'impatto devastante che un evento del genere può avere sulla tua produttività e sulla tua vita. MyVi
-
PCC USB & Hardware Version Prova gratuita
La serie di prodotti PCC(Professional Computer Control) fornisce utilità agli utenti per controllare i propri computer. Le funzioni principali includono il controllo di sicurezza dei file, il controllo di sicurezza USB, il co
-
Tivodecode GUI Gratuito
Interfaccia GUI semplice per l'applicazione tivodecode. Inoltre, incorpora il supporto per il ridimensionamento dei file utilizzando ffmpeg. Richiede Gambas2, tivodecode e ffmpeg.
-
Merlin for Nagios Gratuito
Merlin (Module for Effortless Redundancy and Loadbalancing In Nagios) costituisce un modo semplice per configurare installazioni Nagios distribuite, consentendo ai processi Nagios di scambiare informazioni direttamente in alt
-
XPlanner Gratuito
XPlanner è uno strumento di pianificazione e tracciamento dei progetti basato sul Web per team di sviluppo agili (XP, Scrum, ...). XPlanner viene implementato utilizzando Java, JSP e Struts, Hibernate e MySQL. Maggiori inform
-
SafiServer FreePBX Module Gratuito
Modulo aggiuntivo per facilitare la distribuzione delle applicazioni SafiServer nei sistemi basati su Asterisk/FreePBX. Il modulo consentirà agli amministratori di fare riferimento a Saflets (applicazioni graphical call flow/
-
DVD Home Video Project Gratuito
dvd-homevideo è un progetto che ho sviluppato perché prendo un bel po 'di home video e stavo cercando un modo semplice e veloce per trasformare il video sul mio camcorder dv in un DVD completamente funzionale che include un m