BDD compression
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/bddcompression/files/bddcompression/Source%20Files%20%2B%20Paper/bddcompression.zip/download
acerca de BDD compression
Un algoritmo para la compresión y descompresión de diagramas de decisión binarios en muchos casos reducirá el tamaño del BDD a 1-2 bits por nodo.
Programas relacionados
-
QuickSearcher Gratis
QuickSearcher es una herramienta de búsqueda de archivos. La superioridad decidida es Vista previa para la búsqueda de texto (así como la vista previa de archivos gráficos), la capacidad de buscar dentro de varias carpetas (b
-
Spyware Firewall Gratis
Bloquear spyware antes de que llegue a su ordenador no después y detener la comunicación de spyware. Spyware Firewall protege su equipo mediante la supervisión de su conexión en tiempo real y la denegación de acceso a toda
-
Xpert Security Pack Gratis
Xpert Security Package proporciona protección esencial contra el spam de correo electrónico, los piratas informáticos y las amenazas de privacidad. Antispam Engine es la mejor y más configurable solución antispam. Password Co
-
MyVirtualDisk Gratis
Dejar de perder el sueño por archivos perdidos o dañados.Ya sea que haya perdido un solo archivo o todo su disco duro, sabe el impacto devastador que un evento de este tipo puede tener en su productividad y en su vida. MyVi
-
PCC USB & Hardware Version Prueba gratuita
La serie de productos PCC(Professional Computer Control ) proporciona utilidades para que los usuarios controlen sus equipos. Las principales funciones incluyen control de seguridad de archivos, control de seguridad USB, cont
-
Tivodecode GUI Gratis
Interfaz GUI simple para la aplicación tivodecode. Además, incorpora soporte para cambiar el tamaño de los archivos mediante ffmpeg. Requiere Gambas2, tivodecode y ffmpeg.
-
Merlin for Nagios Gratis
Merlin(Module for Effortless Redundancy and Loadbalancing In Nagios) forma una manera fácil de configurar instalaciones distribuidas de Nagios, permitiendo a los procesos de Nagios intercambiar información directamente como a
-
XPlanner Gratis
XPlanner es una herramienta de planificación y seguimiento de proyectos basada en la web para equipos de desarrollo ágiles (XP, Scrum, ...). XPlanner se implementa utilizando Java, JSP y Struts, Hibernate y MySQL. Más informa
-
SafiServer FreePBX Module Gratis
Módulo complementario para ayudar con la implementación de aplicaciones SafiServer en sistemas basados en Asterisk/FreePBX. El módulo permitirá a los administradores hacer referencia a Saflets (aplicaciones gráficas de flujo
-
DVD Home Video Project Gratis
dvd-homevideo es un proyecto que desarrollé porque tomar un poco de vídeo casero y estaba buscando una manera simple y rápida de transformar el vídeo en mi videocámara dv en un DVD totalmente funcional que incluye un menú con