Automated Reasoning for Bluespec Designs

関連プログラム

• Remote for MPC PRO 無料トライアル

  MPCリモートを使用して、あなたのAndroidデバイスであなたのメディアプレーヤークラシックホームシネマを制御します。このアプリは、ネットワーク上のMPC-HCプレーヤーのためのリモートコントロールです。MPCリモートはキットカット以降の半透明設計を実装しています。機能：直感的なインターフェイスMPC Remoteの新しいリモートサークルは、リモートコントロールの最も重要な機能を兼ね備えています。音声制御

• PXPerl 無料

  PXPerl は Windows(R) 2000/XP 用のフル機能の Perl バイナリディストリビューションです。それは、Perl、パグ、オウムのバイナリと同様、ActivePerlと比較して多くの追加のPerlモジュールが付属しています。

• myjug community project 無料

  このプロジェクトのアイデアは、次の方法を提供することですオープンソースの方法を学ぶ。当然のことながら、プロジェクト他の既存のジャカルタの枠組みに基づいて構築されますとプロジェクト。プロジェクトはメタプロジェクトに似ています他の小さなプロジェクトで構成される

• Cloud Hub 無料

  クラウド ハブは、リンク レベルのワイヤレス メッシュ ネットワーク実装です。クラウド ハブ ファームウェアを使用すると、アクセス ポイントが自動的に互いを検出し、接続トポロジを最適化し、他のアドホック ワイヤレス ユーザーがクライアントとして参加できるようにします。

• CAPE-OPEN Logging Tools 無料

  CAPE-OPEN ロギング ツールは、プロセス モデリング環境とプロセス モデリング コンポーネント間の CAPE-OPEN インターフェイスを介して行われる通信のロギングを許可します。バージョン 1.08.4 は最新の安定版です (2009年11月5日)。

• SimplePOS 無料

  高品質の POS (POS) と在庫管理ソフトウェア スイートで、C++ で書かれた MySQL データベース バックエンドおよび PHP ベースの Web インターフェイスで、バーコード スキャナーおよび標準プリンタ (リサイト プリンタを含む) をサポートします。

• upIRC 無料トライアル

  upIRC (旧 apIRC) は、Palm OS 用のインターネット リレー チャット (IRC) クライアントです。それは速く、安定しており、機能の完全な範囲が含まれています。 これには、DCC チャットのサポート、カスタム フォントのサポート、変数を含むコマンド ショートカット、コマンドの自動補完、およびチャネルにニックネームを入力するためのワンタップ ショートカットが含まれます。

• AI::Categorizer Perl modules 無料

  機械学習メソッドを使用した自動テキスト分類のためのオープンソースのPerlフレームワーク。

• Tuxbox-TV 無料

  このプログラムを使用すると、選択して、からTVストリームを取得することができますdbox と EPG データを含む PC 上でこれを表示します。プログラミング言語: JavaOSプラットフォーム:リナックス/Unix、ウィンドウズ、マック

• X-NetAPI 無料

  X プレーンシミュレーターへの堅牢なネットワーク API のための X プレーンフライトシミュレータとクライアントライブラリのためのプラグイン。