Traces is a Research group on Architectures and Compilers for Embedded Systems

A Context-Parameterized Model for Static Analysis of Execution Times

Christine Rochange, Pascal Sainrat
WWW