Technologies

The following technologies are available for license. We also couple our software licenses with customization and feature development services.

• R-Stream^®: for high performance embedded computation, such as vision, graphics, modern tracking systems, and streaming supercomputers.
• UltraViolet^™ a version of the Sun OpenJDK implementation of Java Platform, Standard Edition (J2SE), ported to MIPS.
• R-Scope^®: high performance IPS. Deep content inspection up to 10 Gbps bidirectional.
• Alef^® a parallel SAT solver that delivers substantial improvement over existing SAT solvers in terms of speed and maximum problem size.
• Salt^® & Shaker^® language and translation system that enables software verification & validation (and other complex problems with multiple constraints such as planning) to be converted into a format that can be read by a SAT solver, and then back again into a form that can be interpreted by a human or application software.
• R-JVV^®: for ensuring quality of Java virtual machines.
Blackbird^® commercially-solid, ANSI compliant, full featured, supercomputer class compiler adaptable to embedded processors.

For more details about technology features and licensing, please contact us.