Disk diagnostic for disk/controler/driver testing
Set of module for data processing of wireless device
Code Difference report
combinational logic functions minimization
Apache Cayenne, Wicket, CXF, GWT, EJB examples as a framework
Real-time data acquisition and visualization software
SPIN-based Eclipse Model Checking Plugin
Generate an executable state machine from a high level language.
A novel and effictive GA algorithm to solve optimization problem
IA-32 operating system with Java virtual machine embedded into the ker