Distributed MultiThreaded Checkpointing 1.2.1

相關軟體

• Parallel Sat4J 免費

  這是一個學術專案;主要目標是生成一個演算法來並行化 CNF 公式，然後將分散式零件饋送至順序 SAT 解算器，對於此專案，我們選擇使用 Sat4J 作為解算器。

• Yamwi 免費

  然而，另一個馬克西瑪網路介面。在批次處理模式下透過 Web 執行 Maxima 程式。數學結果以 ASCII 藝術樣式或基於 TeX 的二進位檔返回。

• LYNX Touch 免費

  這個引人注目的應用程式以安全專業人員為設計為理，為 Android* 配置，複製了霍尼韋爾新款 LYNX Touch 無線自成一體的安全系統上的鍵盤螢幕和直觀提示。這種動態銷售工具是向消費者展示產品特性和易用性的快速、簡單的方法。有關 LYNX 觸摸的資訊，請造訪www.lynxtouchtoolkit.com。*相容安卓2.2OS平臺及以上

• autotools-idl 免費

  自動工具 - idl 是一個自動產生補丁和一些自動配置文本， 增加了對 Idl 和 C++的支援。它提供全面支援，用於將 IDL 檔編譯 C++存根和骨架。自動配置腳本提供不同資料庫和 ORB C++檢測。

• TRC - Squid Log Analyser 免費

  TRC - 流量計數器是基於php-ajax的網路介面，用於分析魷魚.log。在 MySQL 資料庫中。

• Clock+ Widget -Milestone/Droid 免費

  看起來完全一樣，在摩托羅拉里程碑/機器人的正常類比時鐘小部件，但增加了點擊時鐘的功能，以啟動報警。*重要* 必須添加為小部件（長按主屏幕，選擇時鐘+）。v1.3 小代碼/解析度修復。

• CGTutorial 免費

  CGTutorial 是用 JAva 編寫的計算幾何教程。它實現各種CG演算法，並動畫的一些。以 Java 套件的形式提供了 CG 方法和數據結構庫。

• ARAStoUML 免費

  ArastoUML 是阿拉斯創新者數據模型和 UML 之間互動的專案

• sKWash 免費

  此項目允許在 Eclipse 中透明地 C++和 Java（以及其他語言，如 C#、php...）。該專案包括 JQuantlib 。skWash 使用假髮。有關詳細資訊，請參閱主頁。

• Rich Web Application Development Tool 免費

  該專案旨在簡化使用 Laszlo Openserver 開發豐富的 Web 應用程式。該專案的初衷只是證明生成資料庫應用程式的可能性。但是我們現在有一個更高的目標。