AndLTC Miner 0.7

関連プログラム

• ViennaCL 無料

  ウィーンCL は、OpenCL を使用する CPU および GPU 上の線形代数ルーチンに対して、高レベル C++ インターフェースを提供します。大規模な線形システムや既存のプロジェクトへの簡単な統合に頻繁に使用される反復ソルバーの一般的な実装に焦点を当てています。

• Triple-A 無料

  トリプルA(オートマトンによる自動分析)は、2つの強力な解析ツール(LTLモデルチェックとプレスバーガーの算術を扱う)と、その周りに構築されたグラフィカルユーザーインターフェイスを備えたJavaで書かれた(有限の)オートマトンのためのフル機能のライブラリです。

• Virtual Application Environments 無料

  私の論文プロジェクトのための長期的なホスティング。本プロジェクトは、システムの安定性を向上させるために、アプリケーション環境を仮想化することを目的としています。私は現在、これを達成するためにOpenSolarisとゾーンを使用しています。

• QuickClock Advanced Overclock 無料トライアル

  複数のデバイス用の自動オーバークロック&アンダーボルティングユーティリティ。強力で使いやすい。プロセッサを最大限に活用したい場合は、これを試してみてください。ビッグニュース:CPUスケーリングスロットの任意の数をサポートするために書き直しました!(ドロイド1、逆らうなど)。アップグレード時に問題が発生した場合は、次の操作を行います: 1) オーバークロックユーティリティをアンインストールします。2) デバイスを再起動して、在庫設定を確認し

• REAT (Rete Evolution of Augmenting Topol 無料

  REAT(拡張トポロジのRete進化)は、ケン・スタンレーのNEAT(拡張トポロジの神経進化)の概念をチャールズ・フォージーのReteネットワークに適用する試みです。 RETEネットワークとそれらがエンコードするルールを進化させる方法になります。

• cppcheck 無料

  C/C++ コードの静的分析。メモリ リーク、割り当て解除の不一致、バッファ オーバーランなど、目標は0%の偽陽性です。詳細については、wiki を参照してください。

• NUtility Class Library 無料

  NUtility クラス ライブラリは、高水準の .NET ライブラリであり、現在、コマンド ライン処理用のクラスが含まれています。クレジットカードの検証;電子メールの検証。IP アドレスの検証。帝国メトリック変換;サネックス、拡張サウンドとメタフォン。

• SharpDia2Code 無料

  dia で作成された UML 図から C# 、VB.Net、または NUnit ソース ファイルを生成するためのツール。から UML 図 (dia/graphviz) の作成NET アセンブリもサポートされています。

• Neocortex - Memory-Prediction Framework 無料

  画像認識に適用されるメモリ予測フレームワークの実装。ジェフ・ホーキンスの著書『インテリジェンス』に基づく。これは、人間の新皮質の高レベルの階層構造をモデル化し、予測を行うためのベイズ信念の改訂を使用しています

• ETH Lecture Communicator 無料

  ETHレクチャーコミュニケーターは、教室での相互作用を改善するためのツールです。ソフトウェアは、講師が作成し、クラス内のオンライン評価を実行することができ、大きなクラスのための組織的かつインスタント双方向コミュニケーションを容易にします。