Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Easy Eclipse makes Eclipse & Eclipse plugins easy to download, install & use. We test Eclipse plugin & create installers to deliver complete Eclipse-based IDEs & Eclipse plug-ins for C/C++, Java, Perl, PHP, Python, Ruby. Visit http://easyeclipse.org
SBLIM (pronounced "sublime"), the Standards Based Linux Instrumentation for Manageability is an IBM-initiated Open Source project, intended to enhance the manageability of GNU/Linux systems. It does so by enabling WBEM, Web Based Enterprise Management.
Data Parallel Engine for JavaSE
TymeacDSE is a Fork-Join application server employing the Divide-and-Conquer methodology in either an embedded or remote (RMI) configuration.
Task Parallel Engine for JavaSE
TymeacSE is a full-feature, multi-threading, fork-join framework for Java SE development (RMI and internal server). TymeacSE provides a high performance queuing facility, professional thread management and recursive processing that is easy to use.
Jikes RVM is a flexible infrastructure for virtual machine research
Jikes RVM (Research Virtual Machine) provides a flexible open testbed to prototype virtual machine technologies and experiment with a large variety of design alternatives. Jikes RVM runs on many platforms and advances the state-of-the-art of virtual machine technologies for dynamic compilation, adaptive optimization, garbage collection, thread scheduling, and synchronization. It is self-hosted, i.e. its Java code runs on itself without requiring a second virtual machine. Most other virtual machines for the Java platform are written in native code (typically C or C++). A Java implementation provides ease of portability and a seamless integration of virtual machine and application resources such as objects, threads, and operating-system interfaces.
onevan is an Open-source projects