| |
RODIN
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.
Posted in: Networking |
 |
|
Eclipse and Java Video Tutorials
Free video screencam tutorials for Eclipse and Java. Includes “Eclipse and Java for Total Beginners”, “Introducing Persistence”, and “Using the Debugger”. Intended for beginning and intermediate programmers who want to learn Eclipse and Java.
Posted in: CBT |
 |
|
GPU, a Global Processing Unit
An extensible framework for distributed computing on P2P grids. We support peaceful free and open research and build an internet supercomputer. We render movies, solve Eternity puzzles, crawl the internet and improve a ~30 GHz cluster of Gnutella clients
Posted in: Internet Tools |
 |
|
Spring Netbeans Module
The module provides the ability to select the Spring Framework when creating web applications. The module also adds third party libraries, configures the web.xml, and registers an XML catalog which provides code completion in Spring configuration files.
Posted in: Internet Tools |
 |
|
|
|