You are here
Scalablescalable solutions that improve productivity in parallel programming. solutions that improve productivity in parallel programming.
Monitoring the structural condition of civil infrastructure through the use of wireless sensors.
Helping educators improve Individualized Education Programs (IEPs) for students.
A software and systems integration solutions company that provides heterogeneous multicore solutions for high performance computing applications.
Developing and launching firewall analysis technology for critical infrastructures.
Brings powerful data mining technology to the advanced, real-time analysis of source code, changing how software-intensive products are developed, tested and supported.
Uses runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains.
Allows users to share content from anywhere to anyone, while simultaneously enabling publishers and advertisers to tape the value of sharing.
Text-analytics technologies and middleware for facilitating the development of applications in the area of unstructured data.