Distributed MultiThreaded Checkpointing 1.2.1

関連プログラム

• Parallel Sat4J 無料

  これは学術プロジェクトです。主な目的は、CNF式を並列化するアルゴリズムを生成し、その後、このプロジェクトのためにソルバーとしてSat4Jを使用することを選択した、シーケンシャルSATソルバーに分散部品を供給することです。

• Yamwi 無料

  さらに別のマキシマウェブインターフェイス。バッチモードでウェブ経由でマキシマプログラムを実行します。数学の結果は、ASCII アート スタイルまたは TeX ベースのバイナリで返されます。

• LYNX Touch 無料

  念頭に置いてセキュリティの専門家と設計され、Android*のために設定され、この目を引くアプリは、ハネウェルズ新しいLYNXタッチワイヤレス自己完結型セキュリティシステム上のキーパッド画面と直感的なプロンプトを複製します。この動的な販売ツールは、製品の特徴と使いやすさを消費者にすばやく簡単に示す方法です。LYNXタッチの詳細については、をご覧ください。www.lynxtouchtoolkit.com*アンドロイド2.2OSプラットフォー

• autotools-idl 無料

  autotools-idl は、自動作成用のパッチであり、IDL および C++ ORB のサポートを追加する一部の autoconf スクリプトです。IDL ファイルを C++ スタブおよびスケルトンにコンパイルするための完全なサポートを提供します。autoconf スクリプトは、異なる C++ ORB の統合検出を提供します。

• TRC - Squid Log Analyser 無料

  TRC - トラフィックカウンターは、イカアクセスを分析するためのphp-ajaxベースのウェブインターフェース.logです。を使用して、データベース内に格納されます。

• Clock+ Widget -Milestone/Droid 無料

  モトローラマイルストーン/ドロイドの通常のアナログ時計ウィジェットとまったく同じように見えますが、アラームを表示するために時計をクリックする機能を追加します。*重要*ウィジェットとして追加する必要があります(ホーム画面上で長押し、Clock +を選択)。v1.3の小さなコード/解決の修正。

• CGTutorial 無料

  CGTutorial は、Java で記述された計算幾何学のチュートリアルです。さまざまな CG アルゴリズムを実装し、それらの一部をアニメーション化します。CG メソッドとデータ構造のライブラリーは、Java パッケージの形式で提供されます。

• ARAStoUML 無料

  アラストムラは、アラスイノベーターデータモデルとUML間の相互作用のプロジェクトです

• sKWash 無料

  このプロジェクトは、Eclipse で C/C++ と Java (および C#, php..などの他の言語) を透過的に統合できるようにします。プロジェクトにはJQuantlibが含まれています。sKWashはスイッグを利用します。詳細については、ホームページを参照してください。

• Rich Web Application Development Tool 無料

  本プロジェクトは、ラズロOpenserverを使用して、リッチウェブアプリケーションの開発を簡素化することを目的としています。プロジェクトの当初の目的は、データベースアプリケーションを生成する可能性を実証することだけでした。しかし、我々は今、より高い目標を持っています。