Invia software
  1. Casa
  2. Windows
  3. Altro
  4. BDD compression

BDD compression

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎4 ‎Voti
Scaricare

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.

cronologia delle versioni

  • Versione Source%20Files%20%2B%20Paper pubblicato il 2009-03-22
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2009-03-22

Dettagli del programma

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