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 문
-
Spyware Firewall 무료
나중에 컴퓨터에 도달하지 않고 스파이웨어 통신을 중지하기 전에 스파이웨어를 차단합니다. 스파이웨어 방화벽은 실시간으로 연결을 모니터링하고 발생하는 모든 스파이 웨어 연결에 대한 액세스를 거부하여 컴퓨터를 보호합니다. 그래서 스파이 웨어 는 컴퓨터와 통신 하려고 거부 하 고 인터넷 서핑 때 컴퓨터에 입력 하는 새로운 스파이 웨어 거부.현재 스파이 웨어가 설치된 후 컴퓨터를 스캔한 다음 제거할
-
Xpert Security Pack 무료
Xpert 보안 패키지는 이메일 스팸, 해커 및 개인 정보 보호 위협으로부터 필수적인 보호를 제공합니다. 안티스팸 엔진은 최고의 구성 가능한 안티스팸 솔루션입니다. 암호 컨테이너는 개인 데이터와 해커를 밖으로 유지 - 당신은 이제까지 중요한 암호 또는 정보를 잃지 않을 것입니다. 그리고 개인 정보 보호 순찰은 다른 일반적인 온라인 위험으로부터 당신과 당신의 가족을 보호합니다. 전체 패키지에는 사용자
-
MyVirtualDisk 무료
분실또는 손상된 파일위에 수면 을 잃지 마십시오.단일 파일을 분실했든 전체 하드 드라이브이든, 이러한 이벤트가 생산성과 삶에 미칠 수 있는 엄청난 영향을 알고 있습니다. 권한 연구에서 MyVirtualDisk는 MyVirtualDisk 구성 컴퓨터에서 24/7에 액세스 가능한 안전한 온라인 드라이브에 5GB의 파일을 저장할 수 있습니다. MyVirtualDisk로 귀중한 온라인 파일, 음악 및 사
-
PCC USB & Hardware Version 무료 평가판
PCC(전문 컴퓨터 제어) 일련의 제품은 사용자가 컴퓨터를 제어할 수 있는 유틸리티를 제공합니다. 주요 기능에는 파일 보안 제어, USB 보안 제어, 응용 프로그램 제어 및 하드웨어 제어가 포함됩니다. PCC USB 및 하드웨어 버전은 PCC 시리즈의 한 제품이며 PCC 시리즈의 일부 기능을 제공합니다. 사용자가 USB 보안 및 하드웨어를 쉽게 제어할 수 있습니다. 다음은 몇 가지 주요 기능입니다
-
Tivodecode GUI 무료
티보데코드 응용 프로그램에 대한 간단한 GUI 인터페이스입니다. 또한 ffmpeg를 사용하여 파일 크기 조정에 대한 지원을 통합합니다. 감바스2, 티보데코드 및 ffmpeg가 필요합니다.
-
Merlin for Nagios 무료
멀린(Nagios의 간편한 중복성 및 로들 밸런싱 모듈)은 분산 나기오스 설치를 쉽게 설정할 수 있는 방법을 형성하여 Nagios 프로세스가 NSCA의 대안으로 정보를 직접 교환할 수 있도록 합니다. 자세한 내용은 www.op5.org
-
XPlanner 무료
XPlanner는 민첩한 개발 팀(XP, 스크럼, ...)을 위한 웹 기반 프로젝트 계획 및 추적 도구입니다. XPlanner는 Java, JSP 및 스트럿, 최대 절전 모드 및 MySQL을 사용하여 구현됩니다. http://xplanner.org 및 http://xplanner.codehaus.org 더 많은 정보
-
SafiServer FreePBX Module 무료
추가 기능 모듈은 별표/FreePBX 기반 시스템에 SafiServer 응용 프로그램을 배포하는 데 도움이 됩니다. 이 모듈을 통해 관리자는 FreePBX 웹 인터페이스를 사용하여 Saflets(그래픽 통화 흐름/IVR 응용 프로그램)를 참조할 수 있습니다.
-
DVD Home Video Project 무료
DVD-homevideo는 홈 비디오의 꽤 걸릴 때문에 개발 된 프로젝트이며, 나는 선택 배경 이미지와 음악과 메뉴를 포함하여 완전한 기능의 DVD로 내 DV 캠코더에 비디오를 변환하는 간단하고 빠른 방법을 찾고 있었다.