PROXIMA: the next generation of probabilistic analysis for manycore processors

Rapita Webnews
Friday, October 25, 2013

PROXIMA will investigate how probabilistic analysis techniques and supporting mechanisms can be integrated with manycore processors, and how the results can be exploited by successful integration with commercial verification tools and operating systems. (more details...)