Automated Reasoning for Bluespec Designs

관련 프로그램

• Remote for MPC PRO 무료 평가판

  MPC 리모컨을 사용하여 안드로이드 장치로 미디어 플레이어 클래식 홈 시네마를 제어 할 수 있습니다. 이 응용 프로그램은 네트워크를 통해 MPC-HC 플레이어에 대한 원격 제어입니다.MPC 리모컨은 KitKat의 반투명 설계를 구현합니다.기능:직관적인 인터페이스MPC 리모컨의 새로운 리모컨은 리모컨의 가장 중요한 기능을 결합합니다.음성 제어VLC를 제어할 수 있

• PXPerl 무료

  PXPerl은 Windows(R) 2000/XP용 펄 바이너리 배포판입니다. 그것은 펄의 바이너리와 함께 제공, 퍼그와 앵무새, 뿐만 아니라 ActivePerl에 비해 많은 추가 펄 모듈.

• myjug community project 무료

  이 프로젝트의 아이디어는 오픈 소스 방법을 학습. 당연히, 프로젝트는다른 기존 자카르타 프레임워크에 따라 구축될 것입니다. 및 프로젝트. 이 프로젝트는 메타 프로젝트와 비슷합니다.다른 소규모 프로젝트로 구성됩니다.

• Cloud Hub 무료

  클라우드 허브는 링크 수준 무선 메시 네트워킹 구현입니다. 클라우드 허브 펌웨어를 사용하면 액세스 포인트가 자동으로 서로를 찾고 연결 토폴로지를 최적화하며 다른 임시 무선 사용자가 클라이언트로 참여할 수 있도록 합니다.

• CAPE-OPEN Logging Tools 무료

  CAPE-OPEN 로깅 도구는 프로세스 모델링 환경과 프로세스 모델링 구성 요소 간의 CAPE-OPEN 인터페이스를 통해 통신 로깅을 허용합니다. 버전 1.08.4는 최신 안정 버전입니다 (11 월 5, 2009).

• SimplePOS 무료

  Barcode 스캐너 및 모든 표준 프린터(암송 프린터 포함)를 지원하는 MySQL 데이터베이스 백엔드 및 PHP 기반 웹 인터페이스를 사용하여 C++로 작성된 고품질 판매 시점(POS) 및 재고 관리 소프트웨어 제품군입니다.

• upIRC 무료 평가판

  upIRC (이전 apIRC)는 팜 OS의 인터넷 릴레이 채팅 (IRC) 클라이언트입니다. 빠르고 안정적이며 모든 기능을 포함합니다. 여기에는 DCC 채팅 지원, 사용자 지정 글꼴 지원, 변수가 있는 명령 바로 가기, 명령의 자동 완성, 채널에 별명을 입력하기 위한 원탭 바로 가기 등이 포함됩니다.

• AI::Categorizer Perl modules 무료

  기계 학습 방법을 사용하여 자동 텍스트 분류를 위한 오픈 소스 Perl 프레임워크입니다.

• Tuxbox-TV 무료

  이 프로그램을 사용하면 TV 스트림을 선택하고 얻을 수 있습니다.Dbox및 EPG-Data를 포함한 PC에 표시합니다.프로그래밍 언어: 자바 OS 플래트폼: 리눅스/유닉스, 윈도우, 맥

• X-NetAPI 무료

  X-Plane 비행 시뮬레이터 및 클라이언트 라이브러리용 플러그인으로 강력한 네트워크 API를 X-Plane 시뮬레이터로 제공합니다.